基于知识系统的逻辑

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

R. Stachowitz

{"title":"基于知识系统的逻辑","authors":"R. Stachowitz","doi":"10.1109/HICSS.1988.11920","DOIUrl":null,"url":null,"abstract":"The author claims that progress in knowledge-based systems (KBS) and semantic data model (SDM) theory can be considerably expedited if SDM and KBS researchers make more use of discussions and results in contemporary nonstandard logics. He supports this claim by discussing typical SDM/KBS problems in the framework of discussions and solutions provided in some nonstandard logics, which are mostly versions of modal and many-valued logics. By means of the problems discussed, the author derives a list of required properties of a logic for SDMs and KBSs.<<ETX>>","PeriodicalId":339507,"journal":{"name":"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Logics for knowledge-based systems\",\"authors\":\"R. Stachowitz\",\"doi\":\"10.1109/HICSS.1988.11920\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The author claims that progress in knowledge-based systems (KBS) and semantic data model (SDM) theory can be considerably expedited if SDM and KBS researchers make more use of discussions and results in contemporary nonstandard logics. He supports this claim by discussing typical SDM/KBS problems in the framework of discussions and solutions provided in some nonstandard logics, which are mostly versions of modal and many-valued logics. By means of the problems discussed, the author derives a list of required properties of a logic for SDMs and KBSs.<<ETX>>\",\"PeriodicalId\":339507,\"journal\":{\"name\":\"[1988] Proceedings of the Twenty-First Annual Hawaii International Conference on System Sciences. Volume III: Decision Support and Knowledge Based Systems Track\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1900-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings of the Twenty-First 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.1988.11920\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings of the Twenty-First 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.1988.11920","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

作者声称，如果SDM和SDM研究者更多地利用当代非标准逻辑的讨论和结果，那么知识基础系统(KBS)和语义数据模型(SDM)理论的进展可以大大加快。他通过在一些非标准逻辑中提供的讨论和解决方案的框架中讨论典型的SDM/KBS问题来支持这一主张，这些非标准逻辑大多是模态和多值逻辑的版本。通过所讨论的问题，作者导出了sdm和KBSs逻辑所需的一系列属性。

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

查看原文本刊更多论文

Logics for knowledge-based systems

The author claims that progress in knowledge-based systems (KBS) and semantic data model (SDM) theory can be considerably expedited if SDM and KBS researchers make more use of discussions and results in contemporary nonstandard logics. He supports this claim by discussing typical SDM/KBS problems in the framework of discussions and solutions provided in some nonstandard logics, which are mostly versions of modal and many-valued logics. By means of the problems discussed, the author derives a list of required properties of a logic for SDMs and KBSs.<>

求助全文

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

来源期刊

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

自引率

0.00%

发文量