Abstract argumentation systems
Artificial Intelligence
The logical foundations of goal-regression planning in autonomous agents
Artificial Intelligence
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
Semantics of declarative goals in agent programming
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A study of accrual of arguments, with applications to evidential reasoning
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
Formalising arguments about the burden of persuasion
Proceedings of the 11th international conference on Artificial intelligence and law
Agents Deliberating over Action Proposals Using the ProCLAIM Model
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Assumption-Based Argumentation for Epistemic and Practical Reasoning
Computable Models of the Law
Computing Argumentation for Decision Making in Legal Disputes
Computable Models of the Law
Arguing over Actions That Involve Multiple Criteria: A Critical Review
ECSQARU '07 Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Assumption-Based Argumentation for Selection and Composition of Services
Computational Logic in Multi-Agent Systems
Argument Schemes and Critical Questions for Decision Aiding Process
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
Coherence-driven argumentation to norm consensus
Proceedings of the 12th International Conference on Artificial Intelligence and Law
The hedgehog and the fox: an argumentation-based decision support system
ArgMAS'07 Proceedings of the 4th international conference on Argumentation in multi-agent systems
A lightweight formal model of two-phase democratic deliberation
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Toward justifying actions with logically and socially acceptable reasons
MICAI'11 Proceedings of the 10th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Towards a dialectical approach for conversational agents in selling situations
ArgMAS'10 Proceedings of the 7th international conference on Argumentation in Multi-Agent Systems
Aggregating evidence about the positive and negative effects of treatments
Artificial Intelligence in Medicine
Hi-index | 0.01 |
This paper offers a logical formalisation of an argument-based account of reasoning about action, taking seriously the abductive nature of this form of reasoning. The particular question addressed is what is the best way to achieve a specified goal? Given a set of final goals and a set of rules on the effects of actions, the formation of subgoals for a goal is formalised as the application of an inference rule corresponding to the practical syllogism well-known from practical philosophy. Positive and negative applications of the practical syllogism are then accrued as a way to capture the positive and negative side effects of an action. Positive accruals can be attacked by negative accruals and by arguments for alternative ways to achieve the same goal. Defeat relations between accrued action arguments are determined in terms of the values promoted and demoted by the actions considered in the arguments. Applying preferred semantics to the result then yields the admissible ways to achieve the desired goal.