A structured approach to fuzzy abduction based on contraposition property of propositional logic.
Aruna ChakrabortyAmit KonarAtulya K. NagarPublished in: FUZZ-IEEE (2010)
Keyphrases
- propositional logic
- belief revision
- first order logic
- fuzzy sets
- possibilistic logic
- default reasoning
- valued logic
- belief change
- lattice theory
- quantified boolean formulae
- nonmonotonic reasoning
- fuzzy logic
- davis putnam
- background knowledge
- logic programming
- fuzzy set theory
- propositional formulas
- horn logic
- minimal change
- orders of magnitude
- knowledge representation
- search algorithm