David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Minds and Machines 1 (4):437-458 (1991)
This article argues that: (i) Defeasible reasoning is the use of distinctive procedures for belief revision when new evidence or new authoritative judgment is interpolated into a system of beliefs about an application domain. (ii) These procedures can be explicated and implemented using standard higher-order logic combined with epistemic assumptions about the system of beliefs. The procedures mentioned in (i) depend on the explication in (ii), which is largely described in terms of a Prolog program, EVID, which implements a system for interactive, defeasible reasoning when combined with an application knowledge base. It is shown that defeasible reasoning depends on a meta-level Closed World Assumption applied to the relationship between supporting evidence and a defeasible conclusion based on this evidence. Thesis (i) is then further defended by showing that the EVID explication of defeasible reasoning has sufficient representational power to cover a wide variety of practical applications of defeasible reasoning, especially in the context of decision making.
|Keywords||Defeasible reasoning default reasoning nonmonotonic reasoning epistemology closed world assumption|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Ludwig Wittgenstein (1922/1999). Tractatus Logico-Philosophicus. Dover Publications.
John Pollock (1987). Defeasible Reasoning. Cognitive Science 11 (4):481-518.
John McCarthy (1986). Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence 28:89–116.
Roderick M. Chisholm (1964). The Ethics of Requirement. American Philosophical Quarterly 1 (2):147 - 153.
Citations of this work BETA
No citations found.
Similar books and articles
Timothy R. Colburn (1991). Defeasible Reasoning and Logic Programming. Minds and Machines 1 (4):417-436.
Robert A. Kowalski & Francesca Toni (1996). Abstract Argumentation. Artificial Intelligence and Law 4 (3-4):275-296.
G. Aldo Antonelli (2005). Grounded Consequence for Defeasible Logic. Cambridge University Press.
Douglas Walton (2011). Reasoning About Knowledge Using Defeasible Logic. Argument and Computation 2 (2-3):131 - 155.
Douglas Walton (2011). Defeasible Reasoning and Informal Fallacies. Synthese 179 (3):377 - 407.
John L. Pollock (1991). Self-Defeating Arguments. Minds and Machines 1 (4):367-392.
Robert L. Causey (2003). Computational Dialogic Defeasible Reasoning. Argumentation 17 (4):421-450.
Added to index2009-01-28
Total downloads16 ( #213,948 of 1,789,721 )
Recent downloads (6 months)2 ( #313,929 of 1,789,721 )
How can I increase my downloads?