Intention is choice with commitment
Artificial Intelligence
Alternating-time temporal logic
Journal of the ACM (JACM)
On the logic of cooperation and propositional control
Artificial Intelligence
Reasoning about action and cooperation
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
The semantics of intention maintenance for rational agents
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Intentions and strategies in game-like scenarios
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Hi-index | 0.00 |
In order to improve existing work on investigating actions and intentions in cooperation logics, a new model is given to extend concurrent game structures. The assumption that different intelligent agents can not execute the same actions which obviously does not fit human commonsense understanding of the world has been done away with. Five functions that involved actions are given at length so that we can investigate the relations among agents, actions and states in depth within the context of social law. Two kinds of intentions (individual intention and group intention) have been investigated in the extended cooperation logic.