Defeasible logic with dynamic priorities

Defeasible logic is a nonmonotonic reasoning approach based on rules and priorities. Its design supports efficient implementation, and it shows promise to be deployed successfully in applications. So far, only static priorities have been used, provided by an external superiority relation. In this article we show how dynamic priorities can be integrated, where priority information is obtained from the deductive process itself. Dynamic priorities have been studied for other related reasoning systems such as default logic and argumentation. We define a proof theory, study its formal properties, and provide an argumentation semantics. © 2004 Wiley Periodicals, Inc.

[1]  Guido Governatori,et al.  Defeasible Logic for Automated Negotiation * , 2022 .

[2]  Thomas Eiter,et al.  Preferred Answer Sets for Extended Logic Programs , 1999, Artif. Intell..

[3]  Robert Alexy.  Henry Prakken (1997), Logical Tools for Modelling Legal Argument. A Study of Defeasible Reasoning in Law , 2000 .

[4]  Michael J. Maher,et al.  Representation results for defeasible logic , 2000, TOCL.

[5]  Hans Tompits,et al.  Logic Programs with Compiled Preferences , 2000, ECAI.

[6]  Michael J. Maher,et al.  A Family of Defeasible Reasoning Logics and its Implementation , 2000, ECAI.

[7]  Michael J. Maher,et al.  Defeasible Logic versus Logic Programming without Negation as Failure , 2000, J. Log. Program..

[8]  Michael J. Maher,et al.  Efficient defeasible reasoning systems , 2000, Proceedings 12th IEEE Internationals Conference on Tools with Artificial Intelligence. ICTAI 2000.

[9]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[10]  Lynn Andrea Stein,et al.  Resolving Ambiguity in Nonmonotonic Inheritance Hierarchies , 1992, Artif. Intell..

[11]  David Billington,et al.  Defeasible Logic is Stable , 1993, J. Log. Comput..

[12]  Donald Nute,et al.  Defeasible Logic , 1994, INAP.

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

[14]  Benjamin N. Grosof.  Prioritized Conflict Handling for Logic Programs , 1997, ILPS.

[15]  Benjamin N. Grosof,et al.  A declarative approach to business rules in contracts: courteous logic programs in XML , 2015, EC '99.

[16]  Michael J. Maher,et al.  An Argumentation-Theoretic Characterization of Defeasible Logic , 2000, ECAI.

[17]  Gerhard Brewka.  Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences , 1996, J. Artif. Intell. Res..

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

[19]  Benjamin N. Grosof,et al.  Toward a Declarative Language for Negotiating Executable Contracts , 2003 .

[20]  Henry Kautz,et al.  Hard problems for simple default theories , 1991 .

[21]  Henry Prakken,et al.  Logical Tools for Modelling Legal Argument , 1997 .