In this paper we present a study on inference in a Fuzzy Logic Controller (FLC). Many different implication operators have been proposed in the Fuzzy Logic literature; we take into account five of them that have already been used in fuzzy control. In order to evaluate the advantages and disadvantages of each implication in practical applications, we consider the controller's defuzzified output ...

We evaluate CRUSTACEAN, an inductive logic programming algorithm that uses inverse implication to induce recursive clauses from examples. This approach is well suited for learning a class of self-recursive clauses, which commonly appear in logic programs , because it searches for common sub-structures among the examples. However, little evidence exists that inverse implication approaches perfor...

in recent years, soft computing methods have generated a large research interest. the synthesis of the fuzzy logic and the evolutionary algorithms is one of these methods. a particular evolutionary algorithm (ea) is differential evolution (de). as for any ea, de algorithm also requires parameters tuning to achieve desirable performance. in this paper tuning the perturbation factor vector of de ...

experiment-based report of imam ali (peace upon him) to be knowing god lead to revoke the out goings and opening the shuttings is a new way in theology. encountering the commentators of nahj-al-balaghah with this narration is the current / present research’s matter. they define and comprise their common and different status in understanding imam ali’s (peace be upon him) speeches. they analize ...

We introduce a propositional logic ICL, which adds to intuitionistic logic elements of classical reasoning without collapsing it into classical logic. This logic includes a new constant for false, which augments false in intuitionistic logic and in minimal logic. We define Kripke models for ICL and show how they translate to several other forms of semantics. We define a sequent calculus and pro...

Logic is to natural language what knot theory is to natural, everyday knots. Logic is concerned with some cognitive performances; in particular, some natural language inferences are captured by various types of calculi (propositional, predicate, modal, deontic, quantum, probabilistic, etc.), which in turn may generate inferences that are arguably beyond natural logic abilities, or non-well sync...

In this paper, we propose a game semantics for the (associative) Lambek calculus. Compared to the implicational fragment of intuitionistic propositional calculus, the semantics deals with two features of the logic: absence of structural rules, as well as directionality of implication. We investigate the impact of these variations of the logic on

We define a variant of Lamport’s Temporal Logic of Actions, extended by spatial modalities, that is intended for the specification of mobile systems with distributed state. We discuss notions of refinement appropriate for mobile systems, specifically concerning the topological structure of the system, and show how these can be represented in the logic via quantification and implication, ensurin...