-
Chapter and Conference Paper
Integrating Ontology Negotiation and Agent Communication
Ontologies are considered a necessary ingredient for communication among heterogeneous agents in the Web. With the multiplication of ontologies for the same domains, semantic interoperability has become a chal...
-
Chapter and Conference Paper
Explaining Bayesian Networks Using Argumentation
Qualitative and quantitative systems to deal with uncertainty coexist. Bayesian networks are a well known tool in probabilistic reasoning. For non-statistical experts, however, Bayesian networks may be hard to...
-
Chapter and Conference Paper
Reasoning about Dynamic Normative Systems
The use of normative systems is widely accepted as an effective approach to control and regulate the behaviour of agents in multi-agent systems. When norms are added to a normative system, the behaviour of suc...
-
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 and Conference Paper
Scenario-Based Training: Director’s Cut
Research regarding autonomous learning shows that freeplay does not result in optimal learning. Combining scenario-based training with intelligent agent technology offers the possibility to create autonomous t...
-
Chapter and Conference Paper
A Formal Argumentation Framework for Deliberation Dialogues
Agents engage in deliberation dialogues to collectively decide on a course of action. To solve conflicts of opinion that arise, they can question claims and supply arguments. Existing models fail to capture th...
-
Chapter and Conference Paper
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems
The purpose of this contribution is to set up a language to evaluate the results of concerted action among interdependent agents against predetermined properties that we can recognise as desirable from a deont...
-
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
BDI-Based Development of Virtual Characters with a Theory of Mind
Users expect characters in role-playing games to be proactive and social, but these characters fail to deliver in this respect due to limitations of traditional game AI programming approaches. BDI-based approa...
-
Chapter and Conference Paper
A Study into Preferred Explanations of Virtual Agent Behavior
Virtual training systems provide an effective means to train people for complex, dynamic tasks such as crisis management or firefighting. Intelligent agents are often used to play the characters with whom a tr...
-
Chapter and Conference Paper
Personality-Based Practical Reasoning
In virtual training scenarios, agent technology can be used to build a virtual tutor that assists a student during training. In a dialogue using argumentation schemes, the virtual tutor provides reasons to the...
-
Chapter and Conference Paper
Normative Multi-agent Programs and Their Logics
Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed ...
-
Chapter and Conference Paper
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents
Although several formal models of emotions for intelligent agents have recently been proposed, such models often do not formally specify how emotions influence the behavior of an agent. In psychological litera...
-
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 Logic for Closed-World Interaction
The aim of the work is to provide a language to reason about closed-world interaction, that is all those situations in which the outcomes of an interaction can be determined by the agents themselves and in whi...