Argumentation in Multi-Agent Systems
7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
Published on 21. February 2012
X, 327 pages
978-3-642-21940-5 (ISBN)
Description
This book constitutes the thoroughly reviewed post-proceedings of the 7th International Workshop on Argumentation in Multi-Agent Systems, ArgMas 2010, held in Toronto, Canada in May 2010 as a satellite workshop of AAMAS 2010.
The 14 revised full papers taken from ArgMAS 2010 were carefully reviewed and improved during two rounds of revision. Also included are 4 invited papers based on presentations on argumentation at the AAMAS 2010 main conference. All together the 18 papers included in the book give a representative overview on current research on argumentation in multi-agent systems. The papers are organized in topical sections on practical reasoning and argument about action, applications, and theoretical aspects.
More details
Other editions
Additional editions
Peter McBurney | Iyad Rahwan | Simon D. Parsons
Argumentation in Multi-Agent Systems
7th International Workshop, ArgMAS 2010, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers
Book
06/2011
1st Edition
Springer
€53.49
Shipment within 5-7 days
Persons
Content
- 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
