Towards Epistemic-Doxastic Planning with Observation and Revision.

Thorsten Engesser Andreas Herzig Elise Perrotin

Published 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