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

作者简介:

王雨晖(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:
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-演算TDL,它是关于≤-极小改变可靠和完备的,使得|Γ在TDL中可以被约减为一个理论Θ(记作├TDL |ΓΘ)当且仅当ΘΓ关于的一个≤-极小改变.

    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 TDL which is sound and complete with respect to ≤-minimal change such that |Γ is reduced to a theory Θ in TDL (denoted by ├TDL |Γ,Θ) if and only if Θ is a ≤-minimal change of Γ by .

    参考文献
    相似文献
    引证文献
引用本文

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

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2017-12-26
  • 最后修改日期:2018-03-17
  • 录用日期:
  • 在线发布日期: 2019-12-05
  • 出版日期:
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号