基于扩展规则的模型计数与智能规划方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：woyingla

【摘要】

：

提出命题扩展规则方法ER的一种高效实现．在此基础上，研究了扩展规则方法在3个领域的应用：提出一次性求解一系列相近SAT问题的快速算法nER；提出基于扩展规则的模型计数算法#ER，同时

【作者】

：

赖永欧阳丹彤蔡敦波吕帅

【机构】

：

吉林大学计算机科学与技术学院,吉林大学符号计算与知识工程教育部重点实验室

【出处】

：

计算机研究与发展

【发表日期】

：

2009年3期

【关键词】

：

自动推理扩展规则命题可满足问题模型计数 Conformant规划 automated reasoning extension rule SAT model

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出命题扩展规则方法ER的一种高效实现．在此基础上，研究了扩展规则方法在3个领域的应用：提出一次性求解一系列相近SAT问题的快速算法nER；提出基于扩展规则的模型计数算法#ER，同时结合#ER和#DPLL的优点提出算法#CDE；设计基于扩展规则方法的Conformant规划系统．实验结果表明：使用nER算法一次性求解的时间远小于使用ER方法单独求解每个问题的总时间；对于互补因子较高的问题，#ER优于#DPLL；#CDE融合了#ER和gDPLL的优点．研究表明扩展规则方法对于互补因子较高的问题具有较大的优势

其他文献

“巡护”浅谈

护林巡护工作,就是管护工作者在林区内观察有无森林火情发生,有无乱捕乱猎、乱砍滥伐、毁林开垦、乱占林地等违法行为的发生并及时上报,它是管护工作中最基础、最基本的业务

期刊

管护工作森林火情乱砍滥伐违法行为业务工作经济活动生产活动火险等级

基于路径匹配的在线分层强化学习方法

如何在线找到正确的子目标是基于option的分层强化学习的关键问题．通过分析学习主体在子目标处的动作，发现了子目标的有效动作受限的特性，进而将寻找子目标的问题转化为寻找路径

期刊

强化学习分层强化学习OPTION子目标路径匹配matching reinforcement learning hierarchical reinfor

一种异构可重构片上系统的实时任务调度算法

动态可重构系统中为新到达的任务实时地安排任务启动时间和放置位置是硬件任务调度算法的关键.硬件任务的调度在很大程度上影响可重构计算系统的性能.提出了一种基于二维资源

期刊

异构可重构片上系统调度算法可重构计算在线调度嵌入式系统hybrid reconfigurable system-on-chip scheduling

百合的高效栽培技术

“中国——以色列旱区农业示范培训中心”是中国和以色列两国进行科研合作、在新疆共同建设的国家级项目。是一个集农业技术研究与示范、技术交流与培训、科研成果推广、农业

期刊

农业职业技术学院栽培技术百合现代化智能温室干部培训中心科研成果推广旱区农业农业生产

道路桥梁工程的原材料试验检测技术

作为城市建设的脉络,道路桥梁工程项目的建设能够确保人们的出行安全,因此,加强道路桥梁工程项目的建设质量显得非常重要。然而,原材料的质量是确保道路桥梁建设质量的关键,

期刊

道路桥梁工程原材料试验检测

实际气体介质离心压缩机级气动性能相似性分析

为研究某一离心压缩机模型级气动性能是否随不同实际气体介质变化,通过验证数值模拟与实验结果的符合性,采用数值方法对比分析了以空气为原始工作介质和以R134a（氟利昂）、CH_4（

期刊

离心压缩机实际气体当量转速气动性能centrifugal compressorreal gasequivalent rotation speedaero

基于扩展规则的模型计数与智能规划方法

其他学术论文