next up previous contents
Next: General perspectives Up: Results Previous: Reasoning about priorities

Developing argument-based systems

One of the alternative ways of formalising defeasible reasoning is by way of argument-based systems, i.e. systems for constructing and comparing alternative arguments. Previous work on such systems has been extended in two publications. In [9] a logic-programming-like fragment of earlier systems of the authors is improved, made self-prioritising and extended with the combination of weak and classical negation. In [4] Vreeswijk's abstract argumentation system is combined with a standard natural deduction system, in order to formalise some features of defeasible reasoning that were hitherto neglected in the literature; in the new system arguments can be compared that are only possible on the basis of assumptions that are later on retracted.



Pierre-Yves SCHOBBENS
Sat Mar 16 14:56:52 MET 1996