An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics.
Austin ParkerGuillaume InfantesV. S. SubrahmanianJohn GrantPublished in: AAAI (2008)
Keyphrases
- belief revision
- temporal logic
- cost based abduction
- belief change
- default reasoning
- nonmonotonic reasoning
- propositional logic
- logical properties
- modal logic
- probability theory
- probabilistic logic
- possibilistic logic
- satisfiability problem
- belief update
- knowledge base
- minimal change
- mazurkiewicz traces
- belief state
- logical framework
- dynamic aspects
- model checking
- bayesian networks
- iterated belief revision
- possibility theory
- plausible inference