Argumentation in Multi-Agent Systems
6th International Workshop, ArgMAS 2009, Budapest, Hungary, May 12, 2009. Revised Selected and Invited Papers
Page
%P
19 Result(s)
-
Chapter and Conference Paper
\( \texttt {MC} ^ \texttt {2} \texttt {MABS} \) : A Monte Carlo Model Checker for Multiagent-Based Simulations
Agent-based simulation has shown great success for the study of complex adaptive systems and could in many areas show advantages over traditional analytical methods. Due to their internal complexity, however, ...
-
Chapter and Conference Paper
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
Due to their immense complexity, large-scale multiagent systems are often unamenable to exhaustive formal verification. Statistical approaches that focus on the verification of individual traces can provide an...
-
Chapter and Conference Paper
Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems
Dynamic and heterogeneous service-oriented systems present challenges when develo** composite applications that exhibit specified quality properties. Resource heterogeneity, mobility, and a large number of s...
-
Chapter and Conference Paper
What Are Models for?
In this paper I discuss some of the purposes and functions of building models, particularly agent-based models, and present a comprehensive list of these purposes and functions. Careful thought and attention i...
-
Chapter and Conference Paper
Some Thoughts on Using Argumentation to Handle Trust
This paper describes some of our recent work on using argumentation to handle information about trust. We first discuss the importance of trust in computer science in general and in multi-agent systems in part...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Auctions, Evolution, and Multi-agent Learning
For a number of years we have been working towards the goal of automatically creating auction mechanisms, using a range of techniques from evolutionary and multi-agent learning. This paper gives an overview of...
-
Chapter and Conference Paper
Agents Deliberating over Action Proposals Using the ProCLAIM Model
In this paper we propose a dialogue game for agents to deliberate over a proposed action. The agents’ dialogue moves are defined by a structured set of argument schemes and critical questions (CQs). Thus, a di...
-
Chapter and Conference Paper
Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in order to decide which path an interaction...
-
Chapter and Conference Paper
Agent-Based Computing and Programming of Agent Systems
The concepts of autonomous agent and multi-agent system provide appropriate levels of abstraction for the design, implementation and simulation of many complex, distributed computational systems, particularly ...
-
Chapter and Conference Paper
Multi-agent System Specification Using TCOZ
TCOZ is a specification language that combines the strengths of Object-Z and Timed CSP with the goal of specifying distributed systems containing objects that act independently and concurrently. Such goals are...
-
Chapter and Conference Paper
Locutions for Argumentation in Agent Interaction Protocols
Recent work in the design of agent interaction protocols has focused on applications involving dialectical argumentation — the giving and receiving of reasons for statements. Yet the most widely-known language...
-
Chapter and Conference Paper
Concepts of Optimal Utterance in Dialogue: Selection and Complexity
Dialogue protocols have been the subject of considerable attention with respect to their potential applications in multiagent system environments. Formalisations of such protocols define classes of dialogue locut...
-
Chapter and Conference Paper
Engineering Democracy in Open Agent Systems
How should open agent societies be organized? Should they be democracies, and, if so, what types of democracy? We present three normative models of democracy from political philosophy and consider their releva...
-
Chapter and Conference Paper
The Posit Spaces Protocol for Multi-agent Negotiation
We present the syntax and an axiomatic semantics for a protocol for multi-agent negotiation, the Posit Spaces Protocol or PSP. This protocol enables participants in a multi-agent commercial interaction to propose...
-
Chapter and Conference Paper
The Mechanics of Some Formal Inter-agent Dialogues
This paper studies argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments and examines in detail what locutions are passed between agents. This m...
-
Chapter
Dialogue Game Protocols
Formal dialogue games have been studied in philosophy since at least the time of Aristotle. Recently they have been used as the basis for agent interaction protocols. We review these applications and examine s...
-
Chapter
When Are Two Protocols the Same?
A number of protocols based on the formal dialogue games of philosophy have recently been proposed for interactions between autonomous agents. Several of these proposals purport to assist agents engaged in the...
-
Chapter
Argumentation-Based Communication between Agents
One approach to agent communication is to insist that agents not only send messages, but support them with reasons why those messages are appropriate. This is argumentation-based communication. This chapter lo...
