![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter
Formal Frameworks for Verifying Normative Multi-agent Systems
In this paper we concern ourselves with normative multi-agent systems, which are multi-agent systems governed by a set of norms. In these systems, the internals and architecture of the participating agents may...
-
Chapter and Conference Paper
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation
Previous research has shown that argumentation semantics can be described with Monadic Second Order Logic. While certain less expressive, modal, logics can also capture some of the semantics, the general issue...
-
Chapter and Conference Paper
A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios
Increasingly research into the uses of argumentation in multi-agent dialogues takes an experimental approach. Such studies explore how agents can successfully employ argumentation besides the best and worst ca...
-
Chapter
GOAL Agents Instantiate Intention Logic
Various theories of cognitive or rational agents that use formal logic to define such agents have been proposed in the literature. Similarly, a range of more computationally oriented frameworks have been propo...
-
Chapter and Conference Paper
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games
Virtual characters in games operate in a social context involving other characters and possibly human players as well. If such socially situated virtual characters are to be considered believable to players, t...
-
Chapter and Conference Paper
Debugging BDI-Based Multi-Agent Programs
The development of multi-agent programs requires debugging tools and techniques to find and resolve possible defects in such programs. This paper focuses on BDI-based multi-agent programs, discusses some exist...
-
Chapter and Conference Paper
Mental State Abduction of BDI-Based Agents
In this paper we present mental state abduction, a technique for inferring the mental states (beliefs, goals) of BDI-based agents from observations of their actions. Abduced mental states are considered to be ...
-
Chapter and Conference Paper
Strategic Agent Communication: An Argumentation-Driven Approach
This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based and enables agents to generate a set of...
-
Chapter and Conference Paper
Orwell’s Nightmare for Agents? Programming Multi-agent Organisations
This paper presents a programming language that is designed to implement multi-agent organisations. These organisations are developed as separate entities regulating the behaviour of individual agents that int...
-
Chapter and Conference Paper
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms
Agents in an organization need to coordinate their actions in order to reach the organizational goals. Organizational models specify the desired behaviour in terms of roles, relations, norms and interactions. ...
-
Chapter and Conference Paper
A Dynamic Coordination Mechanism Using Adjustable Autonomy
Agents in an organization need to coordinate their actions in order to reach the organizational goals. This research describes the relation between types of coordination and the autonomy of actors. In an exper...
-
Chapter and Conference Paper
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions
We show how protocols (or interaction patterns) can be derived from norms using landmarks. The resulting protocols can be used by agents to perform their interactions while being certain to stay within the nor...
-
Chapter and Conference Paper
A Practical Agent Programming Language
This paper discusses the need for an effective and practical BDI-based agent-oriented programming language with formal semantics. It proposes an alternative by presenting the syntax and semantics of a programm...
-
Chapter and Conference Paper
Our Quest for the Holy Grail of Agent Verification
Since the inception of agent technology almost two decades ago, researchers have worked both on the formal, theoretical aspects of intelligent agents and on the realisation / implementation of them. However, t...
-
Chapter and Conference Paper
Influence-Based Autonomy Levels in Agent Decision-Making
Autonomy is a crucial and powerful feature of agents and it is the subject of much research in the agent field. Controlling the autonomy of agents is a way to coordinate the behavior of groups of agents. Our a...
-
Chapter and Conference Paper
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication
In this paper, we propose a new tableau-based model checking technique for verifying dialogue game protocols for agent communication. These protocols are defined using our social commitment-based framework for...
-
Chapter and Conference Paper
Verifying Norm Compliancy of Protocols
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can and cannot be done, it can be ...
-
Chapter and Conference Paper
A Compositional Semantics of Plan Revision in Intelligent Agents
This paper revolves around the so-called plan revision rules of the agent programming language 3APL. These rules can be viewed as a generalization of procedures. This generalization however results in the sema...
-
Chapter and Conference Paper
Programming Cognitive Agents
Although there is a lot of theory around about cognitive agents since the seminal work by researchers such as Bratman, Cohen & Levesque and Rao & Georgeff practice of programming ’truly’ cognitive agents is st...
-
Chapter and Conference Paper
Dynamics of Declarative Goals in Agent Programming
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent. These goal dynamics are ana...