%0 Journal Article
%T 描述逻辑ALC中关于伪子概念极小改变的R-演算
%A 王雨晖
%A 眭跃飞
%J -
%D 2019
%R 10.13328/j.cnki.jos.005596
%X AGM公设是用于信念修正的（被一个单一信念修正），而DP公设是用于迭代修正的（被一个有限的信念序列修正）.李未给出了对于R-构型（configuration）△|Γ的R-演算，其中，△是一个原子公式或原子公式否定的集合，而Γ是一个有限的公式集合.为了在修正过程中能够保留断言中尽可能多的信息，将考虑一种新的极小改变的定义：伪子概念极小改变（≤-极小改变），其中，≤是一种伪子概念的关系；之后，在此基础上给出一种新的R-演算TDL，它是关于≤-极小改变可靠和完备的，使得△|Γ在TDL中可以被约减为一个理论△∪Θ（记作├TDL △|Γ?△，Θ）当且仅当Θ是Γ关于△的一个≤-极小改变
%K 描述逻辑 信念修正 R-演算 伪子概念 ≤-极小改变
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=5596&flag=1