归结推理相关论文
不确定性知识处理是人工智能研究中经常遇到的问题,基于定性映射的属性Petri网模型在动态表示认知思维中不确定性知识与逻辑推理方......
本文通过对现阶段人工智能括号使用中存在的一些弊端分析,提出用层次括号替代现用括号,作以减少和消除由于括号使用不当和误解引起......
定义一种只带原子命题以及命题算子的算子命题逻辑，讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻......
知识表示、知识推理和知识应用是人工智能的核心问题。目前，基于非经典逻辑的自动推理系统由于它加速了人工智能的发展而越来越引起......
本文分析了用归结原理进行问题求解的方法，并对非确定性问题提出了三种求解方法。...
