%0 Journal Article
%T 粒空间中基于粒计算的粒语义推理*
%A 闫林
%A 张学栋
%A 魏雁天
%A 何建仓
%J 模式识别与人工智能
%P 462-468
%D 2008
%X 在论域上定义公式,并因其与粒相对应,使得粒空间得以形成.在粒空间中由粒之间的关系确定出粒语义推理,并对此进行讨论.通过粒计算,证得粒语义推理满足命题逻辑自然推理系统的每一推理规则,因此粒空间上的可靠性成立,这表明形式推理蕴涵粒语义推理.尽管粒空间上的完备性不成立,但结果表明粒语义推理是各经典推理模式的扩充,所以粒语义推理既拓宽推理研究的范围,又引进粒计算的研究方法,促成粒计算与逻辑推理的进一步融合.
%K 粒空间
%K 粒语义推理
%K 推理规则
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10216.shtml