A first-order coalition logic for BDI-agents.
Qingliang ChenKaile SuAbdul SattarXiangyu LuoAixiang ChenPublished in: Frontiers Comput. Sci. (2016)
Keyphrases
- bdi agents
- coalition logic
- agent architecture
- multi agent systems
- logical framework
- mental states
- autonomous agents
- first order logic
- agent model
- modal logic
- multi context systems
- model checking
- mental attitudes
- pspace complete
- bayesian networks
- multiagent systems
- cooperative
- temporal logic
- software agents
- intelligent agents