Modal Logics for Communicating Rule-Based Agents.
Natasha AlechinaMark JagoBrian LoganPublished in: ECAI (2006)
Keyphrases
- modal logic
- epistemic logic
- dynamic logic
- inference rules
- multi agent systems
- temporal logic
- decision procedures
- multi agent
- nonmonotonic logics
- intelligent agents
- multiple agents
- multiagent systems
- model checking
- autonomous agents
- software agents
- cooperative
- communication channels
- classical logic
- mobile agents
- agent architecture
- resource allocation
- multi faceted
- expert systems
- kripke models
- situation calculus
- dynamic environments
- dynamic programming
- default logic
- logical framework
- modal operators