欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
位置：立项数据库 > 立项详情页
中文摘要：
课题组自2008年1月开始承担自然科学基金项目"扩展规则推理方法研究"。对基于扩展规则的推理方法及其应用进行了深入的研究。发表论文30多篇，其中《Information Processing Letters》和《Expert Systems with Application》国际期刊杂志论文各1篇，《计算机学报》论文3篇，《软件学报》论文3篇，《计算机研究与发展》论文6篇，《自动化学报》论文3篇，《电子学报》论文2篇。2篇论文被SCI检索，24篇论文被EI检索。主要成果为提出了基于IMOM和IBOHM两种启发式策略的扩展规则推理方法；给出了判定一极大项是否可由给定子句集扩展的充要条件，并给出相应的新的基于扩展规则的定理证明算法NER；提出了四种基于扩展规则的模型计数方法；建立了基于可能性扩展规则的推理方法；改进了基于 Graphplan 的编码方法，提出了两种能够处理通用定义的 Conformant 规划问题的组合规划方法；设计了一个基于多值变量的一致性规划系统JLU-CD；设计实现了BiSAC-2和BiSAC-DF等多个基于singleton 弧相容的高效约束求解算法。
结论摘要：
英文主题词heuristic strategy; extension rule;model counting; intelligent planning; constraint solving;
成果综合统计
期刊论文
会议论文
专利
获奖
著作
期刊论文
相关项目
张永刚的项目
