Dynamic Logic for Plan Revision in Intelligent Agents.
M. Birna van RiemsdijkFrank S. de BoerJohn-Jules Ch. MeyerPublished in: CLIMA (2004)
Keyphrases
- dynamic environments
- intelligent agents
- dynamic logic
- plan execution
- imperative programs
- agent systems
- modal logic
- multi agent
- reasoning about actions
- intelligent systems
- building intelligent
- multi agent systems
- agent architecture
- belief revision
- distributed environment
- artificial intelligence
- mobile agents
- knowledge base
- agent programming
- distributed artificial intelligence
- artificial agents
- computational intelligence
- agent interactions
- cooperative
- intelligent software agents
- plan recognition
- mental states
- software agents
- modal operators
- high level
- machine learning
- belief desire intention
- propositional dynamic logic
- temporal logic