Premium
A new semantics for ACL based on commitments and penalties
Author(s) -
Amgoud Leila,
de SaintCyr Florence Dupin
Publication year - 2008
Publication title -
international journal of intelligent systems
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.291
H-Index - 87
eISSN - 1098-111X
pISSN - 0884-8173
DOI - 10.1002/int.20267
Subject(s) - semantics (computer science) , computer science , speech act , key (lock) , verifiable secret sharing , meaning (existential) , operational semantics , well founded semantics , computational semantics , formal semantics (linguistics) , theoretical computer science , artificial intelligence , programming language , denotational semantics , linguistics , computer security , epistemology , philosophy , set (abstract data type)
In complex multiagent systems, the agents may be heterogeneous and possibly designed by different programmers. Thus, the importance of defining a standard framework for agent communication languages (ACL) with a clear semantics has been widely recognized. The semantics should be verifiable , clear , and practical . Most classical proposals (for instance, mentalistic semantics ) fail to meet these objectives. This paper proposes a logic‐based semantics, which is social in nature. The basic idea is to associate with each speech act a clear meaning in terms of a commitment induced by that speech act, and a penalty to be paid in case that commitment is violated. A violation criterion based on the existence of arguments is then defined per speech act. We show that the proposed semantics satisfies some key properties that ensure that the approach is well founded. The logical setting makes the semantics verifiable. Moreover, it is shown that the new semantics is practical because it captures the dynamic of dialogues and shows clearly how isolated speech acts can be connected for building dialogues. © 2008 Wiley Periodicals, Inc.