A Discussion of Some Intuitions of Defeasible Reasoning

In this paper we discuss some issues related to the intuitions of defeasible reasoning. Defeasible logic serves as the formal basis for our analysis. We also make some comments on the comparison between defeasible logics and the well-founded semantics of extended logic programs with priorities.

[1]  Michael Gelfond,et al.  Logic Programs with Classical Negation , 1990, ICLP.

[2]  Michael J. Maher,et al.  A Semantic Decomposition of Defeasible Logics , 1999, AAAI/IAAI.

[3]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[4]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[5]  Kenneth Kunen,et al.  Negation in Logic Programming , 1987, J. Log. Program..

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

[7]  Tadashi Araragi,et al.  Design and Analysis of Agent Systems by Extended Statecharts , 2003 .

[8]  Henry Prakken,et al.  Intuitions and the modelling of defeasible reasoning: some case studies , 2002, NMR.

[9]  David S. Touretzky,et al.  A Skeptical Theory of Inheritance in Nonmonotonic Semantic Networks , 1987, Artif. Intell..

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

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

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

[13]  Karl Schlechta,et al.  Floating Conclusions and Zombie Paths: Two Deep Difficulties in the "Directly Skeptical" Approach to Defeasible Inheritance Nets , 1991, Artif. Intell..

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

[15]  Guido Governatori,et al.  A formal approach to negotiating agents development , 2002, Electron. Commer. Res. Appl..

[16]  John F. Horty,et al.  Argument construction and reinstatement in logics for defeasible reasoning , 2001, Artificial Intelligence and Law.

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

[18]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

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

[20]  Grigoris Antoniou,et al.  Executable declarative business rules and their use in electronic commerce , 2001, SAC '02.

[21]  Benjamin N. Grosof.  Prioritized conflict handing for logic programs , 1997, International Conference on Logic Programming.

[22]  John F. Horty,et al.  Skepticism and floating conclusions , 2002, Artif. Intell..

[23]  John F. Horty,et al.  Some direct theories of nonmonotonic inheritance , 1994 .

[24]  Ehud Shapiro,et al.  Third International Conference on Logic Programming , 1986 .

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

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

[27]  Michael J. Maher.  Under consideration for publication in Theory and Practice of Logic Programming 1 Propositional Defeasible Logic has Linear Complexity , 2004 .

[28]  Leora Morgenstern,et al.  Inheritance Comes of Age: Applying Nonmonotonic Techniques to Problems in Industry , 1997, IJCAI.

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