| 描述逻辑ALC中关于伪子概念极小改变的R-演算 |
| |
| 引用本文： | 王雨晖,眭跃飞. 描述逻辑ALC中关于伪子概念极小改变的R-演算[J]. 软件学报, 2019, 30(12): 3683-3693 |
| |
| 作者姓名： | 王雨晖 眭跃飞 |
| |
| 作者单位： | 中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学 计算机与控制学院, 北京 100049;中国再保险(集团)股份有限公司 信息技术中心, 北京 100033,中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学 计算机与控制学院, 北京 100049 |
| |
| 基金项目： | 国家重点基础研究发展计划（973）（2005CB321901）；软件开发环境国家重点实验室开放课题（SKLSDE-2010KF-06） |
| |
| 摘 要： | AGM公设是用于信念修正的（被一个单一信念修正），而DP公设是用于迭代修正的（被一个有限的信念序列修正）.李未给出了对于R-构型（configuration）△|Γ的R-演算，其中，△是一个原子公式或原子公式否定的集合，而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息，将考虑一种新的极小改变的定义：伪子概念极小改变（≤-极小改变），其中，≤是一种伪子概念的关系；之后，在此基础上给出一种新的R-演算TDL，它是关于≤-极小改变可靠和完备的，使得△|Γ在TDL中可以被约减为一个理论△∪Θ（记作├TDL △|Γ⇒△，Θ）当且仅当Θ是Γ关于△的一个≤-极小改变.
|
| 关 键 词： | 描述逻辑 信念修正 R-演算 伪子概念 ≤-极小改变 |
| 收稿时间： | 2017-12-26 |
| 修稿时间： | 2018-03-17 |
R-calculus for Pseudo-subconcept-ninimal Change in Description Logic ALC |
| |
| WANG Yu-Hui and SUI Yue-Fei. R-calculus for Pseudo-subconcept-ninimal Change in Description Logic ALC[J]. Journal of Software, 2019, 30(12): 3683-3693 |
| |
| Authors: | WANG Yu-Hui and SUI Yue-Fei |
| |
| Affiliation: | Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China;School of Computer and Control Engineering, University of Chinese Academy of Sciences, Beijing 100049, China;Information Technology Center, China Reinsurance(Group) Corporation, Beijing 100033, China and Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China;School of Computer and Control Engineering, University of Chinese Academy of Sciences, Beijing 100049, China |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
