A Semantic Description For Agent Design Patterns

Reference: Sabatucci, Cossentino, Gaglio. AT2AI-08 / University of Palermo & ICAR-CNR. Source file: at2ai08_sabatucci.pdf. URL

Summary

The authors propose a fine-grained design language for formalizing and composing agent design patterns, integrated with the PASSI methodology for multi-agent system development. Patterns are represented as semantic networks (Pattern Semantic Description diagrams) whose nodes are Pattern Description Elements - participants, collaborators, events, and actions - typed against a MAS meta-model.

Four composition operators (Unification, Conjunction, Concealing, Externalization) let designers blend patterns systematically, preserving traceability of pattern contributions in the resulting structure. A worked example composes GenericAgent and Request patterns into SequentialShareResource, illustrating how FIPA-Request-compliant service agents can be built through pattern composition.

Key Ideas

PSD diagrams: semantic networks of Participants and Collaborators.
Composition operators: Unification, Conjunction, Concealing, Externalization.
Patterns typed against a MAS meta-model (agent, role, task, communication).
Integrated with PASSI design process.
Worked example of FIPA-Request service pattern composition.

Connections

Conceptual Contribution

Claim: Agent design patterns should be formalised as typed semantic networks with explicit composition operators, so that FIPA-compliant systems can be built by pattern algebra rather than ad-hoc composition.
Mechanism: Introduces Pattern Semantic Description (PSD) diagrams typed against a MAS meta-model; defines Unification, Conjunction, Concealing, and Externalization operators; integrates with the PASSI methodology; worked example composes GenericAgent + Request into SequentialShareResource.
Concepts introduced/used: Design Patterns, PASSI Methodology, MAS Meta-model, Pattern Composition, Interaction Protocols, Roles, FIPA-ACL, Agent-Oriented Programming, Ontologies, Multi-Agent Systems
Stance: engineering
Relates to: Supplies a pattern language for the protocol-level conversations tracked by ACRE Agent Conversation Reasoning Engine; its MAS meta-model leans on ontology foundations surveyed in Handbook On Ontologies.

Tags

#design-patterns #agent-engineering #passi #mas

Backlinks

Linked Pages

Handbook On Ontologies

Handbook on Ontologies

Reference: Staab & Studer, eds. (2004). International Handbooks on Information Systems, Springer. Source file: CAP_LIB_05.pdf. URL

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.

Connections

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.

Tags

ACRE Agent Conversation Reasoning Engine

ACRE: Agent Conversation Reasoning Engine

Reference: Lillis & Collier (University College Dublin). Source file: ACRE_Agent_Conversation_Reasoning_Engine.pdf. URL

Summary

ACRE complements existing rule-based agent programming languages (AFAPL2, AgentSpeak, Jason, Jack) with explicit support for modelling, managing, and reasoning about complex multi-message conversations. Rather than handling each FIPA-ACL message individually, ACRE represents conversations as instances of protocols specified as Coloured Petri Nets or Dooley Graphs, so agents can track which performatives are expected next and react accordingly.

The paper integrates ACRE with the Agent Factory framework: conversations are exposed via a conversation-id parameter, and plan pre/postconditions in AFAPL2 reason over BELIEF(status(...)) predicates derived from ACRE. A Vickrey auction example shows how an Auctioneer agent uses ACRE-tracked conversations to issue cfp, collect propose/refuse messages, and broadcast accept-proposal/reject-proposal.

Key Ideas

Protocols are first-class citizens, separate from individual messages.
Conversations tracked via Coloured Petri Nets / Dooley Graphs.
Integration with AFAPL2: conversation state surfaces as beliefs for plan reasoning.
Code verification check that agent plans honour protocol expectations.
Vickrey auction case study using FIPA Contract Net-style interactions.

Connections

Conceptual Contribution

Claim: Agents need conversations, not just messages, as first-class abstractions; existing AOP languages (AgentSpeak, Jason, AFAPL2) lack native protocol reasoning.
Mechanism: Models FIPA-ACL interaction protocols as Coloured Petri Nets / Dooley Graphs instantiated per conversation-id; surfaces conversation state as BELIEF(status(...)) predicates usable in plan pre/postconditions; validated via Vickrey auction (Contract Net).
Concepts introduced/used: Interaction Protocols, Coloured Petri Nets, Dooley Graphs, Conversations, Conversation Policy, FIPA-ACL, Performatives, Contract Net Protocol, BDI, Agent-Oriented Programming, Multi-Agent Systems
Stance: engineering
Relates to: Operationalises the protocol-tracking needs implicit in FIPA-ACL and KQML; its plan-level conversation awareness is an ancestor of task/session tracking in modern Agent-to-Agent Protocol as covered by Survey Of Agent Interoperability Protocols.

Tags

Multi-Agent Systems

Multi-Agent Systems

Systems of multiple autonomous agents that interact, coordinate, and sometimes compete.

Foundations

Intelligent Agents Theory and Practice — Wooldridge
Multiagent Systems Sycara
Agent-Oriented Programming — Shoham

Coordination & robustness

See also

Ontologies

Shared, formal vocabularies for meaning. Essential for agents to understand each other.

Sources

Related

Agent-Oriented Programming

Agent-Oriented Programming

Reference: Shoham, Y. (1993). Artificial Intelligence 60, Elsevier. Source file: shoam-aop.pdf. URL

Summary

Shoham introduces Agent-Oriented Programming (AOP) as a specialization of object-oriented programming in which the state of each module — now called an agent — is a mental state composed of beliefs, capabilities, decisions/choices, commitments, and obligations. Interpretation of these components is formally grounded in an extension of standard epistemic logics that adds temporality, obligation, decision, and capability operators.

Agents communicate via speech-act-inspired primitives (inform, request, offer, promise, decline, etc.), constrained by rules such as honesty and consistency. The paper defines a class of agent interpreters and presents AGENT-0, a concrete implemented language whose semantics is tied to the mental-state logic. Shoham also discusses “agentification” — converting arbitrary devices into AOP-programmable agents — and situates AOP against BDI architectures, speech act theory, and McCarthy’s Elephant2000.

Key Ideas

AOP as OOP specialization with mental-state components.
Agents constrained by honesty/consistency on communicative acts.
Speech-act-typed primitives as message types.
AGENT-0 language and interpreter.
“Agentification” of arbitrary devices.

Connections

Conceptual Contribution

Claim: Programming can be fruitfully specialised to an “agent” paradigm in which module state is a formally specified mental state and inter-module communication is a speech act constrained by rational/ethical rules.
Mechanism: Shoham extends standard modal-epistemic logic with temporal, obligation, decision and capability operators, defines the mental-state components of an agent (belief, capability, commitment, choice, obligation), then specifies a generic agent interpreter cycle (update mental state, execute commitments, handle incoming messages) and instantiates it in AGENT-0, whose programs are condition-action rules over mental state and whose messages are typed INFORM/REQUEST/UNREQUEST primitives.
Concepts introduced/used: Agent-Oriented Programming, Mental State, Commitment, AGENT-0, Speech Act Theory, Agentification, BDI, Honesty Constraint
Stance: foundational
Relates to: Establishes the mentalistic ACL stance later criticised by Agent Communication Languages - Rethinking the Principles and surveyed by Intelligent Agents Theory and Practice; AGENT-0’s speech-act primitives anticipate KQML as an Agent Communication Language and FIPA-ACL; the mental-state architecture is reused in An Interaction-oriented Agent Framework for Open Environments.

Tags

FIPA-ACL

The Foundation for Intelligent Physical Agents Agent Communication Language — a standardised successor to KQML, defining performatives with mentalistic semantics (beliefs/intentions of sender and receiver).

Discussed in

Related

Roles

Roles

Typed functional positions in a MAS (e.g. buyer, broker, arbiter) that constrain which speech acts and commitments apply — key to role-based ACL semantics.

In this vault

Interaction Protocols

Interaction Protocols

Specifications of legal conversation patterns (e.g. as Petri nets or state machines) above the message level.

In this vault

Pattern Composition

Pattern Composition

The systematic combination of design patterns to address larger-scale problems, where the interfaces, constraints and intents of the component patterns must be reconciled. Semantic descriptions of agent patterns support tool-assisted composition and consistency checking.

In this vault

MAS Meta-model

An abstract schema capturing the essential entities of a multi-agent system — agents, roles, interactions, organisations, environment — used to formally describe and compare design patterns across frameworks.

In this vault

PASSI Methodology

PASSI Methodology

Process for Agent Societies Specification and Implementation — an iterative UML-based methodology (Cossentino) for designing multi-agent systems across five models (system requirements, agent society, agent implementation, code, deployment). Referenced as a design-pattern lens in Semantic Description for Agent Design Patterns.

In this vault

Design Patterns

Design Patterns

Named, reusable solutions to recurring design problems in a given domain; in agent systems and blockchain interoperability, patterns formalise common structural and protocol arrangements together with their applicability conditions and trade-offs.

In this vault