可行的逻辑和时间投射

[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track Pub Date : 1989-01-03 DOI:10.1109/HICSS.1989.49172

D. Nute

{"title":"可行的逻辑和时间投射","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":"{\"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}","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

摘要

提出了一种新的非单调系统，称为可废除逻辑，它消除了耶鲁射击问题和其他常见的常识性推理的例子，这些例子导致许多非单调系统的问题，包括涉及例外继承层次的例子。Defeasible logic作为Prolog的扩展很容易实现，并且它具有在其他最近的非单调系统中没有的知识表示能力

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Defeasible logic and temporal projection

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track

自引率

0.00%

发文量