Extending the Contraposition Property of Propositional Logic for Fuzzy Abduction.
Arpita ChakrabortyAmit KonarNikhil R. PalLakhmi C. JainPublished in: IEEE Trans. Fuzzy Syst. (2013)
Keyphrases
- propositional logic
- belief revision
- first order logic
- valued logic
- lattice theory
- fuzzy sets
- quantified boolean formulae
- possibilistic logic
- fuzzy logic
- nonmonotonic reasoning
- background knowledge
- proof procedure
- default reasoning
- fuzzy set theory
- desirable properties
- satisfiability testing
- horn logic
- davis putnam
- abductive reasoning
- propositional satisfiability
- belief change
- database design
- programming language
- knowledge base