Title :
Defeasible logic and temporal projection
Author_Institution :
Georgia Univ., GA, USA
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;
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
DOI :
10.1109/HICSS.1989.49172
