[01338433]语义计算的逻辑理论与应用技术

随着数字资源和信息的快速增长,传统意义上的基于语法层面的数据和信息处理技术已越来越不能满足用户的需求,特别随着大数据时代的到来,如何在语义层面上来处理海量复杂数字资源和信息是一个具有挑战性的科学问题。本项目对语义计算的逻辑理论与相关应用技术进行了系统研究,在语义表示语言及其形式语义、基于描述逻辑的语义计算逻辑理论、基于回答集程序的语义计算逻辑理论、概念语义关联度计算和信息系统语义扩充等方面取得了系统性成果,为数据语义化和知识化奠定了理论基础,为语义计算的实用化提供了技术支持。历经10年,项目的主要科学发现如下： 1、基于描述逻辑的语义计算逻辑理论 描述逻辑是目前主流的语义表示语言之一,本研究成果对描述逻辑的语法、形式语义与推理算法进行了长期研究,提出了适合不同数据语义表达的一系列描述逻辑,并建立了对应的形式语义和可靠完备的逻辑推理算法。特别在非经典描述逻辑方面,将近似概念引入描述逻辑,创立了基于近似概念的粗描述逻辑,并将粗描述逻辑和（直觉）模糊描述逻辑进行了集成,提出了（直觉）模糊粗描述逻辑。 2、基于回答集程序的语义计算逻辑理论 回答集程序是计算机科学和知识表示与推理等领域的热门研究问题之一,也是一种语义表示语言,本研究成果对一阶回答集程序的环与环公式进行了深入研究：定义了一阶回答集程序的环和环公式,在环和环公式的基础上研究了回答集程序的一阶可定义性和不可定义性、程序的强等价性以及其它有关理论与应用问题。 3、语义计算应用技术 利用描述逻辑对信息系统进行了语义扩展,提出了一种基于语义（即描述逻辑本体）的信息系统模型,建立了语义信息系统的代数性质,并进一步利用模糊描述逻辑对语义信息系统进行了模糊化扩充,提出了模糊语义信息系统。在语义建模的基础上,利用描述逻辑推理（即本体推理）建立了冲突条件下信息系统的代数操作和代数性质,以及建立了基于信息系统的语义决策方法和不确定性度量理论。本研究成果利用半结构化网络知识库还给出了概念语义关联度计算方法及其在语义检索中的应用。 成果获得9项国家自然科学基金项目和7项省部级基金项目资助,发表在Artificial Intelligence、Knowledge-Based Systems、Fuzzy Sets and Systems、Information Processing ＆ Management、AAAI和KR等国际重要刊物或会议上,被ACM Transactions on Computational Logic、Journal of Artificial Intelligence Research、IEEE Transactions on Fuzzy Systems、Theory and Practice of Logic Programming和IJCAI等著名期刊或会议他引。部分成果获得2008年、2010年南粤科技创新优秀学术论文一等奖和2006年Ray Reiter最佳论文奖（KR 2006）。