归结推理相关论文
随着通信网络的发展和通信业务的拓展,对通信网络的管理和维护越来越复杂,网络管理的智能化和自动化是未来的发展方向.本文首先介......
表推演方法作为一种经典逻辑和各种非经典逻辑统一的推理框架，近年来受到人们的普遍关注，并已用于实际推理系统中。本文旨在介绍经典......
不确定性知识处理是人工智能研究中经常遇到的问题,基于定性映射的属性Petri网模型在动态表示认知思维中不确定性知识与逻辑推理方......
在文献[3],[7]基础上,重新定义了算子格中的算子对格元素的作用,并引进了结合算子格的概念,改进了算子Fuzzy逻辑。为限定词的表示......
本文将Ｐ．Ｅｎｊａｌｂｅｒｔ和Ｌ．Ｆａｒｉｎａｓ ｄｅｌ Ｃｅｒｒｏ提出的模态旭结推理方法推广到命题模态逻辑Ｄ４和Ｄ４系统，建立了Ｄ４逻辑的归结推理ＲＫ４；Ｋ４逻辑的归结推理Ｋ４，分别证明了Ｋ４和ＲＤ４关于Ｋ４和Ｄ４的可靠性和......
本文通过对现阶段人工智能括号使用中存在的一些弊端分析,提出用层次括号替代现用括号,作以减少和消除由于括号使用不当和误解引起......
谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多.文章主要论述在一阶谓词逻辑描述下,归结推理的方法和步骤,以及其中主要......
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻......
知识表示、知识推理和知识应用是人工智能的核心问题。目前，基于非经典逻辑的自动推理系统由于它加速了人工智能的发展而越来越引起......
本文分析了用归结原理进行问题求解的方法，并对非确定性问题提出了三种求解方法。...
