This volume of Computational Models of Argument focuses on the aim to develop software tools to assist users in constructing and evaluating arguments and counterarguments and/or to develop automated systems for constructing and evaluating arguments and counterarguments. Some articles provide a valuable snapshot of the leading research questions in the area of computational models of argument, others draw on the wealth of research on the philosophical questions surrounding the notions arising in argumentation, or address knowledge representation and reasoning issues emerging from modeling argumentation. They also consider appropriate models of wider rhetorical issues arising in argumentation and propose and evaluate algorithmic solutions associated with generating and judging constellations of arguments. Included are articles proposing standards for exchanging information associated with argumentation so that different systems can work together. In addition, some articles report practical working tools for computational argumentation.
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences
Author(s): Philippe Besnard, Philippe Besnard, Sylvie Doutre, Anthony Hunter
Series: Frontiers in Artificial Intelligence and Applications 172
Publisher: IOS Press
Year: 2008
Language: English
Pages: 441
Title page......Page 2
Preface......Page 6
Programme Committee......Page 7
Contents......Page 8
A Level-Based Approach to Computing Warranted Arguments in Possibilistic Defeasible Logic Programming......Page 12
Measures for Persuasion Dialogs: A Preliminary Investigation......Page 24
Resolution-Based Argumentation Semantics......Page 36
A Systematic Classification of Argumentation Frameworks Where Semantics Agree......Page 48
Asking the Right Question: Forcing Commitment in Examination Dialogues......Page 60
Ontological Foundations for Scholarly Debate Mapping Technology......Page 72
Investigating Stories in a Formal Dialogue Game......Page 84
Modeling Persuasiveness: Change of Uncertainty Through Agents' Interactions......Page 96
Cohere: Towards Web 2.0 Argumentation......Page 108
On the Issue of Contraposition of Defeasible Rules......Page 120
Political Engagement Through Tools for Argumentation......Page 127
A Computational Model of Argumentation in Everyday Conversation: A Problem-Centred Approach......Page 139
Towards Argumentation-Based Contract Negotiation......Page 145
The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks......Page 158
Focused Search for Arguments from Propositional Knowledge......Page 170
Decision Rules and Arguments in Defeasible Decision Making......Page 182
Hybrid Argumentation and Its Properties......Page 194
Requirements for Reflective Argument Visualization Tools: A Case for Using Validity as a Normative Standard......Page 207
Argumentation Using Temporal Knowledge......Page 215
Strong and Weak Forms of Abstract Argument Defense......Page 227
Basic Influence Diagrams and the Liberal Stable Semantics......Page 239
Integrating Object and Meta-Level Value Based Argumentation......Page 251
Applying Preferences to Dialogue Graphs......Page 263
A Methodology for Action-Selection Using Value-Based Argumentation......Page 275
Semantics for Evidence-Based Argumentation......Page 287
Argument Schemes and Critical Questions for Decision Aiding Process......Page 296
Arguments in OWL: A Progress Report......Page 308
AIF+: Dialogue in the Argument Interchange Format......Page 322
Heuristics in Argumentation: A Game-Theoretical Investigation......Page 335
Argument Theory Change: Revision Upon Warrant......Page 347
Diagramming the Argument Interchange Format......Page 359
Dungine: A Java Dung Reasoner......Page 371
Agent Dialogue as Partial Uncertain Argumentation and Its Fixpoint Semantics......Page 380
A Distributed Argumentation Framework Using Defeasible Logic Programming......Page 392
On the Relationship of Defeasible Argumentation and Answer Set Programming......Page 404
Arguments from Experience: The PADUA Protocol......Page 416
Modelling Judicial Context in Argumentation Frameworks......Page 428
Author Index......Page 440
