Dialectical Proof Theory for Defeasible Argumentation with Defeasible Priorities (Preliminary Report)

In this paper a dialectical proof theory is proposed for logical systems for defeasible argumentation that fit a certain format. This format is the abstract theory developed by Dung, Kowalski and others A main feature of the proof theory is that it also applies to systems in which reasoning about the standards for comparing arguments is possible The proof theory could serve as the 'logical core' of protocols for dispute in multi-agent decision making processes.

[1]  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..

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

[3]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law , 1997 .

[4]  Nicholas Rescher,et al.  Dialectics: A Controversy-Oriented Approach to the Theory of Knowledge , 1977 .

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

[6]  Henry Prakken.  A semantic view on reasoning about priorities (extended abstract) , 1995 .

[7]  Gerard Vreeswijk,et al.  Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation , 1993, J. Log. Comput..

[8]  John L. Pollock,et al.  Defeasible Reasoning , 2020, Synthese Library.

[9]  Phan Minh Dung,et al.  An Abstract, Argumentation-Theoretic Approach to Default Reasoning , 1997, Artif. Intell..

[10]  Gerhard Brewka.  Reasoning about Priorities in Default Logic , 1994, AAAI.

[11]  Gerhard Brewka,et al.  A Reconstruction of Rescher' s Theory of Formal Disputation Based on Default Logic , 1994, ECAI.

[12]  Jaap Hage,et al.  Reasoning with Rules , 1997 .

[13]  Phan Minh Dung,et al.  An Argumentation Semantics for Logic Programming with Explicit Negation , 1993, ICLP.

[14]  Henry Prakken,et al.  Reasoning with precedents in a dialogue game , 1997, ICAIL '97.

[15]  J. Hage.  Reasoning with Rules: An Essay on Legal Reasoning and Its Underlying Logic , 1996 .

[16]  Guillermo Ricardo Simari,et al.  A Mathematical Treatment of Defeasible Reasoning and its Implementation , 1992, Artif. Intell..

[17]  Erik C. W. Krabbe,et al.  From axiom to dialogue , 1982 .

[18]  Frank Dignum,et al.  Defeasible Reasoning with Legal Rules. , 1996 .

[19]  Thomas F. Gordon,et al.  Pleadings game - an artificial intelligence model of procedural justice , 1995 .

[20]  Henry Prakken,et al.  A System for Defeasible Argumentation, with Defeasible Priorities , 1996, Artificial Intelligence Today.

[21]  Mark A. Brown,et al.  Deontic Logic, Agency and Normative Systems , 1996, Workshops in Computing.

[22]  Ronald Prescott Loui,et al.  Process and Policy: Resource‐Bounded NonDemonstrative Reasoning , 1998, Comput. Intell..