Flexible protocol specification and execution: applying event calculus planning using commitments
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Role-assignment in open agent societies
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards Socially Sophisticated BDI Agents
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Developing multiagent systems: The Gaia methodology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Issues in Multiagent System Development
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Implementing commitment-based interactions
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Artificial institutions: a model of institutional reality for open multiagent systems
Artificial Intelligence and Law
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
Model checking communicative agent-based systems
Knowledge-Based Systems
Choice, interoperability, and conformance in interaction protocols and service choreographies
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Multiagent commitment alignment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A computational semantics for communicating rational agents based on mental models
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Incorporating commitment protocols into tropos
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Adaptation in open systems: giving interaction its rightful place
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Specifying and applying commitment-based business patterns
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Diagnosing commitments: delegation revisited
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Social commitment delegation and monitoring
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
A formal treatment of agents, goals and operations using alternating-time temporal logic
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Exception diagnosis in multiagent contract executions
Annals of Mathematics and Artificial Intelligence
Relating goal and commitment semantics
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Research directions in agent communication
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
Data mining agent conversations: A qualitative approach to multiagent systems analysis
Information Sciences: an International Journal
Hierarchical planning about goals and commitments
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
A goal driven framework for software project data analytics
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Robust design of multi-agent system interactions: A testing approach based on pattern matching
Engineering Applications of Artificial Intelligence
Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies
Multiagent and Grid Systems
| Hi-index | 0.00 |
This paper seeks to combine two largely independent threads of multiagent systems research---agent specification and protocols. We specify agents in terms of goal models (as used in Tropos). We specify protocols in terms of the commitments among agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agent specification and a protocol, the semantics helps us perform two kinds of verification: (1) whether the protocol supports achieving particular agent goals, and (2) whether the agent's specification supports the satisfaction of particular commitments.