【摘 要】
：
基于逻辑的知识表示与推理一直是理论计算机科学中人工智能研究的核心问题之一,大规模以及不完全知识库的快速涌现为知识库共享和不一致性处理提出了新的挑战.Lin和Reite
【机 构】
：
贵州大学计算机科学与技术学院贵州科学院
论文部分内容阅读
基于逻辑的知识表示与推理一直是理论计算机科学中人工智能研究的核心问题之一,大规模以及不完全知识库的快速涌现为知识库共享和不一致性处理提出了新的挑战.Lin和Reiter在1994年为一阶逻辑提出的遗忘理论(即删除中间变量)被证明是知识库处理的重要手段,可用于溯因推理、不一致性处理、多智能体协商以及知识抽取与合并等各个方面.近年来,遗忘理论被推广到(1)经典逻辑及其子类,包括命题逻辑、一阶逻辑及各种描述逻辑；(2)模态逻辑S5,(3)描述不完全知识的非单调形式系统,主要是基于回答集语义的逻辑程序.由于非单调逻辑中的等价性概念不同于单调逻辑,我们以单调逻辑(经典逻辑和模态逻辑S5)的遗忘理论研究为线索,介绍非单调逻辑(特别是回答集程序设计)的遗忘理论中一些重要问题,特别是遗忘的一些公设/原则问题、可表达性问题、复杂性问题等；并介绍这方面研究的国内外最新进展.
其他文献
Our purpose is to obtain gradient estimates for certain nonlinear partial differential equations by coupling methods.First we derive uniform gradient estima
In this paper,we establish a novel connection between a commonly used null hypothesis and a rank-reducible varying coefficient model in quantile regression.
In this talk we consider partially linear varying coefficient models.We provide the robust orthogonality-based estimator of the the parametric part as well
We will show the relationship between QED constant and other quasiconformal constants and get the sharp upper bound of QED constant by using boundary dilata
In the paper,generalized orders and generalized types of Laplace-Stieltjes transforms defined in the right half-plane are given.Some interesting relationshi
In 1958 E.Heinz obtained a lower bound for |(a)xF|2 + |(a)yF|2,where F is a one-to-one harmonic mapping of the unit disk onto itself keeping the origin fixe
For fixed positive integers k and s,a(k; s)-CNF-formula means that every clause has exactly k literals and each variable occurs at most s clauses in the for
裂纹是材料与结构中最常见、危害性最大的缺陷类型之一。同时，裂纹具有明显的方向性，当裂纹方向与结构承载相垂直时，裂纹的危害最大，结构极易发生突然断裂。因此，裂纹方向的识
The setting-time reducibility
厚度非均匀的金属板状结构，特别是金属楔形构件在工业材料及其零部件中有广泛的应用。楔体使用时由于外部应力的作用和使用环境湿度、温度的变化，都可能引起其内部缺陷的扩