Graph theoretical structures in logic programs and default theories
Theoretical Computer Science
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Dialectic semantics for argumentation frameworks
ICAIL '99 Proceedings of the 7th international conference on Artificial intelligence and law
A Reasoning Model Based on the Production of Acceptable Arguments
Annals of Mathematics and Artificial Intelligence
Coherence in finite argument systems
Artificial Intelligence
Two party immediate response disputes: properties and efficiency
Artificial Intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Arguing about cases as practical reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Persuasion and Value in Legal Argument
Journal of Logic and Computation
Towards higher impact argumentation
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Explaining preferences with argument positions
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Addressing moral problems through practical reasoning
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Argumentation and standards of proof
Proceedings of the 11th international conference on Artificial intelligence and law
Argumentation in artificial intelligence
Artificial Intelligence
On the merging of Dung's argumentation systems
Artificial Intelligence
Computational properties of argument systems satisfying graph-theoretic constraints
Artificial Intelligence
Preference-based argumentation: Arguments supporting multiple values
International Journal of Approximate Reasoning
Towards an Extensible Argumentation System
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Inconsistency tolerance in weighted argument systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Asking the Right Question: Forcing Commitment in Examination Dialogues
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Integrating Object and Meta-Level Value Based Argumentation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
A Methodology for Action-Selection using Value-Based Argumentation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Case law in extended argumentation frameworks
Proceedings of the 12th International Conference on Artificial Intelligence and Law
Did he jump or was he pushed?: abductive practical reasoning
Artificial Intelligence and Law
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Dialectical Proofs for Constrained Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Probabilistic Semantics for the Carneades Argument Model Using Bayesian Networks
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Algorithms and Complexity Results for Persuasive Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Computation in Extended Argumentation Frameworks
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
AFRA: Argumentation framework with recursive attacks
International Journal of Approximate Reasoning
Weighted argument systems: Basic definitions, algorithms, and complexity results
Artificial Intelligence
On the resolution-based family of abstract argumentation semantics and its grounded instance
Artificial Intelligence
Algorithms and complexity results for persuasive argumentation
Artificial Intelligence
Choosing persuasive arguments for action
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Audience-based uncertainty in abstract argument games
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Algorithms for decision problems in argument systems under preferred semantics
Artificial Intelligence
Hi-index | 0.00 |
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reasoning about what to do in a given situation-termed practical reasoning in the philosophical literature-has important differences from reasoning about what is the case. The acceptability of an argument for an action turns not only on what is true in the situation, but also on the values and aspirations of the agent to whom the argument is directed. There are three distinctive features of practical reasoning: first, that practical reasoning is situated in a context, directed towards a particular agent at a particular time; second, that since agents differ in their aspirations there is no right answer for all agents, and rational disagreement is always possible; third, that since no agent can specify the relative priority of its aspirations outside of a particular context, such prioritisation must be a product of practical reasoning and cannot be used as an input to it. In this paper we present a framework for practical reasoning which accommodates these three distinctive features. We use the notion of argumentation frameworks to capture the first feature. An extended form of argumentation framework in which values and aspirations can be represented is used to allow divergent opinions for different audiences, and complexity results relating to the extended framework are presented. We address the third feature using a formal description of a dialogue from which preferences over values emerge. Soundness and completeness results for these dialogues are given.