分享到:

缺省推理中的三个定理

本文证明了缺省推理中的三个定理.定理1表明了缺省推理的非单调性这一特点.定理2的实际意义在于,在一个封闭规范缺省理论(D,W)中,只要  (本文共5页) 阅读全文>>

中国科学院研究生院(计算技术研究所)
中国科学院研究生院(计算技术研究所)

面向智能主体的动态描述逻辑研究

智能主体和多主体系统经过了20多年的研究和发展,已经成为人工智能甚至计算机科学的研究热点和重点之一,并已经广泛应用到很多领域之中。随着Internet的飞速发展、语义网的提出、网格计算的深入研究与发展,这种动态、开发、分布、异构和不确定的计算环境为主体技术提供了展现的舞台。主体技术正被认为是在复杂计算环境下构建可扩展的、健壮的、可重用的、一致的高质量软件系统的最有前途的技术之一。在智能主体的研究中,主体的设计必须建立在知识表示和推理的坚实理论基础之上。主体的知识表示和推理、心智状态模型以及内部运行机制等问题是主体研究的核心问题,是主体技术的关键部分。本文在分析了已有的主体理论模型、主体设计以及动作理论等相关研究工作所存在的问题的基础上,重点从知识的表示与推理和动态系统的表示与运作机制这两个方面来研究智能主体,形成了以动态描述逻辑为核心的智能主体的理论框架、模型和设计方法。本文的主要工作和创新点包括以下几个方面:(1)提出了一种新...  (本文共123页) 本文目录 | 阅读全文>>

《微电子学与计算机》1991年09期
微电子学与计算机

可能性理论与缺省推理

本文首先简单介绍了可能性理论和近...  (本文共5页) 阅读全文>>

《计算机学报》1993年02期
计算机学报

利用格论研究缺省推理

本文提出了一组转换规则,使用这组转换规则可以把缺省规则转换成扩展规则,然后使用这些扩展规则去扩展缺省理论的初始逻辑公式集合,...  (本文共8页) 阅读全文>>

《计算机学报》1993年11期
计算机学报

在一类缺省理论中关于证明理论的完备性问题

缺省推理是各种非单调推理系统中最有影响的系统之一,R.Reiter对规范缺省理论作了一系列的研究,他还提出了证明理论,并证明了这一证明理论对于...  (本文共7页) 阅读全文>>

《中国科学(A辑 数学 物理学 天文学 技术科学)》1993年03期
中国科学(A辑 数学 物理学 天文学 技术科学)

一般缺省理论的扩张

本文通过引入相容缺省子集与自相容缺省...  (本文共6页) 阅读全文>>

《计算机科学》1993年02期
计算机科学

缺省推理与认识进程

本文概述了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了有关新假设、事实反驳、假说的重构、认识进程及其极限等概念,...  (本文共9页) 阅读全文>>