An AGM-style belief revision mechanism for probabilistic spatio-temporal logics.
John GrantFrancesco ParisiAustin ParkerV. S. SubrahmanianPublished in: Artif. Intell. (2010)
Keyphrases
- belief revision
- temporal logic
- cost based abduction
- belief change
- propositional logic
- default reasoning
- nonmonotonic reasoning
- modal logic
- knowledge base
- minimal change
- logical properties
- probability theory
- satisfiability problem
- logical framework
- plausible inference
- belief merging
- probabilistic logic
- belief update
- mazurkiewicz traces
- possibilistic logic
- dynamic aspects
- nonmonotonic logics
- possibility theory
- belief state