超协调缺省逻辑及其应用

项目名称： 超协调缺省逻辑及其应用

项目编号： No.60973003

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 自动化技术、计算机技术

项目作者： 林作铨

作者单位： 北京大学

项目金额： 29万元

中文摘要： 超协调缺省逻辑是一种非单调超协调逻辑，作为缺省逻辑的一种超协调扩展形式，刻画在不完全与不协调知识下推理的基本特征。本项目研究超协调缺省逻辑的理论基础，算法实现和应用系统，提出几种重要的超协调缺省逻辑系统，给出它们的语义，证明论，算法,计算复杂性和实现结果，实现不完全与不协调知识下常识推理系统，建立语义Web中具有不完全和不协调本体的表示和标准，应用超协调缺省逻辑解决人工智能中常识知识表示与推理问题。超协调缺省逻辑是人工智能中关于常识推理的研究进展，在计算机科学与人工智能中具有广泛的应用前景，对于处理非规范知识，常识推理，基于知识的系统，知识/本体库，语义Web，动态环境下复杂软件系统等是重要的理论基础和关键技术。

中文关键词： 超协调缺省逻辑；超协调非单调逻辑；常识推理；人工智能；语义Web

英文摘要：

英文关键词： paraconsistent default logic；paraconsistent nonmonotonic lo；commonsense reasoning；artificial intelligence；semantic Web