Semantics and Conversations for an Agent Communication Language

Reference: Yannis Labrou and Tim Finin (1998). In Readings in Agents (Huhns & Singh eds., Morgan Kaufmann), reprinted from IJCAI-97. Source file: labrou-finin-1998.pdf. URL

Summary

Labrou and Finin supply the missing formal semantics for KQML. They treat KQML performatives as speech acts and, drawing on Searle and Vanderveken, describe each reserved performative (tell, ask-if, advertise, sorry, broker-one, …) by its preconditions, postconditions, and completion conditions over the cognitive states (BEL, KNOW, WANT, INT) of sender and receiver. On top of this performative-level semantics they add a conversation policy layer: a Definite Clause Grammar specifying legal sequences of performatives (conversations), giving KQML a two-tier account of meaning — individual acts plus interaction protocols.

This is the canonical mentalistic semantics that ACL Rethinking Principles critiques: KQML’s meaning is defined by what the agents are supposed to believe, know, and intend before and after sending each message, which is exactly the private, unverifiable mental-state grounding Singh objects to.

Key Ideas

KQML performatives carry illocutionary force; their meaning is given by speech-act-style preconditions and postconditions over agent mental states.
Four primitive mental-state operators: BEL(A,X), KNOW(A,X), WANT(A,X), INT(A,X); conjunctions and negations permitted but disjunction forbidden inside BEL/KNOW/WANT/INT.
Each performative specifies: intuitive meaning, content description, Pre(A)/Pre(B) preconditions, Post(A)/Post(B) postconditions, Completion condition, and an expected response performative.
advertise is analysed as a commissive — the sender commits to being able to process a later performative of the advertised type; tell as assertive; ask-if as directive.
Conversation policies: legal message sequences expressed as a DCG so that agents can plan and recognise multi-step exchanges (register-then-advertise-then-ask, broker patterns, etc.).
Negation of a mental-state expression means “not provable” from the agent’s knowledge base — making the semantics relative to the particular agent’s reasoner.

Connections

Conceptual Contribution

Claim: An Agent Communication Language acquires meaning at two layers — (1) per-performative speech-act semantics expressed as pre/post-conditions over the sender’s and receiver’s beliefs, knowledge, wants, and intentions, and (2) conversation policies expressed as a formal grammar over sequences of performatives — and this combination suffices to specify KQML.
Mechanism: Adopts Austin/Searle/Vanderveken speech-act categories, introduces the BEL/KNOW/WANT/INT operators, writes out pre/post/completion schemas for five reserved performatives (advertise, ask-if, tell, sorry, broker-one), and layers a Definite Clause Grammar to compose them into conversations.
Concepts introduced/used: Mentalistic Semantics, Performatives, Illocutionary Force, Conversation Policies, Preconditions and Postconditions, Commissives
Stance: constructive / foundational
Relates to: Direct target of the ACL Rethinking Principles critique — Singh names this mental-state grounding as the reason KQML compliance cannot be verified. Supplies the machinery later reused by FIPA-ACL and problematised by Verifiable Semantics for ACLs and Commitment-based Semantics.

Tags

#acl #kqml #semantics #speech-acts #mentalistic

Summary

Wooldridge tackles a central problem for ACL standardization: how can an external observer verify that an agent conforms to an ACL’s semantics when semantics are expressed in modal BDI logic (beliefs, desires, intentions)? He formalizes an agent communication framework as a tuple containing agent programs, local states, a communication language, a semantic language, and interpretation functions, and defines precisely what it means for a framework to be verifiable: whether one can decide, from program text alone, that the semantic conditions for a sent message are satisfied.

He shows that KQML and FIPA-97 ACL, which define the “sincerity condition” for an inform act using multi-modal quantified logics like SL, are not practically verifiable — deciding whether an agent program really believes what it says requires checking undecidable properties. In contrast, he gives two example frameworks with verifiable (even co-NP-complete) semantics by grounding meaning in program states rather than unobservable mental attitudes. The paper’s upshot: practical ACL conformance testing requires public, state-based semantics.

Key Ideas

Formal agent communication framework as a 2n+4 tuple.

Verifiability = decidability of semantic conformance from program text.

KQML and FIPA-97 semantics (SL modal logic) are not practically verifiable.

Grounding semantics in program states yields co-NP-complete verifiability.

Motivates social/public commitment-based ACL semantics.

Conceptual Contribution

Claim: An ACL standard is only useful if one can check whether an implementation respects it; existing ACLs (KQML, FIPA-97) whose semantics are given in multi-modal BDI logics are not practically verifiable, so ACL semantics should instead be grounded in program states.

Mechanism: Formalises an agent communication framework as a (2n+4)-tuple of agent programs, local states, communication language L_C, semantic language L_S, and interpretations; defines verifiability as decidability (in polynomial time) of whether an agent program respects a message’s semantic precondition; shows FIPA’s SL semantics undecidable; constructs two verifiable example frameworks (classical propositional logic, grounded propositional epistemic logic) with co-NP-complete verification.

Concepts introduced/used: Verifiable Semantics, Agent Communication Framework, Sincerity Condition, Grounded Semantics, Program Semantics, Model Checking, BDI Logic, Mentalistic Semantics

Stance: formal-semantic / critique

Relates to: Formal companion to ACL Rethinking Principles — Singh’s social-agency argument becomes Wooldridge’s verifiability theorem. Undermines the semantic ambitions of KQML Overview and FIPA-ACL; motivates commitment-based approaches such as Agent Communication And Institutional Reality and the program-grounded framework in Foundations Of Illocutionary Logic.

Summary

Singh surveys the state of Agent Communication Languages (ACLs) such as KQML and FIPA/Arcol, and argues that their dominant mental-agency semantics (defining communicative acts in terms of beliefs and intentions) is conceptually unsatisfying and practically untestable because we cannot read agents’ minds. He proposes a conceptual shift to social agency: ACL semantics should be grounded in a public perspective on commitments, roles, and societies, so compliance with the standard is observable and testable.

The paper maps the ACL design space along two critical dimensions — meaning (perspective, type, basis, context, coverage of communicative acts) and agent construction (design vs. execution autonomy) — and shows how both KQML and Arcol emphasize private, mental-state semantics and thus fail to enable true heterogeneous interoperation. Singh’s alternative emphasizes protocols, roles, and “society management” infrastructure as a richer public substrate for ACLs.

Key Ideas

Mental-agency ACL semantics (KQML, Arcol, early FIPA) cannot be verified without inspecting agent internals.

ACLs need a public perspective, conventional meaning, pragmatics, and full coverage of communicative act categories.

Seven categories of communicative acts: assertives, directives, commissives, permissives, prohibitives, declaratives, expressives.

Social agency replaces BDI with commitments, roles, and societies as the semantic basis.

Dialects/idiolects arise when only private perspectives are considered.

Conceptual Contribution

Claim: Agent Communication Language semantics must abandon mental agency (beliefs/intentions) and be grounded in a public, social perspective (commitments, roles, societies) in order to be testable and support heterogeneous interoperation.

Mechanism: Surveys KQML, Arcol, FIPA; lays out a two-dimensional design space (meaning × agent construction); shows that mental-state semantics cannot determine compliance; proposes social-agency framework using protocols, roles, and “society management” infrastructure.

Concepts introduced/used: Mentalistic Semantics, Public Semantics, Social Agency, Commitments, Communicative Acts, Verifiable Semantics, Interoperability, Dialects and Idiolects

Stance: critique / foundational

Relates to: Direct antecedent to Verifiable Semantics for ACLs (Wooldridge) which formalises the verification problem Singh names. Sharpens the critique of the mentalistic approach underlying KQML Overview and FIPA-ACL, and motivates commitment-based frameworks such as Agent Communication And Institutional Reality.

Commissives

In Searle’s taxonomy of illocutionary acts, speech acts that commit the speaker to a future course of action (promises, vows, offers). FIPA-ACL was criticised by Chaib-draa and Dignum for lacking native commissive performatives, forcing commitment semantics to be simulated via requests and agree/refuse pairs.

Semantics and Conversations for an Agent Communication Language

Summary

Key Ideas

Connections

Conceptual Contribution

Tags

Backlinks