程天笑

作品数：3被引量：11H指数：2
导出分析报告
供职机构：江南大学理学院更多>>
发文主题：中介逻辑启发函数语义匹配逻辑系统模糊知识表示更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《计算机工程与应用》《计算机工程与科学》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于中介逻辑的模糊知识推理的搜索处理被引量：8
《计算机工程与应用》2009年第21期175-178,200,共5页王岑 潘正华 程天笑 
国家自然科学基金(No.60575038)~~
中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,...
关键词：中介逻辑 模糊知识表示 状态空间 与或图 启发函数 否定信息 
基于中介逻辑的近似推理被引量：2
《计算机工程与应用》2009年第21期163-166,共4页程天笑 潘正华 王岑 
基金项目:国家自然科学基金(No.60575038)~~
知识处理的发展对"否定知识"的认识提出了新的要求。中介逻辑是一个完全形式化的系统,其完整地反映了矛盾和对立等否定关系以及推理关系。文章针对模糊知识,在中介逻辑无穷值语义模型的基础上,研究了基于中介逻辑的近似推理问题。文章...
关键词：中介逻辑 近似推理 推理合成规则近似推理方法(CRI) 语义匹配 
具有两种否定的描述逻辑系统MALC被引量：1
《计算机工程与科学》2008年第11期65-67,91,共4页程天笑 潘正华 
国家自然科学基金资助项目(60575038)
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊...
关键词：描述逻辑ALC 中介逻辑 中介无穷值语义模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部