您的位置： 专家智库 > >

吴瑕

作品数：8 被引量：19H指数：3
供职机构：吉林大学更多>>
发文基金：国家自然科学基金吉林省青年科研基金中央高校基本科研业务费专项资金更多>>
相关领域：自动化与计算机技术经济管理更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 2篇学位论文
  • 1篇科技成果

领域

  • 7篇自动化与计算...
  • 1篇经济管理

主题

  • 3篇定理
  • 2篇定理证明
  • 2篇人工智能
  • 2篇命题逻辑
  • 2篇模态逻辑
  • 1篇等词
  • 1篇调查问卷
  • 1篇定理机器证明
  • 1篇定性空间推理
  • 1篇一阶逻辑
  • 1篇银行
  • 1篇银行业
  • 1篇支行
  • 1篇知识编译
  • 1篇人力资源
  • 1篇人力资源培训
  • 1篇区域连接演算
  • 1篇资源培训
  • 1篇问卷
  • 1篇描述逻辑

机构

  • 8篇吉林大学
  • 2篇东北师范大学

作者

  • 8篇吴瑕
  • 4篇孙吉贵
  • 2篇于海鸿
  • 2篇朱兴军
  • 2篇李河
  • 1篇任建
  • 1篇冯莎莎
  • 1篇刘大有
  • 1篇杨风杰
  • 1篇林海
  • 1篇孙佳瑜
  • 1篇高健
  • 1篇王生生
  • 1篇谢琦
  • 1篇李占山
  • 1篇白洪涛
  • 1篇郭昊
  • 1篇张永刚
  • 1篇殷明浩
  • 1篇李莹

传媒

  • 2篇软件学报
  • 2篇吉林大学学报...
  • 1篇吉林大学学报...

年份

  • 1篇2019
  • 2篇2010
  • 1篇2009
  • 2篇2008
  • 1篇2006
  • 1篇2005
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
模糊空间描述逻辑及应用被引量：3
2010年
提出了基于空间推理和模糊逻辑的模糊空间描述逻辑FSDL,它可以作为支持不确定性推理的空间语义Web和空间本体的理论基础。FSDL在经典描述逻辑上增加了能描述空间关系的复杂关系项和模糊化概念、关系的语法、语义。随后给出了表推理算法,并证明了其正确性和完备性。最后,基于FSDL定义了模糊RCC5关系。
王生生刘大有吴瑕谢琦郭昊
关键词：人工智能描述逻辑定性空间推理模糊逻辑区域连接演算
关系扩展规则被引量：1
2008年
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推理方法,并证明了其正确性和完备性.
吴瑕于海鸿李泽海李河孙佳瑜
关键词：定理证明模态逻辑
基于约束推理的产品配置器建模研究
孙吉贵李占山张永刚于海鸿吴瑕杨风杰李河白洪涛高健任建朱兴军
本项目主要把约束推理与诊断推理嵌入到产品配置器求解算法中, 并对此进行了深入的研究，取得了系列研究成果。发表学术论文20余篇，完成了配置求解工具软件系统“轿车配置的智能决策支持系统”的研发。在研究产品建模方法时，采用了“...
关键词：
关键词：产品配置
基于扩展规则的定理证明的研究
吴瑕
关键词：人工智能定理证明化简规则命题逻辑一阶逻辑模态逻辑
文献传递
基于IMOM和IBOHM启发式策略的扩展规则算法被引量：13
2009年
基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximumsize)和IBOHM(improved BOHM)启发式策略,并将两种启发式策略用于IER算法中,有指导性地选择限定搜索空间的子句,设计并实现了算法IMOMH_IER和IBOHMH_IER.实验结果表明,由于这两种启发式策略能够选择较为合适的搜索空间,可以尽快地判定出原问题是否可满足,故其速度平均能够达到原有算法DR(directional resolution)和IER的10～200倍.
李莹孙吉贵吴瑕朱兴军
关键词：定理机器证明命题逻辑
建行工农大路支行人力资源培训体系研究
随着现代金融行业的快速发展,网络金融的诞生和快速壮大,越来越多的新兴金融企业诞生,衍生了很多可以替代传统金融服务的替代品。这导致整个金融行业的竞争日益激烈,商业银行不但面临着传统银行业之间的竞争,还面临着新兴的金融企业的...
吴瑕
关键词：银行业调查问卷
文献传递
含等词的超表演算
2005年
将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.
冯莎莎孙吉贵吴瑕
关键词：等词
可能性扩展规则的推理和知识编译被引量：7
2010年
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复杂度.扩展了经典逻辑的蕴含可控制类和可满足可控制类的定义,提出了可能性蕴含可控制类、不一致性程度计算可控制类的概念.在可能性扩展规则的基础上提出了EPPCCCL(each pair of possibilistic clauses contains complementary literals)理论,并证明了该理论是在最优化形式蕴含可控制类和不一致性程度计算可控制类中的,可以作为可能性知识编译的目标语言.
殷明浩孙吉贵林海吴瑕
关键词：知识编译PAIRCLAUSESCONTAINSCOMPLEMENTARY
全选 清除 导出
共1页<1>
聚类工具0