首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 15 毫秒
1.
不精确推理和非单调推理是人工智能中两个重要的研究方面.分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ATMS,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法.它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性.  相似文献   

2.
不精确推理和非单调推理是人工智能中两个重要的研究方向。分析了基于概率的不精确推理和基于真值维护系统的非单调推理的各自特点和局限性,将论据的优先级和可信度引入ATMS,提出了结合优先级和可信度的非单调真值维护系统,并给出其算法,它能有效地处理不完全领域知识下的推理,结合不精确推理和非单调推理的优点,克服两者的局限性。  相似文献   

3.
基于三值语义的非单调逻辑   总被引:1,自引:0,他引:1  
本文给出一种三值非单调逻辑形式,它一方面可推广标准非单调逻辑到三值情形,另一方面它能捕捉各种非单调逻辑作为特殊形式,特别地,我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系.  相似文献   

4.
Relier的缺省逻辑存在着局限性.它无法表示缺省规则之间的优先级,无法处理缺省规则中析取,并且不满足累积性.虽然Brewka提出带优先级的缺省逻辑和累积缺省逻辑,但不能完全克服上述局限性.本文介绍了分层ATMS,然后指出用分层ATMS实现的缺省逻辑能克服现有缺省逻辑中的局限性.  相似文献   

5.
本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样,这本研究论文试图系统地回答“什么是非单调推理?”这个问题,它是对作者前一本书的补充,给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑,这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。  相似文献   

6.
带有固定步长的非单调信赖域方法   总被引:3,自引:0,他引:3  
该文提出一种新的非单调信赖域方法.当试探步不能被接受时,算法沿着试探步的方向求得下一个迭代点,其中步长利用固定公式计算.这种方法既避免了重复求解信赖域子问题,又减少了线搜索方法计算函数值的次数.该文采用的非单调策略是基于张洪超和Hanger(2004)出的非单调线搜索技术.在适当的条件下,证明了算法的全局收敛性及超线性收敛性.最后给出了初步的数值实验结果.  相似文献   

7.
由于仅以一阶逻辑无法刻画出人类推理过程中的非单调性,因而逻辑学家尝试建立新的逻辑系统来解决这一问题。这些系统被称为非单调逻辑。它们传统上一般采用的是优先蕴含或者一致性和不可证明性方法;而从20世纪80年代末90年代初开始,越来越多的逻辑学家开始尝试基于一种新的方法实现推理的非单调性,称为论辩理论。为此,探讨论辩系统以及其后基于论辩系统而提出的论辩框架是如何刻画非单调推理的,并分析它们相互之间的联系。  相似文献   

8.
利用非线性互补问题(NCP)的F-B价值函数,基于PRP+型共轭梯度算法,结合Gu N.Z.的新的非单调搜索技术提出新的利用F-B价值函数求解非线性互补问题(NCP)的非单调共轭梯度算法,该算法保持了共轭梯度算法和非单调数据的优良性质.在适当的条件下,证明了算法的全局收敛性,数值实验证明是有效的,适合解决大规模非线性互补问题.  相似文献   

9.
本文研究了相信逻辑在相信蕴涵下的某些性质.在相信蕴涵的定义下,相信逻辑是非单调的.本文给出了几个相信逻辑的单调性的充分且必要条件.还证明了一个默认理论的延伸恰好就是对应的相信理论的相信公式的所有相信蕴涵式的全体.从而给默认理论的延伸以一个较为直观、简洁的表述.  相似文献   

10.
提供了仿射内点回代技术的最优路径法解线性不等式约束的非线性优化问题,通过构造的最优路径得到搜索迭代方向,结合非单调内点回代线搜索技术获得可接受的步长因子,从而产生保证目标函数值非单调下降的严格内点可行迭代序列.基于最优路径的良好性质,证明了在合理的假设条件下,算法不仅具有整体收敛性而且保持超线性收敛速率.引入非单调技术能克服高度非线性的病态问题,加速收敛性进程,数值计算结果表明了算法的有效性.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号