计算机科学 ›› 2009, Vol. 36 ›› Issue (1): 171-176.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要： 粒归结方法和粒语义推理均是针对粒计算与逻辑推理相互融合研究的成果。粒语义推理能否作为粒归结方法的推理基础，或粒归结方法是否为粒语义推理的另一种形式是值得探究的问题。研究表明，粒归结方法中的粒归结序列是粒语义推理的充分条件。但对粒归结方法推广后，所得到的特殊粒归结序列是粒语义椎理的充分必要条件。于是粒归结方法具有了推理的基础，粒语义推理也存在了其它的形式。这样粒归结方法与粒语义推理便具有相互支撑的紧密关系。
关键词: 粒归结 粒语义推理 粒归结序列 特殊分解 特殊粒归结序列
Abstract: Granular resolution and granularly semantic reasoning are important research results on granular computing mixing together with logical reasoning. It is worth considering that whether granularly semantic reasoning can be taken as a reasoning foundation of
Key words: Granular resolution, Granularly semantic reasoning, Sequence of granularly resolvent clauses, Specialresolvent clause, Special sequence of granularly resolvent clauses
. 基于粒语义推理的粒归结研究[J]. 计算机科学, 2009, 36(1): 171-176. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I1/171
Cited
首页