正确分层知识库的自动诊断

Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence Pub Date : 1996-11-16 DOI:10.1109/TAI.1996.560481

O. Arieli, A. Avron

{"title":"正确分层知识库的自动诊断","authors":"O. Arieli, A. Avron","doi":"10.1109/TAI.1996.560481","DOIUrl":null,"url":null,"abstract":"The authors present a mechanism for recovering consistent data from an inconsistent set of assertions. For a common family of knowledge bases they also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.","PeriodicalId":209171,"journal":{"name":"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence","volume":"30 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Automatic diagnoses for properly stratified knowledge-bases\",\"authors\":\"O. Arieli, A. Avron\",\"doi\":\"10.1109/TAI.1996.560481\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors present a mechanism for recovering consistent data from an inconsistent set of assertions. For a common family of knowledge bases they also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.\",\"PeriodicalId\":209171,\"journal\":{\"name\":\"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence\",\"volume\":\"30 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-11-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1996.560481\",\"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 Eighth IEEE International Conference on Tools with Artificial Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1996.560481","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 5

摘要

作者提出了一种从一组不一致的断言中恢复一致数据的机制。对于一个通用的知识库家族，它们还提供了一种有效的算法来自动完成这些工作。该方法是非单调的和准一致的。它在诊断故障设备时特别有用。

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

查看原文本刊更多论文

Automatic diagnoses for properly stratified knowledge-bases

The authors present a mechanism for recovering consistent data from an inconsistent set of assertions. For a common family of knowledge bases they also provide an efficient algorithm for doing so automatically. This method is nonmonotonic and paraconsistent. It is particularly useful for making diagnoses on faulty devices.

求助全文

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

来源期刊

Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence

自引率

0.00%

发文量