The Implementation of a First-Order Logic AGM Belief Revision System.
Simon DixonWayne WobckePublished in: ICTAI (1993)
Keyphrases
- belief revision
- propositional logic
- first order logic
- belief change
- expressive power
- default reasoning
- nonmonotonic reasoning
- theorem proving
- probabilistic reasoning
- knowledge representation
- possibilistic logic
- knowledge base
- minimal change
- markov networks
- inductive logic programming
- belief update
- theorem prover
- temporal logic
- transitive closure
- possibility theory
- epistemic states
- belief state
- incomplete information
- formal semantics
- machine learning