An intelligent diagnosis methodology, which can trace the possible breakdown causes, is developed using fuzzy set theory in this paper. Application of the inverse logical inference in the expert systems of diagnosis is considered. Diagnosis decision finding requires fuzzy logical equations system solution. The diagnosis based on fuzzy logical equations can act as an expert consultant to facilit...

In this paper, we present the history of and research directions in relating logic. For purpose will describe Epstein's Programme, which postulates accounting for content sentences logical research. We focus on analysing relationship logics that are based it, special cases Moreover, set-assignment semantics be discussed. Next, Torunian Programme Relating Semantics presented; programme explores ...

We introduce the stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. Combining the advantages of both formalisms, the introduced language allows highly configurable default reasoning involving fuzzy truth values. We show that several properties of Boolean stable models are n...

The concept of a bipolar query is studied in the framework of the flexible fuzzy querying of databases. The focus is on the aggregation of the negative and positive conditions forming a bipolar query. Three formal logical representations of such an aggregation are proposed and analyzed taking into account various possible interpretations of fuzzy logical connectives. The relation to other appro...

We give an axiomatic formulation of quantum structures like semilogics and quasilogics which generalize the boolean semirings of events and fuzzy logics. The notions of distributions, states, representations observables and semiobservables are introduced and their Hilbert space realizations are found. The closed and open structures in semilogics are introduced and the regular distributions on t...

Ever since STRIPS was first introduced (Fikes and Nilsson [3]), i ts logical semantics has been problemat ic. There have been many proposals in the l i terature (e.g. Lifschitz [4], Ero l , Nau and Subrahmanian [2], Bacchus and Yang [ l ] ) . These all have in common a reliance on metatheoretic operat ions on logical theories to capture the add and delete lists of STRIPS operators, b u t i t ha...

PLC Automata are a class of real time automata suitable to describe the behaviour of polling real time systems PLC Automata can be compiled to source code for PLCs a hardware widely used in industry to control processes Also PLC Automata have been equipped with a logical and operational semantics using Duration Calculus DC and Timed Automata TA respectively The three main results of this paper ...

Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fuzzy answer set semantics can be mapped onto the semantics for HEX-programs, which are nonmonotonic logic programs under the answer set semantics that support the use of external function calls. By using the DLVHEX rea...

The notion of a linguistic variable [17] together with fuzzy IF-THEN rules suggested a new formalism in the description of a man-machine interaction. Theoretical analysis of this formalism led to creation of a number of fuzzy theories: fuzzy logics, fuzzy measures, theory of t-norms etc. Successful applications of fuzzy IF-THEN rules in control, decision-making and expert systems [16] challenge...