Graduate studies at Western
Minds and Machines 1 (4):437-458 (1991)
|Abstract||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)|
|Through your library||Configure|
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 downloads7 ( #142,523 of 738,851 )
Recent downloads (6 months)1 ( #61,778 of 738,851 )
How can I increase my downloads?