Modal structure for agents interaction based on concurrent actions

Authors:
Matías Alvarado;Leonid Sheremetov
Affiliations:
PIMAyC, Mexican Petroleum Institute, Mexico, D.F.;PIMAyC, Mexican Petroleum Institute, Mexico, D.F. and St. Petersburg Institute for Informatics and Automation of the Russian Academy of Sciences
Venue:
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Year:
2003

Citing 10
Cited 0

Logical formalization of concurrent actions for multi-agent systems

ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Reasoning about nondeterministic and concurrent actions: a process algebra approach

Artificial Intelligence
Tractable multiagent planning for epistemic goals

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
On the Relationship Between BDI Logics and Standard Logics of Concurrency

Autonomous Agents and Multi-Agent Systems
A Programming Language for Coordinating Group Actions

CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Semantics of Agent Communication Languages for Group Interaction

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Logic of Interaction for Multiagent Systems

MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
An Automated Teamwork Infrastructure for Heterogeneous Software Agents and Humans

Autonomous Agents and Multi-Agent Systems
Towards flexible teamwork

Journal of Artificial Intelligence Research
Planning with concurrent interacting actions

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

The central issue here is that individual agent actions interact. So, an action representation has to make these interactions explicit. The formalization of concurrent, parallel, and sequential actions as well as synchronous and asynchronous ones is introduced comparing it with existing proposals. Temporal modal logic formalism sets these different types of actions as particular cases of concurrent actions. This way the description and programming of diverse processes in distributed multi-agent systems can be made in an integrated fashion. The proposed model is illustrated through a multi-agent system for flexible manufacturing. TU Prolog is used to implement the developed formal model.