David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
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
Roderick M. Chisholm (1964). The Ethics of Requirement. American Philosophical Quarterly 1 (2):147 - 153.
John McCarthy (1986). Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence 28:89–116.
John Pollock (1987). Defeasible Reasoning. Cognitive Science 11 (4):481-518.
Ludwig Wittgenstein (1922/1999). Tractatus Logico-Philosophicus. Dover Publications.
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 downloads10 ( #142,220 of 1,096,856 )
Recent downloads (6 months)3 ( #106,891 of 1,096,856 )
How can I increase my downloads?