DocumentCode
3338077
Title
Defeasible logic and temporal projection
Author
Nute, Donald
Author_Institution
Georgia Univ., GA, USA
Volume
3
fYear
1989
fDate
3-6 Jan 1989
Firstpage
575
Abstract
A novel nonmonotonic system called defeasible logic is presented that disarms the Yale shooting problem and other familiar examples of common sense reasoning that cause problems for many nonmonotonic systems, including examples that involve inheritance hierarchies with exceptions. Defeasible logic is easily implemented as an extension to Prolog, and it has knowledge-representation capabilities not found in other recent nonmonotonic systems
Keywords
formal logic; knowledge representation; logic programming; Prolog; Yale shooting problem; common sense reasoning; defeasible logic; exceptions; inheritance hierarchies; knowledge-representation capabilities; nonmonotonic system; temporal projection; Calculus; Knowledge representation; Logic;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1989. Vol.III: Decision Support and Knowledge Based Systems Track, Proceedings of the Twenty-Second Annual Hawaii International Conference on
Conference_Location
Kailua-Kona, HI
Print_ISBN
0-8186-1913-9
Type
conf
DOI
10.1109/HICSS.1989.49172
Filename
49172
Link To Document