消解原理相关论文
一个大型软件的体系结构应该是一个分层次的体系结构，每一层都是该软件的一个体系结构。位于最上层的体系结构是最抽象的，位于最下层......
在分布式系统中，既有共享概念的领域本体，又存在个体的知识组织个性，因此个性化本体的研究具有重要的现实意义。本文基于开放系统假设......
消解算法对命题逻辑定理自动证明是普遍能行的,但现行消解证明只能归属于反证法.本文提出直证式消解原理,从析取范式能否消解出最......
谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理．是人工智能产生和发展的最重要的理论基础。本文从具体事例出发，解析了谓词......
