ACM Transactions on Information Systems (TOIS)
First-order modal logic
An analysis of agent speech acts as institutional actions
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
MICAI '02 Proceedings of the Second Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Power and Permission in Security Systems
Proceedings of the 7th International Workshop on Security Protocols
Defining interaction protocols using a commitment-based agent communication language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Performatives in a rationally based speech act theory
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Advances in Agent Communication: International Workshop on Agent Communication Languages, Acl 2003, Melbourne, Australia, July 14, 2003: Revised and Invited Papers (Lecture Notes in Computer Science, 2922.)
On Lean Messaging with Unfolding and Unwrapping for Electronic Commerce
International Journal of Electronic Commerce
Agent communication and institutional reality
AC'04 Proceedings of the 2004 international conference on Agent Communication
Conversational semantics with social commitments
AC'04 Proceedings of the 2004 international conference on Agent Communication
Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic
DEON '08 Proceedings of the 9th international conference on Deontic Logic in Computer Science
Unifying the intentional and institutional semantics of speech acts
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
| Hi-index | 0.00 |
A general logical framework is presented to represent speech acts that have institutional effects. It is based on the concepts of the Speech Act Theory and takes the form of the FIPA Agent Communication Language. The most important feature is that the illocutionary force of all of these speech acts is declarative. The formal language that is proposed to represent the propositional content has a large expressive power and therefore allows to represent a large variety of speech acts such as: to empower, to appoint, to order, to declare,...etc. The same formal language is also used to express the feasibility preconditions, the illocutionary effects and the perlocutionary effects.