Understanding Multi-Agent Systems
Understanding Multi-Agent Systems
MULTI-AGENT SYSTEMS:
MAS architectures dictate how agents are organized and how they share information and
control. The primary architectural distinctions are centralized, decentralized, and hybrid.
Description: No central authority exists. Agents act as peers, making decisions based
on their local view of the environment and communicating directly with neighbors.
Coordination is achieved through negotiation or shared environmental rules.
Characteristics: High robustness (no single point of failure) and excellent
scalability.
Drawbacks: Difficult to ensure global optimality or coherence, as agents may pursue
conflicting local goals.
Real-World Example: Swarm Robotics used for mapping or collective construction,
where robots coordinate locally to fill gaps in coverage.
3. Hierarchical Architecture
Contract Net Protocol (CNP): A negotiation methodology (detailed earlier) used for
dynamic task allocation in a decentralized way.
Coalition Formation: Algorithms (e.g., based on cooperative game theory) that
determine optimal groupings of agents to perform a task, aiming for superadditive
utility where the combined value is greater than the sum of individual values.
Distributed Constraint Optimization (DCOP): A technique where agents try to find
a global assignment of variables that minimizes total cost, subject to local constraints
and communication limitations.
Game Theory: Used extensively to model and predict the outcome of competitive
and cooperative interactions. Key concepts include:
o Nash Equilibrium: A state where no player can improve their outcome by
unilaterally changing their strategy.
o Mechanism Design: Structuring the rules of interaction (e.g., auctions) to
incentivize agents to act in ways that benefit the system.
Voting and Consensus Algorithms: Methods for agents to agree on a state or an
action, particularly important in systems requiring fault tolerance (e.g., the Byzantine
Generals' Problem).
3. Trust and Reputation Management
MAS are applied whenever the problem space is too complex, dynamic, or geographically
distributed for a single system.
Autonomous agents:
The way an autonomous agent is built determines how it processes information and selects
actions.3 Architectures generally fall into three categories:
Description: The agent acts entirely based on the current percepts (stimulus-response
rules).4 It has no symbolic world model or planning capacity. It simply executes pre-
defined behaviors in response to environmental conditions.5
Example: Subsumption Architecture (pioneered by Rodney Brooks).6 This
architecture uses layers of competence, where higher-level behaviors subsume (or
inhibit) the outputs of lower-level ones. For instance, the "Avoid Obstacle" layer takes
precedence over the "Wander" layer.
Methodology: Behavior-Based Control. Actions are selected through a competition
or combination of pre-programmed behaviors.7
Techniques: Finite State Machines (FSMs), Production Rules (If-Then statements).8
Description: The agent reasons logically about its actions. It maintains a symbolic
world model (a representation of the environment's state) and uses planning
algorithms to determine the best sequence of actions to transition from the current
state to the goal state.
Drawbacks: Slow in complex or highly dynamic environments due to the
computational cost of planning and maintaining a precise world model (the Sensing-
Modeling-Planning-Acting cycle).
Methodology: Logic-Based AI. Decisions are derived via logical inference and
search.
Techniques: $\text{A}^{*}$ search, First-Order Logic (FOL), STRIPS/ADL
planning languages.
3. Hybrid Architecture
Description: The most common and practical approach, combining the real-time
responsiveness of reactive layers with the long-term goal-orientation of deliberative
layers.
Examples: Architectures like BDI (Beliefs-Desires-Intentions) often sit on top of a
fast, reactive execution engine. The deliberative layer sets high-level intentions, and
the reactive layer handles low-level, time-critical tasks.
Methodology: Layered Control. A vertical partitioning (e.g., reactive layer and
planning layer) or a horizontal partitioning (e.g., control flows between planning and
execution).
1. Proactivity
Characteristic: The agent is goal-directed and initiates actions to achieve those goals,
rather than merely reacting to external stimuli.10 It drives the interaction.
Technique: Goal Management and Sub-goaling. The agent decomposes a high-
level goal (e.g., "Build Factory") into a hierarchy of achievable sub-goals (e.g., "Clear
Land," "Lay Foundation").11
3. Practical Reasoning
Characteristic: The agent reasons about what to do and how to do it.15 This involves
making choices based on beliefs about the world and committed goals.
Technique: Deliberation and Commitment. Agents use utility functions or priority
systems to choose among competing desires and then commit to executing the chosen
plan (Intention), resisting immediate distraction.16
Autonomous agents are indispensable in MAS for environments where centralized control is
infeasible or too fragile.17
Adaptive/Learning agents:
Adaptive/Learning Agents are intelligent entities that have the capability to improve their
performance over time by learning from their interactions, experience, and feedback (rewards
or penalties) received from the environment.2 In a Multi-Agent System, the challenge is
amplified because the environment includes the actions and changing policies of other
agents, making the learning environment non-stationary (constantly changing).
Description: The agent learns a value function 4$Q(s, a)$ that estimates the expected
return (cumulative future reward) of taking action 5$a$ in state 6$s$.7 The agent's
policy is then derived by always choosing the action with the maximum estimated Q-
value.8
Methodology: Q-Learning or SARSA. These methods are "model-free" because the
agent does not try to learn the environment's transition function 9$P(s'|s, a)$
explicitly.10
Techniques:
o Tabular Q-Learning: Used for small, discrete state spaces where the Q-
values can be stored in a lookup table.11
o Deep Q-Networks (DQN): Uses deep neural networks to approximate the Q-
function, enabling learning in environments with massive or continuous state
and action spaces (e.g., raw video input).12
2. Policy-Based Architecture
Description: The agent directly learns the policy 13$\pi(s)$, which is the mapping
from a state 14$s$ to a probability distribution over actions 15$a$.16 This approach is
often better suited for continuous action spaces.
Methodology: Policy Gradient Methods (e.g., REINFORCE, Actor-Critic).17 The
agent estimates the gradient of the performance metric with respect to the policy
parameters and updates the policy in the direction of improvement.
In a MAS, adaptive agents face unique challenges that distinguish them from single-agent
learning problems.
1. Non-Stationarity
Characteristic: The environment dynamics are not constant because other agents are
simultaneously learning and changing their policies.18 What was an optimal action
yesterday might be suboptimal today.
Methodology: Fictitious Play or Independent Learners. Simple approaches treat
other agents as a fluctuating part of the environment. More advanced methods involve
modeling or predicting the behavior of other agents.19
Characteristic: When a reward or penalty is received by the system, it's difficult for
an individual agent to determine which specific agent's actions (including its own)
were responsible for that outcome, especially in cooperative tasks.20
Technique: Reward Shaping or Difference Rewards.21 These methods assign
individual reward signals based on the agent's marginal contribution to the global
outcome, helping them learn faster and more efficiently.
Characteristic: All learning agents must balance exploiting known profitable actions
with exploring new actions to discover better returns.22 This is often managed using
$\epsilon$-greedy policies (choosing a random action with probability $\epsilon$).
Adaptive/Learning Agents are essential for optimizing complex, poorly defined systems.
Challenge: Financial markets are highly dynamic, non-linear, and competitive.23 The
optimal trading strategy depends on the actions of all other market participants (high
non-stationarity).
MAS Solution: Multi-Agent Reinforcement Learning (MARL) Trading Bots.
o Agents: Each trading bot is an Adaptive Agent using DQN to learn market
dynamics.
o Technique: The agents are trained in a simulated MAS environment. The
reward is net profit, and the state includes current stock prices, volume, and
volatility. By competing against other simulated learning agents, they learn
aggressive yet risk-managed strategies, such as when to aggressively buy or
passively wait for a better price, dynamically adapting their risk exposure.
Social agent:
A Social Agent is defined by its ability to engage in complex interactions with other agents
(both artificial and human). These interactions are governed by protocols and mechanisms
designed to manage interdependence, cooperation, and [Link] agents move MAS
beyond simple, parallel computation into realms requiring coordination, negotiation, and
consensus.
Social agents build upon core autonomous architectures by integrating dedicated modules for
interaction.
1. Interaction-Centric Architecture
Description: Features dedicated layers for managing external relationships. This
includes modules for communication, negotiation, and trust management.
Methodology: The decision-making cycle includes a Social Deliberation Phase
where the agent considers the potential impact of its actions on other agents before
execution.
Techniques: Often integrates BDI (Beliefs, Desires, Intentions) logic with social
reasoning, where beliefs include models of other agents' BDI states (known as
Theory of Mind in cognitive science).
2. Normative/Ethical Architecture
Description: The agent's control system incorporates a set of norms (social rules,
laws, or protocols) that constrain its behavior. It must decide not only what is rational
but also what is permissible or obligatory.
Methodology: Deontic Logic (logic of obligation and permission) is used to
formalize these norms.2 Agents actively monitor and sanction peers for norm
violations, promoting system stability.3
Techniques: Normative Control Loops—an agent perceives the environment,
checks if any norm has been violated, and if so, initiates a response (e.g., sanctioning
the violator).
The defining features of social agents revolve around their capacity for organized, goal-
directed interaction.
Characteristic: The inherent ability to engage in joint activity, often requiring the
formation of shared intentions or mutual beliefs.
Methodology: Joint Intentions Theory. Agents must agree on a shared goal, commit
to supporting each other's actions, and establish a mutual belief that they will all
persist until the goal is achieved or mutually abandoned.
Technique: Coalition Formation Algorithms. These are used to dynamically
determine the most effective group of agents to tackle a complex task, often assessing
the potential utility gain (called superadditive utility) from working together.
Characteristic: Agents need to assess the reliability and honesty of their interaction
partners, especially in open MAS where new agents can join at any time.
Methodology: Agents maintain and update reputation models based on past
interactions, factoring in transaction success rate, honesty, and consistency.
Technique: Reputation Systems (e.g., EigenTrust, fuzzy logic systems). These
systems calculate a trust score $T_i$ for agent $i$ based on direct experience and
recommendations from other agents.
Social agents are essential in scenarios requiring collective decision-making and resource
sharing among self-interested entities.
Mobile agents:
A Mobile Agent is a piece of software code that can suspend its execution on one host
computer, transfer itself across a network, and resume execution on a different host. Unlike
simple remote procedure calls (RPCs) or message passing, the mobile agent carries its
execution state (the stack, program counter, and variable values) along with its code and data
as it moves.
The architecture of a Mobile Agent System is defined by two key components: the mobile
entity itself and the environment that supports its movement.
The mobility characteristic leads to unique operational advantages and technical challenges.
Characteristic: A mobile agent can be dispatched and continue its work even if the
connection to its originating host is lost. It only needs to report back its results
asynchronously when its itinerary is complete.
Methodology: Store-and-Forward. The agent carries its mission plan (itinerary) and
required logic, ensuring mission completion even if connectivity is intermittent (e.g.,
satellite links).
Characteristic: Mobile agents are often required to move across host platforms
running different operating systems (OS) and hardware architectures.
Technique: Platform Independence. Systems like Java were crucial for early mobile
agent technology because the Java Virtual Machine (JVM) provides a consistent
execution layer (the "sandbox") across different physical machines.
4. Security (A Double-Edged Sword)
Characteristic: Mobility creates significant security risks for both the host and the
agent itself.
Techniques:
o Host Protection (Sandboxing): The platform must restrict the agent's access
to local file systems, memory, and resources using security policies to prevent
malicious code injection.
o Agent Protection (State Confidentiality): Cryptographic techniques and
secure environments are used to protect the agent's proprietary code, data, and
itinerary from being read or tampered with by a malicious host.
Challenge: A user wants to query prices and availability for a product across
hundreds of proprietary vendor websites, a task that is slow and inefficient if done via
client-server model (many remote queries).
MAS Solution: Comparison Shopping Mobile Agents.
o Agents: An agent is dispatched from the user's machine with the search
criteria (e.g., "Find Laptop Model X, max price $1000").
o Methodology: The agent travels to the server platforms of various online
retailers (if supported), executes the price lookup and availability check
locally on their database platform, and then returns to the user with the
aggregated list of results.
o Benefit: Reduces the load on the user's internet connection and allows for
more complex, database-intensive queries to be executed quickly at the source.
Problem 3: Industrial Control and Field Bus Management
Goal-oriented agents:
A Goal-Oriented Agent is an intelligent entity whose actions are driven by a set of explicit,
well-defined goals it intends to achieve.1 Unlike purely reactive agents, these agents maintain
an internal state representing their beliefs about the world and use sophisticated planning
mechanisms to chart a course of action.2 In a MAS, these agents coordinate their intentions to
achieve either a shared collective goal or distinct, individual goals efficiently.3
The most prominent and influential architecture for Goal-Oriented Agents is the Beliefs-
Desires-Intentions (BDI) model. This model provides a cognitive framework for practical
reasoning, mimicking human-like deliberation.4
1. Beliefs
Description: The informational state of the agent—its knowledge about the world,
the environment, and the current state of other agents. Beliefs are facts that the agent
accepts as true, often stored in a Knowledge Base.
Techniques: Formal logic (First-Order Logic, Temporal Logic) or database structures
are used for knowledge representation and retrieval. Beliefs are constantly updated
based on new percepts from the environment and communication from other agents.5
2. Desires
Description: The potential objectives or states of affairs the agent would like to bring
about. Desires represent the agent's motivational state.6
Techniques: Desires are often structured hierarchically or associated with a Utility
Function to rank their importance. The agent uses a filtering function to determine
which desires are achievable given its current beliefs.7
3. Intentions
Description: The subset of desires that the agent has actively committed to
achieving, along with a chosen Plan to execute. Intentions drive the agent's actions
and provide a state of commitment.8
Methodology: Practical Reasoning Loop (Sense-Deliberate-Act):
o Sense: Gather percepts and update Beliefs.
o Deliberate: Review Intentions; if beliefs have changed significantly (e.g., a
path is blocked), drop the current plan and select a new one to achieve the
Desire (reconsideration).
o Act: Execute the next step of the committed Plan.
Goal-Oriented Agents are distinguished by their rational and dedicated pursuit of objectives.9
1. Rationality
Characteristic: The agent selects actions that maximize its expected utility or
satisfaction of its goals, given its current knowledge.10
Technique: Decision Theory. Goals are weighted by utility, and the agent selects the
action sequence (plan) that yields the highest expected value.
Characteristic: The agent is committed to its intentions and will continue to pursue
them despite minor environmental fluctuations, preventing erratic behavior.11
Methodology: The deliberation process balances persistence (staying on track) with
flexibility (being ready to replan). The agent only engages in the costly process of
reconsideration if critical beliefs change (e.g., a key resource is depleted).
Characteristic: The ability to construct a sequence of actions that leads from the
current state to the goal state.12
Techniques:
o STRIPS/ADL: Formal planning languages defining the world state, actions,
pre-conditions, and post-conditions.13
o Hierarchical Task Network (HTN) Planning: Decomposes complex, high-
level tasks ("Set up camp") into simpler, primitive actions ("Erect tent," "Start
fire"), using a pre-defined library of plan templates.14
Goal-Oriented Agents are ideally suited for tasks requiring sophisticated sequential decision-
making in non-deterministic environments.
Problem 1: Autonomous Logistics and Delivery Scheduling
Communicative Agents:
A Communicative Agent is an intelligent entity equipped with the capacity to
send and receive messages using a standardized Agent Communication
Language (ACL). The key distinction from simple data exchange is that ACLs
are based on Speech Act Theory, meaning the messages convey not just data,
but a formal intent or purpose (the performative). This ensures that all agents,
regardless of their internal implementation, correctly understand what is being
asked or asserted.
Description: This module manages the Ontology—the shared, formal vocabulary and
conceptual framework used by all communicating agents. The ontology defines the
terms (nouns, verbs, concepts) used in the message content, eliminating ambiguity.
Techniques: OWL (Web Ontology Language) or similar knowledge representation
languages are used to model the ontology. Agents use a standardized Ontology
Mapping if they need to translate terms between different domain-specific
vocabularies.
Characteristic: Messages are viewed as actions that change the mental state of the
recipient. The message structure explicitly details the intent.
Methodology: A FIPA-ACL message is composed of slots, including:
o Performative: The action being performed (e.g., request).
o Sender/Receiver: Identity of the agents.
o Content: The actual data or proposition (e.g., "turn on light 5").
o Language: The language used for the content (e.g., KIF, SL).
o Ontology: The vocabulary used (e.g., "SmartHome-v2").
3. Semantic Interoperability
Characteristic: The ability for agents built by different organizations, using different
underlying programming languages, to correctly and unambiguously interpret the
meaning of the messages exchanged.
Methodology: Enforced through the mandatory use of a shared ontology that
provides a common understanding of concepts, preventing miscommunication in
complex, open MAS.
Challenge: Multiple robotic arms must coordinate their timing and movements to
assemble a product without colliding, ensuring that one robot's task preconditions
(e.g., a screw being fully tightened) are met before the next robot begins its task.
MAS Solution: Communicative Assembly Agents.
o Agents: Each robotic arm is a Communicative Agent.
o Technique: After Robot A completes its task, it sends an INFORM message
(e.g., "Inform: screw-tightened-at-position-X") to Robot B. Robot B's goal-
oriented architecture then updates its beliefs, and the precondition for its next
move (the presence of a tightened screw) is satisfied. This use of formal
communication ensures precise synchronization and safety.
Challenge: Security systems across multiple enterprises need to share new threat
intelligence (e.g., a zero-day exploit signature) quickly and reliably, but they use
different internal software formats.
MAS Solution: Threat Intelligence Exchange Agents.
o Agents: An agent representing the firewall/IDPS (Intrusion Detection and
Prevention System) of each participating company.
o Technique: When one agent detects a new threat, it sends an INFORM message
containing the signature in a structured format, adhering to a cybersecurity
ontology (e.g., the STIX standard). The recipient agents, upon parsing the
INFORM performative, update their internal threat databases based on the
semantically guaranteed information, allowing for coordinated, rapid defense
deployment across the federation.
Intelligent Agents:
An Intelligent Agent (IA) is any entity that perceives its environment and takes
actions that maximize its chance of successfully achieving its goals. In the
context of a MAS, the IA must operate rationally—choosing the action expected
to yield the highest outcome based on its knowledge, percepts, and performance
measure.
The Agent Function is the abstract mathematical mapping that defines the agent's behavior,
while the Agent Program is the concrete implementation of this function.
2. Hybrid Architectures (The Synthesis)
Description: The most robust architecture for IAs, combining a fast, low-level
Reactive Layer (for immediate response) with a slower, high-level Deliberative
Layer (for planning and reasoning).4
Examples:
o $\text{INTERRAP}$ (Integration of Reactive and Planning): Uses three
layered control panels (behavior-based, local planning, and cooperative
planning) that continuously interact and feed decisions to one another.5
o $\text{BDI}$-based Systems: The 6$\text{BDI}$ (Beliefs-Desires-Intentions)
model serves as the central, high-level deliberative core, relying on lower-
level reactive loops to execute the chosen plan primitives efficiently.7
Methodology: Layered Control and Arbitration. The architecture must include a
robust arbitrator or selector mechanism to decide whether to execute a fast, pre-
computed reaction or to engage in time-consuming deliberation based on the
perceived urgency and complexity of the situation.8
The defining features of an Intelligent Agent relate to its ability to make optimal, informed
choices.
Characteristic: The IA is not just programmed to act, but to act in a way that
maximizes its expected performance measure (utility) given the sequence of
percepts it has observed.9
Methodology: Decision Theory. This formalizes rationality by combining:
o Probability Theory: To model the uncertainty in the environment.
o Utility Theory: To model the agent's preferences among possible states.
Technique: Calculation of Expected Utility (EU). An agent chooses the action $a$
that yields the highest $\text{EU}$:
Characteristic: The ability to represent its knowledge about the world (Beliefs, rules,
physics) in a formal language and use logical inference to derive conclusions.10
Methodology: Formal Logic and Semantics.
Technique: Inference Engines. Using techniques like Resolution or
Forward/Backward Chaining over a knowledge base to answer queries, diagnose
faults, or deduce consequences of potential actions.
3. General Problem-Solving
Characteristic: IAs can apply search, planning, and knowledge retrieval across
varied domains, showcasing flexibility.11
Technique: Heuristic Search. Employing algorithms like $\text{A}^{*}$ or Monte
Carlo Tree Search ($\text{MCTS}$) combined with domain-specific heuristics to
efficiently navigate the vast state space toward a goal.
Intelligent Agents, synthesizing all previous capabilities, are deployed in the most complex,
unstructured, and high-stakes environments.