CHECKER:一种高效的知识库验证算法

Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2 Pub Date : 1990-06-01 DOI:10.1145/98894.98923

X. Yu, Gautam Biswas

{"title":"CHECKER:一种高效的知识库验证算法","authors":"X. Yu, Gautam Biswas","doi":"10.1145/98894.98923","DOIUrl":null,"url":null,"abstract":"MIDST (Mixed Inferencing Dempster Shafer Tool) is a rule-based expert system shell that incorporates mixed-initiative reasoning and uncertain reasoning based on the Dempster Shafer evidence combination scheme. This paper discusses the CHECKER program, a subcomponent of MIDST, which makes use of the existing rule network structure to check the consistency and completeness of the MIDST knowledge base in a efficient manner.","PeriodicalId":175812,"journal":{"name":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","volume":"21 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"CHECKER: an efficient algorithm for knowledge base verification\",\"authors\":\"X. Yu, Gautam Biswas\",\"doi\":\"10.1145/98894.98923\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"MIDST (Mixed Inferencing Dempster Shafer Tool) is a rule-based expert system shell that incorporates mixed-initiative reasoning and uncertain reasoning based on the Dempster Shafer evidence combination scheme. This paper discusses the CHECKER program, a subcomponent of MIDST, which makes use of the existing rule network structure to check the consistency and completeness of the MIDST knowledge base in a efficient manner.\",\"PeriodicalId\":175812,\"journal\":{\"name\":\"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2\",\"volume\":\"21 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-06-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/98894.98923\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/98894.98923","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

mid (Mixed inference Dempster Shafer Tool)是一种基于Dempster Shafer证据组合方案，融合混合主动推理和不确定推理的基于规则的专家系统外壳。本文讨论了中间件的子组件CHECKER程序，该程序利用已有的规则网络结构对中间件知识库的一致性和完整性进行有效的检查。

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

查看原文本刊更多论文

CHECKER: an efficient algorithm for knowledge base verification

MIDST (Mixed Inferencing Dempster Shafer Tool) is a rule-based expert system shell that incorporates mixed-initiative reasoning and uncertain reasoning based on the Dempster Shafer evidence combination scheme. This paper discusses the CHECKER program, a subcomponent of MIDST, which makes use of the existing rule network structure to check the consistency and completeness of the MIDST knowledge base in a efficient manner.

求助全文

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

来源期刊

Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2

自引率

0.00%

发文量