Argumentation in Multi-Agent Systems

Name: Argumentation in Multi-Agent Systems | 7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers

Peter McBurney Iyad Rahwan Simon D. Parsons(Herausgeber*in)

Springer (Verlag)

Erschienen am 21. Februar 2012

X, 327 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-21940-5 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Title
Preface
Organization
Table of Contents
Part I: Practical Reasoning and Argument about Action
Instrumental Rationality
Introduction
Selection of the Goal
Consideration of Possible Means
Conclusion
References
Agreeing What to Do
Introduction
Practical Arguments
Dialogue System
Properties
Proposed Extensions
Related Work
Concluding Remarks
References
A Formal Argumentation Framework for Deliberation Dialogues
Introduction
The Deliberation Dialogue
A Formal Deliberation Framework
Dialogical Status of a Move
Turntaking and Termination
Protocol Rules
Dialogue Outcome
An Example
Basic Fairness and Efficiency Requirements
Related Work
Conclusions
References
Empirical Argumentation: Integrating Induction and Argumentation in MAS
Introduction
Concept Induction
Inductive Agents with Empirical Beliefs
An Empirical Approach to MAS Argumentation
The A-MAIL Framework
Arguments and Counterarguments
Argument Generation through Induction
Empirical Belief Revision
Concept Convergence
Argumentation Protocol for Concept Convergence
Experimental Evaluation
Related Work
Conclusions
References
Arguing about Preferences and Decisions
Introduction
Background
Argumentation
Outcomes and Attributes
Justification of Preferences over Outcomes
Perspectives
Attributes Determine Perspectives
Influence between Perspectives
Acceptability of Arguments
Justification of Goals
Buying a House
Decomposing Perspectives
Arguments about Preference
Goals
Discussion
Conclusion
References
Part II: Applications
On the Benefits of Argumentation-Derived Evidence in Learning Policies
Introduction
Argumentation-Based Dialogue
The Negotiation Protocol
Policies
Argumentation-Derived Evidence
Learning Policies
Decision Tree Learning (C4.5)
Instance-Based Learning (k-NN)
Rule-Based Learning (Sequential Covering)
Simulation Environment
Architecture
Implementation
Experiments and Results
Results
Discussion and Related Work
Conclusions
References
Argumentative Alternating Offers
Introduction
Negotiation Framework
Arguments
Extensions of Arguments
Negotiating Agents Theories
Offer Status and Preferences between Offers
Argumentation-Based Alternating Offers Protocol
Moves
Round
Negotiation Strategy
Example
Related Work and Conclusion
References
On a Computational Argumentation Framework for Agent Societies
Introduction
A Computational Model for Argument Representation in Agent Societies
Society Model
Computational Requirements for Arguments in Agent Societies
Case-Based Model for Argument Representation
Example
Case-Based Argumentation Framework for Agent Societies
The Notion of Argument: Case-Based Arguments
The Logical Language
The Concept of Conflict between Arguments
The Notion of Defeat between Arguments
The Acceptability State of Arguments
Discussion
References
Towards a Dialectical Approach for Conversational Agents in Selling Situations
Introduction
Dialogue Systems
Dialectical Approach
Dialogue: Phases and Purposes
CSO Language Processor
Dialectical System
Arguing over Utterances
Related Works
Conclusions
References
Reasoning about Trust Using Argumentation: A Position Paper
Introduction
Trust
Reasoning about Trust
Argumentation and Trust
Argumentation in General
A Suitable Argumentation System
Extensions
Conclusion
References
Part III: Theoretical Aspects
An Argument-Based Multi-agent System for Information Integration
Introduction
Integrating DBMS and Reasoning Systems
System Architecture
The DB_DeLP Argumentation Framework
Optimization of DB_DeLP's Dialectical Process
A Worked Example
Conclusions and Future Work
References
Argumentation in the View of Modal Logic
Introduction
Arguments in Modal Disguise
Argumentation Frameworks
Argumentation Models
Argumentation and Logic K
Modal Fixpoints
Characteristic Functions in Modal Logic
Argumentation and the -Calculus
Dialogue Games and Logic Games
Model-Checking Game for K
Games for Model-Checking Extensions
Equivalent Arguments
Bisimilar Arguments
Total Bisimulation Games
A Research Agenda between Logic and Argumentation
Other Extension-Based Semantics in Modal Logic
A Unified Game-Theoretic Proof-Theory for Argumentation
Equivalence in Argumentation
Argumentation Dynamics
Conclusions
References
Towards Pragmatic Argumentative Agents within a Fuzzy Description Logic Framework
Introduction
Preliminaries
Fuzzy Sets and Relations
Fuzzy Description Logic
Fuzzy Argumentation Systems
Fuzzy Resolution Argumentation Base
Aggregation of Arguments
Resolution Schemes
Semantic Inconsistency
Argumentative Agents in FRA
A Case for Food Supply Chains
Technology Drivers for HACCP
An HACCP Scenario
Discussion and Related Work
Conclusions
References
Dynamic Argumentation in Abstract Dialogue Frameworks
Introduction and Motivation
Background
Informal Requirements for Collaborative Dialogue Models
The Dialogue Framework
Utopian Collaborative Semantics
Practical Collaborative Semantics
Related Work
Conclusions
References
Argumentation System Allowing Suspend/Resume of an Argumentation Line
Introduction
Argumentation
Argumentation Framework
Argumentation Tree
Argumentation with Changes in the Knowledge Base
Execution of Argumentation
Judgement of Dynamic Win/Lose
An Example
Formalisation
The Case of Changing from Static Win to Dynamic Lose
Behaviour of Suspend/Resume
The Case of Changing from Static Lose to Dynamic Win
Judgement of Dynamic Win/Lose
Discussion
Improvements on the Earlier Version
Related Works
Conclusion
References
Computing Argumentation in Polynomial Number of BDD Operations: A Preliminary Report
Introduction
Background
Quantified Boolean Formulae
Binary Decision Diagrams
Set-Theoretic Argumentation
Representing Arguments in QBFs and BDDs
Labeling
Consistent Subsets
QBF/BDD Representation of Arguments
Arguments for Conclusions
Minimization of Consistent Sets with Respect to Conclusions
A QBF Representation of Defeat
Computing Fixed Points of Argumentation
Discussion
Conclusions and Future Work
References
On Strategic Argument Selection in Structured Argumentation Systems
Introduction
Preliminaries
Abstract Argumentation
Structured Argumentation
The Multi-agent Setting
Argumentation Games
Game Protocol
Awareness
Agent Types
Strategies for Selecting Arguments
Summary and Future Work
References
Preference-Based Argumentation Capturing Prioritized Logic Programming
Introduction
Preliminaries
Extended Logic Programs and Answer Set Semantics
Prioritized Logic Programs and Preferred Answer Sets
Abstract/Non-abstract Argumentation Frameworks and Acceptability Semantics
Answer Set Programming as Argumentation
A New Approach of an Abstract Preference-Based Argumentation Framework
Preference-Based and Constrained Argumentation Capturing Prioritized LP
Constrained AFs Built on ELPs with Integrity Constraints
Preference-Based AFs Translated from PLPs
Related Work
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken