Towards Epistemic-Doxastic Planning with Observation and Revision.
Thorsten EngesserAndreas HerzigElise PerrotinPublished in: AAAI (2024)
Keyphrases
- epistemic logic
- belief change
- heuristic search
- belief update
- belief revision
- planning process
- goal oriented
- blocks world
- model checking
- modal logic
- planning problems
- dynamic epistemic logic
- logical framework
- ai planning
- decision support
- stochastic domains
- decision theoretic
- planning systems
- mixed initiative
- real time
- theoretical framework
- knowledge base
- decision making
- genetic algorithm
- neural network