Intention is choice with commitment
Artificial Intelligence
This is MYWORLD: the logic of an agent-oriented DAI testbed
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence
A Calculus of Communicating Systems
A Calculus of Communicating Systems
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Equivalences and Preorders of Transition Systems
MFCS '93 Proceedings of the 18th International Symposium on Mathematical Foundations of Computer Science
The Psi Calculus: An Algebraic Agent Language
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Multi-Agent Systems: A Petri Net with Objects Based Approach
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
An ontology-based multi-agent system conceptual model
International Journal of Computer Applications in Technology
| Hi-index | 0.00 |
In this paper, labeled transition systems are proposed as a unifying approach to deal with the semantics of a multi-agent system. The presented model represents a multi-agent system by a triplet consisting of a set of states, a set of actions and a set of all possible system executions. We argue that notions that appear with different and complex forms in the literature such as possible world semantics, Petri nets, and process calculus can be described in the same formal framework namely transition systems. Besides, the advantages related to the use of transition system based model are enumerated.