The purpose of this paper is to present a language for the modelling of conummication between agents, that includes deontic and illocutionary constructs. Deontic concepts, as obligations, permission, and prohibitions are essential for modelling communication between agents. The description the dynamics of obligations, i.e. how obligations are created and destroyed, uses the tools of the speech act theory. Since it is a logic programming language, it has simple semantics and is executable.
cooperating agent, logic programming language, deontic concepts, illocutionary acts, instrumental acts.
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).