On the Use of Prime Implicates in Conformant Planning.
Son Thanh ToTran Cao SonEnrico PontelliPublished in: AAAI (2010)
Keyphrases
- prime implicates
- conformant planning
- symbolic model checking
- normal form
- belief change
- computationally hard
- desirable properties
- initial state
- forward search
- belief space
- finite domain
- modal logic
- knowledge compilation
- abductive reasoning
- ai planning
- planning problems
- model checking
- propositional logic
- state space
- formal verification
- belief revision
- heuristic search
- classical planning
- constraint propagation
- partial observability
- machine learning
- logic programs
- reinforcement learning
- knowledge base