Propositional fuzzy logics: Decidable for some (algebraic) operators; undecidable for more complicated ones.
Mai GehrkeVladik KreinovichBernadette Bouchon-MeunierPublished in: Int. J. Intell. Syst. (1999)
Keyphrases
- description logics
- exptime complete
- algebraic operators
- first order logic
- knowledge representation
- expressive power
- fuzzy sets
- propositional logic
- fuzzy logic
- default logic
- modus ponens
- membership functions
- valued logic
- interval valued
- fuzzy rules
- modal logic
- classical first order logic
- inference rules
- data model
- fuzzy numbers
- fuzzy clustering
- coalition logic
- theorem proving
- nonmonotonic reasoning
- classical logic
- nonmonotonic logics
- conditional logic
- np complete
- sufficient conditions
- databases