{"title":"Defeasible logic and temporal projection","authors":"D. Nute","doi":"10.1109/HICSS.1989.49172","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":384442,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track","volume":"2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1989.49172","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6
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.<>