Knowledge Representation for Agents and Multi-Agent Systems
First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Page
%P
96 Result(s)
within
John-Jules Ch. Meyer
-
Article
Open AccessConflicting intentions: rectifying the consistency requirements
Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. Accord...
-
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
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
Programming Agents with Emotions
In this paper we show how a cognitive agent programming language can be endowed with ways to program emotions. In particular we show how the programming language 2APL can be augmented so that it can work toget...
-
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...
-
Article
Open AccessA formal model of emotion triggers: an approach for BDI agents
This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. T...
-
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
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...
-
Article
Open AccessCo** with shame and sense of guilt: a Dynamic Logic Account
Aim of this work is to provide a formal characterization of those emotions that deal with normative reasoning, such as shame and sense of guilt, to understand their relation with rational action and to ground ...
-
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...
-
Article
Open AccessGoals in conflict: semantic foundations of goals in agent programming
This paper addresses the notion of (declarative) goals as used in agent programming. Goals describe desirable states, and semantics of these goals in an agent programming context can be defined in various ways...
-
Book and Conference Proceedings
-
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...
