Propositional Update Operators Based on Formula/Literal Dependence.
Andreas HerzigJérôme LangPierre MarquisPublished in: ACM Trans. Comput. Log. (2013)
Keyphrases
- update operators
- belief base
- belief revision
- propositional logic
- prime implicants
- logic programs
- belief change
- update semantics
- merging operators
- prime implicates
- revision operators
- epistemic states
- propositional formulas
- belief update
- horn clauses
- truth values
- possibilistic logic
- logical properties
- knowledge base
- temporal logic
- minimal change
- cnf formula
- default logic
- normal form
- formal theory
- conjunctive normal form
- knowledge compilation
- inference rules
- maximum entropy
- relational databases