Alternating-time temporal logic
Journal of the ACM (JACM)
An argumentation based approach for practical reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
An argumentation based approach for practical reasoning
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Persuasion and Value in Legal Argument
Journal of Logic and Computation
PARMENIDES: facilitating deliberation in democracies
Artificial Intelligence and Law - AI & law in eGovernment and eDemocracy part I
Automating Argumentation for Deliberation in Cases of Conflict of Interest
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
Addressing moral problems through practical reasoning
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Abstract Argumentation Scheme Frameworks
AIMSA '08 Proceedings of the 13th international conference on Artificial Intelligence: Methodology, Systems, and Applications
Argumentation in Multi-Agent Systems
Co-ordination and Co-operation in Agent Systems: Social Laws and Argumentation
Argumentation in Multi-Agent Systems
A Methodology for Action-Selection using Value-Based Argumentation
Proceedings of the 2008 conference on Computational Models of Argument: Proceedings of COMMA 2008
UMAP'11 Proceedings of the 19th international conference on Advances in User Modeling
Hi-index | 0.01 |
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously specified account of practical reasoning that treats reasoning about what action should be chosen as presumptive argumentation using argument schemes and associated critical questions. This paper describes how this account can be extended to situations where the effect of an action is partially dependent upon the choices of another agent. In this context we see practical reasoning as proceeding in three stages. The first involves determining the representation of the particular problem scenario as an AATS. Next the agent must resolve its uncertainties as to its position in the scenario. Finally, the agent moves to choosing a particular action to achieve its ends, proposing presumptive reasons for particular actions and subjecting them to a critique to establish their suitability, taking into account the choices that can be made by the other agents involved. This account thus provides a well-specified basis for addressing the problems of practical reasoning as presumptive argumentation in a multi-agent context.