Institute of Computing Technology, Chinese Academy IR
| 描述逻辑ALC中关于伪子概念极小改变的R-演算 | |
| 王雨晖1; 眭跃飞1 | |
| 2019 | |
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825 |
| 卷号 | 30.0期号:012页码:3683 |
| 摘要 | AGM公设是用于信念修正的(被一个单一信念修正),而DP公设是用于迭代修正的(被一个有限的信念序列修正).李未给出了对于R-构型(configuration)Δ|Γ的R-演算,其中,Δ是一个原子公式或原子公式否定的集合,而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息,将考虑一种新的极小改变的定义:伪子概念极小改变(■-极小改变),其中,■是一种伪子概念的关系;之后,在此基础上给出一种新的R-演算TDL,它是关于■-极小改变可靠和完备的,使得Δ|Γ在TDL中可以被约减为一个理论Δ∪Θ(记作TDL■Δ|Γ?Δ,Θ)当且仅当Θ是Γ关于Δ的一个■-极小改变. |
| 关键词 | 描述逻辑 信念修正 R-演算 伪子概念 ■-极小改变 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/26581 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 1.中国科学院计算技术研究所 2.中国科学院大学 3.中国再保险(集团股份有限公司信息技术中心 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 王雨晖,眭跃飞. 描述逻辑ALC中关于伪子概念极小改变的R-演算[J]. 软件学报,2019,30.0(012):3683. |
| APA | 王雨晖,&眭跃飞.(2019).描述逻辑ALC中关于伪子概念极小改变的R-演算.软件学报,30.0(012),3683. |
| MLA | 王雨晖,et al."描述逻辑ALC中关于伪子概念极小改变的R-演算".软件学报 30.0.012(2019):3683. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [王雨晖]的文章 |
| [眭跃飞]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [王雨晖]的文章 |
| [眭跃飞]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [王雨晖]的文章 |
| [眭跃飞]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论