The logic MTL, Monoidal t-norm based logic was presented by F. Estva and L. Godo and discuss several properties of MTL-algebra in [6] The Boolean logic (BL) was introduced by P. Hajek and discuss the properties in [1].The fuzzy reasoning and implication operators was discussed by Ying in ([2],[3]). A proper logical system for fuzzy propositional calculus and a innovative arithmetical configurat...

Programs for contemporary industrial control systems are designed using Object Oriented methods and software agents. It is required that the system should reach its objectives even when unexpected events occur in an uncertain environment. There is need for a high-level information representation such that a predictable behavior can be achieved in a uniform way for all agents. A fuzzy automaton-...

Artificial Color is simply biomimetic spectral sensing and processing to achieve spectral discrimination. Using Artificial Color means to construct image plane filters; we can then perform logic operations on those filters before applying them to scenes. Boolean and fuzzy logic can both be used. We illustrate the concept by the Boolean AND of two such masks applied to a complex scene. 2003 Else...

This paper proposes a complexity management methodology for fuzzy systems with feedback rule bases. The methodology is based on formal methods for presentation, manipulation and transformation of fuzzy rule bases. First, Boolean matrices are used for formal presentation of rule bases. Then, binary merging operations are used for formal manipulation of rule bases. Finally, repetitive merging ope...

Diversity of opinion is an empirical fact often appearing in social networks. In the paper known statistical methods of evaluation is substituted by fuzzy concepts, namely Step Ordered Fuzzy Numbers (SOFN). SOFN are extentions of Ordered Fuzzy numbers (OFN) introduced by Kosiński, Prokopowicz and Ślȩzak in 2002. In 2011 Kacprzak and Kosiński observed that SOFN may be equipped with a lattice str...

We define a stable model semantics for fuzzy propositional formulas, which generalizes both fuzzy propositional logic and the stable model semantics of classical propositional formulas. The syntax of the language is the same as the syntax of fuzzy propositional logic, but its semantics distinguishes stable models from non-stable models. The generality of the language allows for highly configura...

It is constructively proved that the multi-input–multi-output fuzzy systems based upon genuine many-valued implications are universal approximators (they are called Boolean type fuzzy systems in this paper). The general approach to construct such fuzzy systems is given, that is, through the partition of the output region (by the given accuracy). Two examples are provided to demonstrate the way ...

Several real-world applications (e.g., scheduling, configuration, ... ) can be formulated as Constraint Satisfaction Problems (CSP). In these cases, a set of variables have to be settled to a value with the requirement that they satisfy a set of constraints. Classical CSPs are defined only by means of crisp (Boolean) constraints. However, as sometimes Boolean constraints are too strict in relat...

The generalization of Boolean lnformatlon Retrieval Systems (IRS) is still an open research field; in fact, though such systems are diffused on the market, they present some limitations; one of the main features lacking in these systems is the ability to deal with the “imprecision” and “subjectivity” characterizing retrieval activity. However, the replacement of such systems would be much more ...

Fuzzy logic systems can be exploited for defining the degrees of true or false binding between calcium mediated multivalent lactose and peanut agglutinin lectin, which are difficult to define with Boolean logic.