A study of accrual of arguments, with applications to evidential reasoning

d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation of recent theories of argument-based practical reasoning Combination of epistemic and practical reasoning: e-p-semantics [6] • in certain contexts, reasoning about beliefs is sceptical while reasoning about action is credulous • e-p-semantics / GP-game: – epistemic arguments: grounded sceptical semantics / G-game rules – practical arguments: preferred credulous semantics / P-game rules The practical syllogism [2] • if action a realises p, and p is desired, then action a is also desired (positive practical syllogism) • deal with possible negative side-effects of actions: if action a prevents q, and q is desired, then action a is not desired (negative practical syllogism) • deal with alternative ways to reach a goal: if both action a and action b realise p and p is desired, the two arguments for...

• Type: Conference
• Year: 2005
• Where: ICAIL
• Authors: Henry Prakken
• Keywords: Accrual, Belief Base, ICAIL 2005, Practical Syllogism