An Introduction to Belief Revision and Knowledge Representation with 2CNF.
Meliza ContrerasMiguel RodríguezPedro BelloBárbara M. GonzálezPublished in: LA-NMR (2011)
Keyphrases
- belief revision
- knowledge representation
- knowledge base
- default reasoning
- belief change
- propositional logic
- nonmonotonic reasoning
- expert systems
- logic programming
- minimal change
- natural language
- belief update
- logical properties
- conditional logic
- logical framework
- description logics
- automated reasoning
- artificial intelligence
- possibilistic logic
- belief merging
- boolean functions
- temporal logic
- machine learning
- knowledge representation and reasoning
- plausible reasoning
- first order logic
- revision operators
- dynamic aspects
- belief state
- cost based abduction
- plausible inference
- knowledge compilation
- np hard
- decision makers
- constraint satisfaction
- update operators
- bargaining solution
- answer set programming
- probabilistic reasoning