吴瑕

作品数：5被引量：15H指数：2
导出分析报告
供职机构：吉林大学更多>>
发文主题：命题逻辑人工智能模态逻辑定理证明定理机器证明更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《吉林大学学报（理学版）》《软件学报》《吉林大学学报（工学版）》更多>>
所获基金：国家自然科学基金吉林省青年科研基金中央高校基本科研业务费专项资金吉林省科技发展计划基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊空间描述逻辑及应用被引量：2
《吉林大学学报（工学版）》2010年第6期1634-1638,共5页王生生 刘大有 吴瑕 谢琦 郭昊 
国家自然科学基金项目(60773099;60873149;60973088);'863'国家高技术研究发展计划项目(2006AA10Z245;2006AA10A309);中央高校基本科研业务费专项基金;吉林大学科学前沿与交叉学科创新项目(200903178);吉林大学平台基地建设项目(93K-17-2009-Z06);吉林省科技发展计划项目(20090111)
提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法...
关键词：人工智能 描述逻辑 定性空间推理 模糊逻辑 区域连接演算 
可能性扩展规则的推理和知识编译被引量：7
《软件学报》2010年第11期2826-2837,共12页殷明浩 孙吉贵 林海 吴瑕 
国家自然科学基金Nos.60573067;60803102~~
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计...
关键词：扩展规则 可能性逻辑 知识编译 EPPCCCL(each PAIR of possibilistic CLAUSES CONTAINS COMPLEMENTARY literals)理论 
基于IMOM和IBOHM启发式策略的扩展规则算法被引量：11
《软件学报》2009年第6期1521-1527,共7页李莹 孙吉贵 吴瑕 朱兴军 
国家自然科学基金No.60773097;吉林省青年科研基金No.20080107~~
基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法...
关键词：定理机器证明 命题逻辑 扩展规则 启发式策略 归结 
关系扩展规则被引量：1
《吉林大学学报（理学版）》2008年第3期504-508,共5页吴瑕 于海鸿 李泽海 李河 孙佳瑜 
国家自然科学基金(批准号:60473003;60773097);教育部博士点专项科研基金(批准号:20050183065)
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
关键词：定理证明 模态逻辑 扩展规则 关系转换 
含等词的超表演算
《吉林大学学报（理学版）》2005年第4期455-460,共6页冯莎莎 孙吉贵 吴瑕 
国家自然科学基金(批准号:60273080;60473003);吉林省杰出青年基金(批准号:20030107).
将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
关键词：超表演算 Superposition方法 等词 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部