李莹

作品数：7被引量：51H指数：4
导出分析报告
供职机构：吉林大学计算机科学与技术学院更多>>
发文主题：命题逻辑约束满足问题定理机器证明规划方法可满足性更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机研究与发展》《软件学报》《自动化学报》《计算机学报》更多>>
所获基金：国家自然科学基金吉林省青年科研基金国家教育部博士点基金吉林省科技发展计划基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多值传播的相容性技术被引量：2
《自动化学报》2009年第10期1296-1301,共6页朱兴军 张永刚 李莹 张长胜 
国家自然科学基金(60773097);吉林省青年科研基金(20080107)资助~~
相容性技术是求解约束满足问题的重要手段.本文针对目前已有相容性算法的单值传播特点,提出多值传播理论,证明出k次单值传播与一次多值传播的等价性,在此基础上,给出多值传播的弧相容定理.将该定理与目前流行的Singleton弧相容技术结合...
关键词：约束满足问题 相容性技术 多值传播 Singleton弧相容 
基于模态逻辑D公理系统的Conformant规划方法被引量：6
《计算机研究与发展》2009年第7期1160-1168,共9页吕帅 刘磊 李莹 石莲 
国家自然科学基金项目(60603031;60773097;60873044);高等学校博士学科点基金项目(20050183065;20060183044;20070183057)~~
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的...
关键词：conformant规划 模态逻辑 自动推理 可满足性 公理系统 D公理 
基于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算法...
关键词：定理机器证明 命题逻辑 扩展规则 启发式策略 归结 
基于自动推理技术的智能规划方法被引量：22
《软件学报》2009年第5期1226-1240,共15页吕帅 刘磊 石莲 李莹 
国家自然科学基金Nos.60603031;60773097;60873044;高等学校博士学科点专项科研基金Nos.20050183065;20060183044;20070183057;吉林省科技发展计划项目No.20060532~~
对几种智能规划方法中利用的逻辑演绎与推理技术予以分析,分别介绍利用命题逻辑的基于可满足性的规划方法与规划系统,利用模态逻辑与析取推理的Conformant规划方法与规划系统,利用非单调逻辑的规划方法和利用模糊描述逻辑的Flexible规...
关键词：智能规划 命题逻辑 模态逻辑 非单调逻辑 描述逻辑 自动推理 可满足性 
一种新的基于完全独立相容性的预处理技术被引量：3
《自动化学报》2009年第1期71-76,共6页朱兴军 孙吉贵 张永刚 李莹 
圉家自然科学基金(60773097);吉林省青年科研基金(20080107)资助~~
研究了求解约束满足问题(Constraint satisfaction problem,CSP)中的预处理技术.首先提出了子论域上的完全独立相容性(Entirety singleton consistency,ESC)概念和相应算法,分析并证明了算法的复杂性和正确性,而后对其两条重要性质进行...
关键词：约束满足问题 预处理技术 完全独立相容性 分治策略 
一种新的基于扩展规则的定理证明算法被引量：17
《计算机研究与发展》2009年第1期9-14,共6页孙吉贵 李莹 朱兴军 吕帅 
国家自然科学基金项目(60773097);高等学校博士学科点基金项目(20050183065);吉林省青年科研基金项目(20080107)~~
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性质,设计并实现了该性质的判定算法.此外,从理论上分析及证明了该判定算法的时间和空间复杂性.基于此,提...
关键词：定理机器证明 命题逻辑 扩展规则 可满足性问题 归结 
一种基于预处理技术的约束满足问题求解算法被引量：11
《计算机学报》2008年第6期919-926,共8页孙吉贵 朱兴军 张永刚 李莹 
国家自然科学基金项目“扩展规则推理方法研究”(60773097)资助~~
相容性技术作为约束满足问题的一种有效求解技术，不论是在求解前的预处理过程中，还是在搜索过程中，都扮演着极为重要的角色。文中对预处理阶段的相容性技术进行改进和信息抽取，提出两种应用于搜索过程中的新算法Pre-AC和Pre-AC^＊...
关键词：约束满足问题 弧相容技术 singleton弧相容 pre-弧相容 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部