Revisiting Exhaustivity and Specificity Using Propositional Logic and Lattice Theory.
Karam AbdulahhadJean-Pierre ChevalletCatherine BerrutPublished in: ICTIR (2013)
Keyphrases
- lattice theory
- propositional logic
- belief revision
- first order logic
- quantified boolean formulae
- possibilistic logic
- morphological operators
- belief change
- machine learning
- np complete
- propositional satisfiability
- default reasoning
- mathematical morphology
- propositional formulas
- fuzzy logic
- satisfiability testing
- bayesian networks