本体修正问题研究

基金项目类型：

国家自然科学基金

基金项目编号：

60903131

来源网站：

国家自然科学基金委员会

来源网址：

http://www.nsfc.gov.cn/

负责人：

孙瑜

完成单位：

云南师范大学

中文关键词：

本体; 信念修正; 本体修正; 缺省逻辑;

其他语种关键词：

Ontology; Belief Revision; Ontology Revision; Default logic

项目类型：

青年科学基金项目

语种：

中文

开始日期：

2010-01-01

结束日期：

2012-12-31

中文摘要：

本体修正是研究本体的构建和维护的一个逻辑理论，是考虑在增加新知识的同时维护本体的协调性和完整性的手段之一。信息系统的本体修正中常常出现结构不清、矛盾和冗余等问题，因此，需要建立一套有效的本体修正的理论和方法。 本项目基于信念修正公理化方法对本体修正的逻辑基础进行研究。首先，对本体的构建过程进行研究，提出本体系统的语言和推理规则，并且利用缺省理论来分析本体的协调性；然后，基于信念修正公理化方法，根据本体的特性，提出本体修正基本假定和满足该基本假定的本体修正公理系统，并且根据修正断言与本体的协调性，提出满足该公理系统的一个具体的本体修正算子；最后，将信念修正推广到缺省理论，对本体修正和信念修正进行形式化的比较和分析。 这方面的研究结果将改善目前逻辑理论与实际应用脱离的现状, 在知识表示, 分析和推理方面有一定的理论意义和实用价值。