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

• 作者: 王雨晖 眭跃飞
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 描述逻辑 信念修正 R-演算 伪子概念 (≤)-极小改变
• 年，卷（期）: 2019,（12）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 3683-3693
• 页数: 11页
• 分类号: TP18
• 字数: 7865字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005596

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	眭跃飞	中国科学院计算技术研究所智能信息处理重点实验室	35	313	9.0	17.0