A perception-based logical deduction is formulated in the frame of fuzzy intensional logic. We will show that under certain conditions, this kind of deduction is also a universal approximator.

A new methodology for analysis and forecasting of time series is proposed. It directly employs two techniques: the fuzzy transform and the perception-based logical deduction. Due to the usage of both of them and due to the innovative approach consisting in a construction of several independent models, the methodology is successfully applicable for robust long time predictions. Keywords— Time se...

The paper proposes a method for tabular deduction for multimodal logical grammar, extending a method for linear logic presented in (Hepple, 1996; Hepple, 1998). Tabular deduction for multimodal logical grammar avoids redundant computation like chart parsing does for CFGs. The method discussed here enables one to process any kind of multimodal logical grammar fragment. An implementation of the m...

In this paper, we show how a system for automated deduction can be given computational reeection, i.e. can aaect its own computation mechanism, by using the very same machinery implementing logical deduction. This feature, that we call computational reeection via mechanized logical deduction, provides both theoretical and practical advantages. First, the theorem prover can inspect, extend and m...

A new predicate calculus deduction system based on production rules is pro. Logical deduction is a basic activity in many artificial intelligence Al systems.ideas that support many of the useful applications of artificial intelligence. Many Rule-Based Systems Are Deduction Systems. One of the most important aspects of rule-based systems is the. For instance, in deduction systems, forward.They a...

We present a logical formalism of the actor-based concurrent object oriented computation in terms of the deduction in linear logic. By encoding messages and objects in the actor model as formulae of linear logic, the distributed state of the actor computation, regarded as a connguration, can be represented as a multiset of object formulae and message formulae. Methods are encoded as a special f...

The work concerns formal verification of workflow-oriented software models using the deductive approach. The formal correctness of a model’s behaviour is considered. Manually building logical specifications, which are regarded as a set of temporal logic formulas, seems to be a significant obstacle for an inexperienced user when applying the deductive approach. A system, along with its architect...