Belief Revision and Update: Complexity of Model Checking.
Paolo LiberatoreMarco SchaerfPublished in: J. Comput. Syst. Sci. (2001)
Keyphrases
- belief revision
- model checking
- temporal logic
- pspace complete
- belief update
- minimal change
- update operators
- propositional logic
- belief change
- default reasoning
- nonmonotonic reasoning
- modal logic
- verification method
- finite state
- finite state machines
- logical framework
- knowledge base
- possibilistic logic
- np complete
- satisfiability problem
- decision problems
- logic programs
- computational complexity
- belief base
- inference rules
- planning domains
- belief state
- planning under uncertainty
- distributed systems
- bayesian networks