A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles

Reference: Boella, Damiano, Hulstijn, van der Torre (2006). Applied Ontology 3(1-3). Source file: ao07b.pdf. URL

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).

Connections

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.

Tags

#acl #ontology #commitments #roles #semantics

Backlinks

Summary

The Handbook on Ontologies provides a comprehensive reference on ontology research and practice. It is organized into four parts: (A) Ontology Representation and Reasoning (Description Logics, Frame Logic, RDF(S), OWL, ontology algebra); (B) Ontology Engineering (methodologies, large case studies, OntoClean, ontology learning, knowledge patterns, lexicons); (C) Ontology Infrastructure (management environments, problem-solving methods, multi-agent interaction, merging/mapping, browsing, visualization); and (D) Ontology Applications (knowledge management, eCommerce, semantic portals, hypermedia, enterprise integration, bioinformatics).

The introduction positions ontologies as formal, explicit specifications of shared conceptualizations and traces their rise from knowledge-based systems through the Semantic Web into mainstream information systems.

Key Ideas

Standard definition: ontology = formal, explicit specification of shared conceptualization.

Four-part organization: representation, engineering, infrastructure, applications.

Description Logics and Frame Logic as main representation paradigms.

OWL, RDF(S), and ontology algebra as Semantic Web foundations.

Multi-agent systems rely on ontologies for communication semantics.

Conceptual Contribution

Claim: Ontologies - formal, explicit specifications of shared conceptualisations - are the unifying infrastructure behind knowledge-based systems, the Semantic Web, and multi-agent communication semantics.

Mechanism: Four-part reference structure covering representation/reasoning (DL, F-Logic, RDF(S), OWL, ontology algebra), engineering (OntoClean, ontology learning, patterns), infrastructure (management, merging, MAS interaction), and applications (KM, eCommerce, bioinformatics).

Concepts introduced/used: Ontologies, Description Logics, OWL, RDF, Frame Logic, Ontology Engineering, Semantic Web, Multi-Agent Systems, Agent Communication Languages

Stance: foundational / survey

Relates to: Supplies the representational substrate assumed by A Common Ontology Of ACLs, Semantic Description For Agent Design Patterns, and the content-layer opacity of KQML Language And Protocol / FIPA-ACL.

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.

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.

Mental Attitudes

The propositional attitudes (belief, desire, intention, knowledge) that agents hold toward content in the mentalistic tradition of ACL semantics. In Singh’s common ontology of ACLs they are formalised as the private substrate against which “sincerity”-style preconditions are unverifiable without introspection.