扩展规则相关论文
移动机器人路径规划属于机器人控制系统的重要应用基础问题,也是机器人研究领域一个关键的研究课题。机器人路径规划是指在有障碍......
现代企业事务性信息平台日趋完善,企业事务性数据大量采集和积累,超越了企业现有的数据消费能力,企业数据生产相对过剩,数据查询和分析......
智能规划是设计某个(组)实体从初始状态出发,到达目标状态的动作序列,其结果被称为规划解。目前的规划求解器只能求解问题的一个解......
智能规划是20世纪50年代后期迅速发展起来的一个前沿研究领域,近年来对该领域的研究取得了革命性的进展。其中,把规划问题编译为SA......
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数。扩展规则是与归结互补的一种高......
本文介绍了多边形网格造型细分技术的密切关系,对面向细分的多边形造型系统开发关键技术提供了有效的解决方案。讨论了系统数据结构......
本文针对基于粗糙集理论的不完备系统规则提取算法中或者效率很低,或者提取的规则集不完备,或者无法处理不确定性规则筹问题,通过......
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有......
介绍一种适合于Internet路由行为描述和分析的代数系统-路由网络代数(Routing Network Algebra简称RNA);介绍路由网络代数中的变量......
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法,首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性......
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数.通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带......
为提高各行业领域未登录词识别效果,提出一种基于扩展规则与统计特征的未登录词识别方法。分析行业领域未登录词构词特点,制定扩展......
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,它的单步扩展规则具有......
ERACC(Extension Rule Based on Accurate Configuration Checking)算法由杨洋等人基于扩展规则和格局检测提出,具有较高的推理效......
基于扩展规则的定理证明方法在一定意义上是与归结原理对偶的方法,通过子句集能否推导出所有极大项来判定可满足性.IER(improved exte......
在增添扩展规则的tableau方法的基础上提出了一种新的含等词tableau方法——等式合一方法,并证明了它的可靠性和完备性。在该方法中......
S5系统是一类知识表示能力和处理能力都较强的模态公理系统,它是认知逻辑、信念逻辑等非经典逻辑理论的基础。根据Kripke语义模型以......
DKCHER算法是基于超扩展规则的求差知识编译算法,也是目前为止表现最好的EPCCL理论编译算法.本文通过研究DKCHER算法的执行流程,设......
基于超扩展规则,证明了EPCCL(Each Pair Contains Complementary Literal)理论的合并过程是可并行执行的,并设计了针对多个EPCCL理......
基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrenc......
在扩展规则的基础上提出了可能性扩展规则.给出了基于可能性扩展规则的可能性逻辑推理方法,利用互补因子的概念来估价推理问题的复......
#SAT问题是SAT问题的扩展,需要计算出给定命题公式集合的模型个数,通过将问题求解沿着归结的反方向进行,并利用容斥原理解决由此带来......
#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用。在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使......
超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集、差集和并集,并......
#SAT在人工智能领域取得了广泛应用,很多现实问题可以规约成#SAT进行求解,得到命题理论的模型个数.通过对基于扩展规则的#SAT求解......
基于关系转换方法对模态逻辑进行转换,使用一阶扩展规则定理证明器对转换后得到的一阶片段进行推理,得到一种新的可用于模态逻辑的推......
准确、及时的网络拓扑信息对网络管理、协议设计和网络安全等领域工作具有重要意义。针对包含哑设备的大型、异构多子网拓扑发现问......
基于扩展规则的定理证明方法是一种与归结方法互补的新的定理证明方法.首先通过对扩展规则的深入研究,给出了扩展规则的一个重要性......
第一期 基于多模态子空间相关性传递的视频语义挖掘……刘亚楠 吴飞 庄越挺(1)一种新的基于扩展规则的定理证明算法……孙吉贵(逝世) ......
#SA T 问题又称模型计数(model counting )问题是人工智能领域的研究热点之一,在人工智能领域被广泛应用。在对基于扩展规则的#SAT 问题......
超扩展规则是对扩展规则的扩充,基于超扩展规则能够求得任意两个非互补且不相互蕴含的子句所能扩展出极大项集的交集与差集,并将所......
DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策......
提出一种新的基于扩展规则的#SAT求解算法NCER,该算法在#ER的基础上加入启发式策略.该策略每次选择当前子句集的最长子句来减小极......
提出命题扩展规则方法ER的一种高效实现.在此基础上,研究了扩展规则方法在3个领域的应用:提出一次性求解一系列相近SAT问题的快速算法......
蒙太格语法中有17条基本规则用来描述语言的基本构成,Partee 对这些基本规则进行的扩充,极大地增加了蒙太格语法系统所包罗的语言现......
针对求解#SAT问题时算法时间会随着子句集的规模迅速增加的问题,提出一种间接应用扩展规则的MCEHST算法。该算法首先求出子句集的......
归结方法是自动推理的重要方法之一,而扩展规则是与归结对称的方法,近年来引起了研究者的广泛关注。从扩展规则的相关概念、在命题逻......
设计描述元数据的首要关键点是元数据的结构及其扩展规则,本文就此问题进行探讨,并以古文献元数据为例说明描述元数据规范的基本结......
从二十世纪五十年代开始,自动推理就成为了计算机科学的一个核心研究领域,而可满足性SAT (Satisfiability)问题是自动推理最重要的......
人工智能被称为二十一世纪三大尖端技术之一,目前已深入到人们科研、工作和生活的各个领域,并在不断地发展。可满足性问题(SATisfiabi......
ue*M#’#dkB4##8#”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:(100084川C京市海淀区清华园申请人:清......
为了提高扩展规则的扩展性能,提出了超扩展规则,并证明了其与扩展负超归结之间的关联关系。KCER算法中使用扩展规则扩展子句,利用......
扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可.例如完......
为了研究网络敏感信息的传播,以及对互联网信息发布的监控,提出了一种敏感信息关键词库.此敏感词库主要针对目前网络技术环境与网络信......
自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的......
自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。......