Logical foundations of rule-based systems (Q2492311)

In the representation of knowledge the if-then rules play a crucial role, especially in expert systems, rule-based systems and control theory. In many cases these knowledge granules are pervaded with imprecision due to the use of linguistic terms. Fuzzy logic is one of the most important formalisms to represent and process this kind of information. This paper concerns fuzzy logic in the narrow sense, i.e., the formalisation of fuzzy logic and, more particular, the logical consistency of systems of fuzzy if-then rules. The paper advocates Hájek's propositional and predicate fuzzy logic as a platform for a theory of fuzzy if-then rules. After a brief introduction to fuzzy if-then rules, represented by fuzzy relations and the compositional rule of inference represented as a composition of fuzzy relations, the paper introduces a formal language for fuzzy if-then rules based on Hájek's BL-logic. The paper ends with a characterization of consistency and completeness of this logical theory of fuzzy if-then rules.