检索结果-南通市图书馆

多值知识编译

引用

东北师大学报（自然科学版） 2011年第4期43卷 44-48页

作者：谷文祥郭鸿鹤殷明浩王金艳刘日仙东北师范大学计算机科学与信息技术学院吉林长春130117 金华职业技术学院信息工程学院浙江金华321017

定义了一类新的易处理理论:s-epccl理论.在此基础上,提出了一种以s-epccl理论为目标语言的多值知识编译方法.该方法与现有知识编译方法不同的是,它可以对多值知识库进行编译.经过多值编译后,任意查询都可以在多项式时间内得到应答.

关键词：多值逻辑知识编译标记逻辑 epccl

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于扩展规则的#QBF求解系统的研究及实现

基于扩展规则的#QBF求解系统的研究及实现

引用

作者：杨永娟东北师范大学

学位级别：硕士

智能规划是设计某个(组)实体从初始状态出发,到达目标状态的动作序列,其结果被称为规划解。目前的规划求解器只能求解问题的一个解,不能求解问题的所有解的个数,如对手规划,二人游戏赢的所有策略数等问题。虽然这些智能规划问题可以通... 详细信息

智能规划是设计某个(组)实体从初始状态出发,到达目标状态的动作序列,其结果被称为规划解。目前的规划求解器只能求解问题的一个解,不能求解问题的所有解的个数,如对手规划,二人游戏赢的所有策略数等问题。虽然这些智能规划问题可以通过相应的处理器(BlackBox)转化成#QBF问题进行求解,但是目前还没有开发出#QBF求解器。针对这一问题,本文提出了一类新的求解#QBF问题的方法——基于扩展规则的#QBF计数方法,用来求解相应的智能规划问题。这类方法的基本思想是利用扩展规则把原公式扩展成和它等价的极大项组成的集合,然后利用极大项的个数来进行#QBF计数,并利用容斥原理来解决空间复杂性问题。这类方法与基于归结的方法相比,当包含互补文字的子句越多时效率越高,因此它们可以看作是和归结互补的方法。基于此思想,本文首先提出了一种基本的基于扩展规则的#QBF计数方法;然后,为了提高效率,本文还提出了一种改进的#QBF计数方法,即基于知识编译的方法,其思想是把要求解的问题应用扩展规则编译成epccl语言,然后进行#QBF计数;最后,受组件分析思想的启发,本文提出了基于组件分析的#QBF计数方法,这种方法的思想是把要求解的问题先分解成组件,然后对每个组件利用扩展规则进行求解。由于该方法中还加入了单文字处理的功能,所以与前两种方法相比,它不仅可以处理比较一般的#QBF计数问题,还可以处理规模较大的#QBF计数问题。在给出算法的基础上,本文采用C++语言对算法进行了实现,设计了基于扩展规则的三个#QBF计数系统:#ER、#KCER和#CSER,并用实例对其性能加以测试。实验结果表明,在处理一般问题时,#ER的时间复杂性是指数级的,效率比较低;#KCER算法理论上要优于#ER算法,但是经过编译后的子句集扩大的规模在最坏情况下是指数级的,所以它的效果也不尽如人意;#CSER算法由于加入了单文字处理和组件分析的功能,使得它处理问题的能力比前两种方法要好。由于目前国内尚没有一个公开成型的基于扩展规则的#QBF计数器,所以本文的三个系统特别是#CSER系统将具有一定的研究价值与应用前景。

关键词： #QBF 扩展规则知识编译 epccl 组件分析单文字

来源：

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：