Combining sceptical epistemic reasoning with credulous practical reasoning

Abstract. 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. Keywords. Practical vs. epistemic reasoning, argumentation, credulous and sceptical reasoning

• Type: Conference
• Year: 2006
• Where: COMMA
• Authors: Henry Prakken
• Keywords: COMMA 2006, COMMA 2008, Epistemic Reasoning, Sceptical Reasoning, Semantics