r演算:知识库维护的逻辑方法

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94 Pub Date : 1994-11-06 DOI:10.1109/TAI.1994.346387

Wei Li, N. Shen, Ju Wang

{"title":"r演算:知识库维护的逻辑方法","authors":"Wei Li, N. Shen, Ju Wang","doi":"10.1109/TAI.1994.346387","DOIUrl":null,"url":null,"abstract":"The concepts of maintenance sequence of a knowledge base and their limits are introduced. Some concepts used in maintenance of knowledge bases, such as new laws, user's rejections, and reconstructions of a base are defined; the related theorems are proposed. Some computational aspects of reconstructions are studied; an R-calculus is given to deduce a reconstruction when a base meets a rejection. Especially, an R-calculus for logic programming is provided and implemented to do it. Finally, the theory is compared with AGM's theory of belief revision.<<ETX>>","PeriodicalId":262014,"journal":{"name":"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94","volume":"10 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"R-calculus: a logical approach for knowledge base maintenance\",\"authors\":\"Wei Li, N. Shen, Ju Wang\",\"doi\":\"10.1109/TAI.1994.346387\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The concepts of maintenance sequence of a knowledge base and their limits are introduced. Some concepts used in maintenance of knowledge bases, such as new laws, user's rejections, and reconstructions of a base are defined; the related theorems are proposed. Some computational aspects of reconstructions are studied; an R-calculus is given to deduce a reconstruction when a base meets a rejection. Especially, an R-calculus for logic programming is provided and implemented to do it. Finally, the theory is compared with AGM's theory of belief revision.<<ETX>>\",\"PeriodicalId\":262014,\"journal\":{\"name\":\"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94\",\"volume\":\"10 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1994.346387\",\"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 Sixth International Conference on Tools with Artificial Intelligence. TAI 94","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1994.346387","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

介绍了知识库维护顺序的概念及其局限性。定义了知识库维护中使用的一些概念，如新定律、用户拒绝和知识库重建;给出了相关定理。研究了重建的一些计算问题;给出了一种r演算来推导基底遇到拒绝时的重构。特别地，提供并实现了逻辑编程的r演算。最后，将该理论与AGM的信念修正理论进行了比较

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

查看原文本刊更多论文

R-calculus: a logical approach for knowledge base maintenance

The concepts of maintenance sequence of a knowledge base and their limits are introduced. Some concepts used in maintenance of knowledge bases, such as new laws, user's rejections, and reconstructions of a base are defined; the related theorems are proposed. Some computational aspects of reconstructions are studied; an R-calculus is given to deduce a reconstruction when a base meets a rejection. Especially, an R-calculus for logic programming is provided and implemented to do it. Finally, the theory is compared with AGM's theory of belief revision.<>

求助全文

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

来源期刊

Proceedings Sixth International Conference on Tools with Artificial Intelligence. TAI 94

自引率

0.00%

发文量