Agent Communication and Institutional Reality

Reference: Fornara, Viganò, Colombetti (2005). Agent Communication II, LNAI 3396, Springer. Source file: 978-3-540-32258-0_1.pdf. URL

Summary

Fornara, Viganò, and Colombetti propose regarding an Agent Communication Language as a set of conventions acting on a fragment of institutional reality, defined within an artificial institution. They reformulate commitment-based ACL semantics so that all commonly used communicative act types reduce to a single basic type, declarations, within a Basic Institution that regulates the lifecycle of social commitments.

Special institutions (e.g., English Auctions) extend the Basic Institution with ontological and normative elements. The approach is notable for making the semantics of speech acts publicly verifiable and independent of agents’ mental states, while retaining a uniform formal account of institutional actions and counts-as relations.

Key Ideas

ACL messages are institutional actions governed by counts-as rules.
Basic Institution manages creation/update/cancellation of social commitments.
All speech act types reducible to declarations within the institution.
Special institutions layer domain norms and ontologies on top.
English Auction given as worked example.

Connections

Conceptual Contribution

Claim: An ACL is best understood as a set of conventions operating on institutional reality; all communicative act types reduce to declarations within a Basic Institution that governs the lifecycle of social commitments.
Mechanism: Defines artificial institutions with counts-as rules; models message effects as declarations creating/updating/cancelling commitments; layers domain norms in Special Institutions (English Auction worked example).
Concepts introduced/used: Commitment-based Semantics, Institutional Reality, Counts-as Rules, Declarations, Performatives, Speech Act Theory, Public Semantics, Verifiable Semantics, Mentalistic Semantics, Ontologies, FIPA-ACL, Multi-Agent Systems
Stance: formal-semantic
Relates to: Offers the publicly-verifiable alternative to mental-state semantics of FIPA-ACL, which A Common Ontology Of ACLs then unifies via roles; grounded philosophically in Foundations Of Illocutionary Logic.

Tags

#acl #commitments #institutions #multi-agent-systems

Backlinks

Summary

Searle and Vanderveken construct a formalized logic of speech acts, filling the gap between philosophy of language and formal logic. The book recursively defines the space of illocutionary forces from five primitives (assertive, commissive, directive, declarative, expressive) via seven components of illocutionary force (illocutionary point, mode of achievement, propositional-content conditions, preparatory conditions, sincerity conditions, degree of strength, direction of fit).

It develops axiomatic propositional illocutionary logic, laws of illocutionary entailment, commitment, negation, conjunction, and conditionalization, and closes with a semantic analysis of over a hundred English performative verbs. The work is foundational for agent communication languages because it gives a rigorous semantics to the performatives (inform, request, promise, declare, etc.) later adopted by KQML and FIPA-ACL.

Conceptual Contribution

Claim: The space of possible speech acts is generated recursively from five illocutionary points and seven components of illocutionary force, and admits a genuine formal logic of success and entailment.

Mechanism: Axiomatic propositional illocutionary logic: laws of illocutionary entailment, commitment, negation, conjunction, and conditionalisation; closes with semantic definitions of over a hundred English performative verbs.

Concepts introduced/used: Speech Act Theory, Performatives, Illocutionary Force, Direction of Fit, Sincerity Conditions, Preparatory Conditions, Commitment-based Semantics, Mental State, Mentalistic Semantics

Stance: foundational / formal-semantic

Relates to: Supplies the philosophical semantics imported by KQML Language And Protocol and FIPA-ACL, and re-examined publicly in Agent Communication And Institutional Reality and A Common Ontology Of ACLs.

Summary

The authors propose a common ontology that bridges the two dominant semantic traditions for Agent Communication Languages: mental-attitude-based semantics (FIPA-ACL) and social-commitment-based semantics (Singh, Colombetti). The unifying device is the role: each agent plays role instances in dialogue sessions, and both beliefs/intentions and commitments are attributed to role instances rather than to private mental states, sidestepping the unverifiability problem.

They develop Role-SL, a BDI logic extended with roles and dialogue sessions, then show translation schemes from FIPA speech acts and from action/propositional commitment semantics into this role-based ontology. The framework accommodates mixed dialogues (e.g., persuasion intertwined with negotiation) that neither tradition handles cleanly alone.

Key Ideas

Roles as first-class carriers of public mental attitudes.

Role-SL: extension of FIPA-SL with role instances and dialogue sessions.

Mappings from FIPA-ACL and commitment-based ACLs into one ontology.

Public beliefs/intentions sidestep mental-state unverifiability.

Distinguishes action commitments (request/propose) from propositional (assert/challenge).

Conceptual Contribution

Claim: Mental-attitude and social-commitment ACL semantics can be unified under a common ontology by attributing both to roles instantiated in dialogue sessions, rather than to private agent minds.

Mechanism: Extends FIPA-SL into Role-SL (BDI + roles + dialogue sessions); provides translation schemes from FIPA speech acts and from action/propositional commitment semantics; handles mixed dialogues (persuasion + negotiation).

Concepts introduced/used: Roles, BDI, Commitment-based Semantics, Mental Attitudes, Mentalistic Semantics, Public Semantics, Verifiable Semantics, Dialogue Sessions, FIPA-ACL, Speech Act Theory, Ontologies, Agent Communication Languages

Stance: formal-semantic

Relates to: Bridges the two traditions typified by FIPA-ACL (mentalist) and Agent Communication And Institutional Reality (commitment-based); uses ontology machinery catalogued in Handbook On Ontologies.

Counts-as Rules

Constitutive rules of the form “X counts as Y in context C” (Searle), used in artificial-institution frameworks to define when a brute act (sending a message) institutionally counts as a declaration that creates, updates or cancels a commitment. The mechanism by which message exchanges produce institutional facts.