A process algebra for timed systems
Information and Computation
Context and consciousness: activity theory and human-computer interaction
Context and consciousness: activity theory and human-computer interaction
Interaction patterns and observable commitments in a multi-agent trading scenario
Proceedings of the fifth international conference on Autonomous agents
Communication and Concurrency
Coordination for Internet Application Development
Autonomous Agents and Multi-Agent Systems
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
A Dialogue Game Protocol for Agent Purchase Negotiations
Autonomous Agents and Multi-Agent Systems
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Instructions-Based Semantics of Agent Mediated Interaction
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
Coordination Artifacts: Environment-Based Coordination for Intelligent Agents
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 1
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Activity theory as a framework for MAS coordination
ESAW'02 Proceedings of the 3rd international conference on Engineering societies in the agents world III
Agent communication and artificial institutions
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
Constrasting the standard framework based on agent-to-agent direct communication, in this paper we focus on agent interaction with the environment. In particular, the environment is seen as populated by coordination artifacts [1], automatising coordination tasks and mediating agent interaction. As a semantic framework for this context we propose operating instructions, which the agent reads and interprets to become aware of the allowed actions and perceptions at a given time, and the MAS infrastructure can exploit to enforce correct agent behaviours and detect wrong ones. This allows us to conceptually handle a number of crucial aspects related to agent interaction, including interaction protocols, timing properties — such as delays and timeouts —, and a notion of contract featuring violation and guarantees. Formally, our framework is based on a process algebra featuring (i) explicit connection between action and its related perceptions, (ii) a time-based branch operator, (iii) violation and guarantee deadlock states, and (iv) association of mental properties to interactions.