程天笑
- 作品数：6 被引量：12H指数：2
- 供职机构：江南大学理学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- 基于中介逻辑的模糊知识推理的搜索处理被引量：9
- 2009年
- 中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。
- 王岑潘正华程天笑
- 关键词：中介逻辑模糊知识表示与或图启发函数
- 基于中介逻辑的近似推理
- 知识处理的发展对'否定知识'的认识提出了新的要求.中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系.文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题.文章...
- 程天笑潘正华王岑
- 关键词：中介逻辑语义匹配CRI算法
- 文献传递
- 基于中介逻辑的模糊知识推理的搜索处理
- 中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统.基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间.在传统与或图搜索算法的基础上,...
- 王岑潘正华程天笑
- 关键词：中介逻辑启发函数
- 文献传递
- 基于中介逻辑的近似推理被引量：3
- 2009年
- 知识处理的发展对"否定知识"的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章分析了模糊知识中的否定关系,并以中介逻辑及其无穷值语义模型给予其语形与语义描述。然后,扩展了近似推理的CRI算法。同时,给出了语义匹配度的度量,包括语义距离和相似度,进而提出了基于语义匹配度度量的近似推理方法。
- 程天笑潘正华王岑
- 关键词：中介逻辑语义匹配
- 具有两种否定的描述逻辑系统MALC
- 否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定.描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定.本文将模糊否...
- 程天笑潘正华
- 关键词：描述逻辑中介逻辑语义模型
- 文献传递
- 具有两种否定的描述逻辑系统MALC被引量：1
- 2008年
- 否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词?引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。
- 程天笑潘正华
- 关键词：中介逻辑
