描述逻辑ALC中关于伪子概念极小改变的R-演算

doi:10.13328/j.cnki.jos.005596

微信服务号

微信订阅号

2025年4月5日 22:44 星期六

首页 > 过刊浏览>2019年第30卷第12期 >3683-3693. DOI:10.13328/j.cnki.jos.005596

PDF HTML阅读 XML下载导出引用引用提醒

描述逻辑ALC中关于伪子概念极小改变的R-演算
DOI:
                        10.13328/j.cnki.jos.005596
                    
CSTR:
                        
                    
作者:
                        王雨晖王雨晖
中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学 计算机与控制学院, 北京 100049;中国再保险(集团)股份有限公司 信息技术中心, 北京 100033
在期刊界中查找
在百度中查找
在本站中查找
眭跃飞眭跃飞
中国科学院 计算技术研究所 智能信息处理重点实验室, 北京 100190;中国科学院大学 计算机与控制学院, 北京 100049
在期刊界中查找
在百度中查找
在本站中查找

                    
作者单位:
作者简介:王雨晖(1989-),男,陕西西安人,博士,主要研究领域为人工智能-信念修正,R-演算,大规模知识处理;眭跃飞(1963-),男,博士,教授,博士生导师,主要研究领域为人工智能-知识表示,R-演算,多值逻辑,数理逻辑-递归论.
通讯作者:王雨晖,E-mail:yhwang_ict@qq.com
中图分类号:TP18
基金项目:国家重点基础研究发展计划（973）（2005CB321901）；软件开发环境国家重点实验室开放课题（SKLSDE-2010KF-06）

R-calculus for Pseudo-subconcept-ninimal Change in Description Logic ALC

Author:

WANG Yu-Hui
WANG Yu-Hui
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
在期刊界中查找
在百度中查找
在本站中查找
SUI Yue-Fei
SUI Yue-Fei
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
在期刊界中查找
在百度中查找
在本站中查找

Affiliation:

Fund Project:

National Program on Key Basic Research Project (973)(2005CB321901); Open Fund of the State Key Laboratory of Software Development Environment (SKLSDE-2010KF-06)

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

AGM公设是用于信念修正的（被一个单一信念修正），而DP公设是用于迭代修正的（被一个有限的信念序列修正）.李未给出了对于R-构型（configuration）△|Γ的R-演算，其中，△是一个原子公式或原子公式否定的集合，而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息，将考虑一种新的极小改变的定义：伪子概念极小改变（≤-极小改变），其中，≤是一种伪子概念的关系；之后，在此基础上给出一种新的R-演算T^DL，它是关于≤-极小改变可靠和完备的，使得△|Γ在T^DL中可以被约减为一个理论△∪Θ（记作├_T^DL △|Γ⇒△，Θ）当且仅当Θ是Γ关于△的一个≤-极小改变.

关键词:描述逻辑;信念修正;R-演算;伪子概念;≤-极小改变

Abstract:

The AGM postulates are for the belief revision (revision by a single belief), and the DP postulates are for the iterated revision (revision by a finite sequence of beliefs). Li gave an R-calculus for R-configurations △|Γ, where △ is a set of atomic formulas or the negations of atomic formulas, and Γ is a finite set of formulas. With an idea to preserve as much as possible information of statements to be revised, another definition of the minimal change is considered:pseudo-subconcept-minimal (≤-minimal) change, where ≤ is the pseudo-subconcept relation, and then give a new R-calculus T^DL which is sound and complete with respect to ≤-minimal change such that △|Γ is reduced to a theory △∪Θ in T^DL (denoted by ├_T^DL △|Γ⇒△,Θ) if and only if Θ is a ≤-minimal change of Γ by △.

Key words:description logics;belief revision;R-calculus;pseudo-subconcepts;≤-minimal change

引用本文

王雨晖,眭跃飞.描述逻辑ALC中关于伪子概念极小改变的R-演算.软件学报,2019,30(12):3683-3693

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2017-12-26
最后修改日期:2018-03-17
录用日期:
在线发布日期: 2019-12-05
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码

微信服务号

微信订阅号

引用本文

分享

微信扫一扫：分享

文章指标

历史

文章二维码