知识编译相关论文
知识编译作为人工智能的重要方向,在实时查询和推理中起重要作用。有序二元决策图(ordered binary decision diagram,OBDD)是知识......
智能规划是设计某个(组)实体从初始状态出发,到达目标状态的动作序列,其结果被称为规划解。目前的规划求解器只能求解问题的一个解......
自动定理证明一直是人工智能领域中最重要的问题之一。定理证明中通常的想法是通过推出空子句的方法来判定子句集的可满足性。本文......
知识编译作为自动推理技术的一个方面,通常用来处理命题逻辑知识库,其基本思想是将给定的知识库转换成范式的形式,从而提高对命题......
“知识编译”这一术语是指:给出某知识K 和一个知识编译函数 C,将 C 作用于 K 得出编译知识 K’;即:C(K)=K’。假设对完成某一信......
精确地讲,什么是知识编译?它是否具有多种含义?什么是深层知识和表层知识?几位专家对此及其它问题作了探讨。
To be precise, wha......
讨论了一个称为ＲＴＦＤＥＳ的故障诊断专家系统的结构和实现过程，ＲＦＤＥＳ是由知识库管理子系统ＫＢＭＳ和故障诊断子系统ＤＳ组成．它采用产生式和二元树两种知识表示......
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带......
知识编译是处理命题逻辑知识库常用的一种新技术，知识编译的过程就是把知识转换成易于推理的表示形式。作为一种有效的推理机制，这种......
遗忘在知识表示与推理领域扮演着非常重要的角色。遗忘在多种逻辑语言中都有大量的研究,被广泛应用于诸多领域。模态逻辑适用于智......
DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设......
基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理......
提出一个新的基于DPLL的编译算法KCDP，从而成功地将EPCCL理论和SAT求解联系起来，使得目前很多应用在基于DPLL的SAT求解器中先进的技......
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复......
#SAT问题是SAT问题的扩展，需要计算出给定命题公式集合的模型个数，通过将问题求解沿着归结的反方向进行，并利用容斥原理解决由此带来......
提议对加权库进行分层,一方面符合人类的思维习惯,另一方面能够提高推理效率.首先说明现有的针对非分层加权库的编译方法也适用于......
超扩展规则是对扩展规则的扩充，基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集，并......
如何让智能体像人一样具备遗忘的能力,目前仍然是人工智能所面临的最大挑战之一。遗忘在基于符号逻辑的知识表示与推理领域和基于......
基于伪自然语言理解，提出并实现一种高效率的知识获取方法，首先。知识工程师利用在结构上类似自然语言的非常简单的ＢＬ语言，改写书本非常......
基于书本知识，提出并实现一种高效率的多媒体信息获取方法，利用在结构上类似自然语言的非常简单的计算机语言改写书本自然描述，并应用......
定义了一类新的易处理理论：s-EPCCL理论.在此基础上,提出了一种以s-EPCCL理论为目标语言的多值知识编译方法.该方法与现有知识编译......
提出一种新的基于知识编译的模型计数方法——MTREE.该方法以一个否定范式（NF）作为输入,利用命题表推演过程,结合香农扩展和简化规则......
超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所......
DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策......
在基于扩展规则的知识编译算法的基础上提出了2种启发式策略：MCN策略和MO策略．MCN策略和MO策略利用子句集的信息分别选择相应子句和......
描述逻辑是一种基于概念描述的知识表示语言，是人工智能领域中的一个重要研究方向。增强描述逻辑的表达能力，提高描述逻辑的推理效率......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
为了提高扩展规则的扩展性能,提出了超扩展规则,并证明了其与扩展负超归结之间的关联关系。KCER算法中使用扩展规则扩展子句,利用......
在现实世界中,事物以及事物之间的关系是极其复杂的,由于客观存在的随机性、模糊性以及某些事物或现象体现的不充分性,导致人们对......
自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的......
