Combining sceptical epistemic reasoning with credulous practical reasoning

This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is sceptical while practical reasoning is credulous. The new semantics combines grounded and preferred semantics. A dialectical proof theory is defined which is sound and complete with respect to this semantics and which combines existing argument games for sceptical reasoning in grounded semantics and credulous reasoning with preferred semantics.

[1]  Henry Prakken,et al.  Coherence and Flexibility in Dialogue Games for Argumentation , 2005, J. Log. Comput..

[2]  John Fox,et al.  A LOGIC OF ARGUMENTATION FOR REASONING UNDER UNCERTAINTY , 1995, Comput. Intell..

[3]  Henry Prakken,et al.  Modelling Defeasibility in Law: Logic or Procedure? , 2001, Fundam. Informaticae.

[4]  Phan Minh Dung,et al.  On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games , 1995, Artif. Intell..

[5]  John L. Pollock,et al.  Rational Choice and Action Omnipotence , 2002 .

[6]  Phan Minh Dung,et al.  Dialectic proof procedures for assumption-based, admissible argumentation , 2006, Artif. Intell..

[7]  Henry Prakken,et al.  Argument-Based Extended Logic Programming with Defeasible Priorities , 1997, J. Appl. Non Class. Logics.

[8]  L. Liverpool.  Two Party Immediate Response Disputes: Properties and Efficiency , 2001 .

[9]  J. Pollock.  Cognitive Carpentry: A Blueprint for How to Build a Person , 1995 .

[10]  Richmond H. Thomason,et al.  Desires and Defaults: A Framework for Planning with Inferred Goals , 2000, KR.

[11]  Katie Atkinson,et al.  What should we do? : computational representation of persuasive argument in practical reasoning , 2005 .

[12]  Hector-Neri Castañeda,et al.  Review: Carlos E. Alchourron, Logic of Norms and Logic of Normative Propositions , 1972 .

[13]  D. Walton.  Argumentation Schemes for Presumptive Reasoning , 1995 .

[14]  Leila Amgoud.  A Unified Setting for Inference and Decision: An Argumentation-based Approach , 2005, UAI.

[15]  Martin Caminada,et al.  On the Issue of Reinstatement in Argumentation , 2006, JELIA.

[16]  J. Fox,et al.  On using arguments for reasoning about actions and values , 2007 .

[17]  Henry Prakken,et al.  Credulous and Sceptical Argument Games for Preferred Semantics , 2000, JELIA.

[18]  J. Pollock.  Planning Agents , 1998 .

[19]  Gerard Vreeswijk,et al.  Abstract Argumentation Systems , 1997, Artif. Intell..

[20]  Mehdi Dastani,et al.  Goal generation in the BOID architecture , 2002 .

[21]  Claudette Cayrol,et al.  On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks , 2003, J. Log. Comput..