Objects, Agents, and Features
International Seminar, Dagstuhl Castle, Germany, February 16-21, 2003, Revised and Invited Papers
Page
%P
35 Result(s)
-
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
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
Dynamic Deontic Logic, Segerberg-Style
In this chapter we’ll review Krister Segerberg’s approach to a dynamic deontic logic. In particular we will look at the logic that was the result of Segerberg’s attempts to come up with a logic in line with id...
-
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
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
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
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
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...
-
Chapter and Conference Paper
Enacting and Deacting Roles in Agent Programming
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operations performed by agents: ‘enactment’, ‘deactment’, ‘activate’, and ‘deactiva...
-
Chapter and Conference Paper
A Dialogue Game to Offer an Agreement to Disagree
This paper proposes a dialogue game in which coherent conversational sequences at the speech act level are described of agents that become aware they have an irresolvable disagreement and settle the dispute by...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Objects, Agents, and Features: An Introduction
There are many ways of structuring software, and the seminar focussed on an established one (object-orientation) and two emerging ones (agent-orientation and feature-orientation).
