Speech Acts with Institutional Effects in Agent Societies

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.

• Type: Conference
• Year: 2006
• Where: DEON
• Authors: Robert Demolombe, Vincent Louis
• Keywords: Automated Reasoning, DEON 2006, Formal Language, Speech Act Theory, Speech Acts