Dynamic Logic for Plan Revision in Agent Programming.
M. Birna van RiemsdijkFrank S. de BoerJohn-Jules Ch. MeyerPublished in: J. Log. Comput. (2006)
Keyphrases
- dynamic logic
- agent programming
- multi agent planning
- partially observable stochastic domains
- imperative programs
- reasoning about actions
- modal logic
- belief revision
- plan execution
- plan recognition
- ai planning
- knowledge base
- multi agent
- agent systems
- operational semantics
- situation calculus
- autonomous agents
- utility function
- distributed systems