Communication and cooperation in agent systems: a pragmatic theory
Communication and cooperation in agent systems: a pragmatic theory
Multiagent systems and societies of agents
Multiagent systems
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Knowledge, action, and the frame problem
Artificial Intelligence
| Hi-index | 0.00 |
In multi-agent system, the Requirement/Service is a cooperation way that is simple, efficient, and wildly applied. Under the framework of Situation Calculus, the agents' belief and intention are formalized, and some new communication actions are introduced into the earlier ConGolog. Consequently, we propose a Requirement/Service cooperative model and semantics for multi-agent System based on the extended ConGolog. What's more, in terms of the model and semantics, we specify a case of the multi-agent system in the dynamic and incompletely known environment for achieving the cooperation based on reason about action.