A Social Semantics for Agent Communication Languages
Issues in Agent Communication
A logical model of social commitment for agent communication
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A Logical Model for Commitment and Argument Network for Agent Communication
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An algebra for commitment protocols
Autonomous Agents and Multi-Agent Systems
Computational logic-based agents
Autonomous Agents and Multi-Agent Systems
Proceedings of the 7th international joint 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
Protocol conformance for logic-based agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
A new logical semantics for agent communication
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Multi-agent systems in computational logic: challenges and outcomes of the SOCS project
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Verifiable semantic model for agent interactions using social commitments
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Hi-index | 0.00 |
Commitments based on branching time logic are powerful representations for modeling multi-agent interactions. Current approaches into commitments have conceived these representations and evolved the commitments as “world-wide” states called moments. These approaches do not capture the space and space-like dimensions and ignore the causal relation between the participating agents. This paper presents a significant step towards developing a new logical semantics of social commitments based on Branching Space-Time (BST) logic. The contributions of this paper are threefold: first, we reformulate BST-logic from philosophical perspective to computational logic being used in computer science discipline; second, we enhance this logic with social commitments (propositional and conditional) and space-like modalities; and third, we present a new semantics model for social commitments and two-party operations that manipulate commitments in the same framework.