The Implementation of a First-Order Logic AGM Belief Revision System.

Simon Dixon Wayne Wobcke

Published 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