基于描述逻辑的事件推理关键问题研究

项目名称： 基于描述逻辑的事件推理关键问题研究

项目编号： No.61305053

项目类型： 青年科学基金项目

立项/批准年度： 2014

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

项目作者： 刘炜

作者单位： 上海大学

项目金额： 24万元

中文摘要： 作为一种大粒度的知识单元，"事件"是互联网上重要的信息载体，越来越受到学术界的重视。相比传统的基于概念的知识单元，"事件"具有动态性，其状态会随时间发生变化，事件之间存在本质的内在联系，体现出更复杂的语义信息，事件推理更接近于人类大脑的联想和推理方式。在人工智能领域，描述逻辑是当前应用最广泛的知识表示语言之一，并作为标准本体语言的逻辑基础。经典的描述逻辑适合于静态概念的表示和推理，但对于事件知识处理有明显的局限性。本项目深入分析学术界关于事件的研究成果，从实用角度构建基于描述逻辑的事件表示逻辑和推理机制。分别研究以下关键问题：基于描述逻辑的事件、事件要素以及事件关系的语法表示和语义解释；在事件语义空间内描述逻辑与动作、时间及模态逻辑的整合扩展；以扩展描述逻辑为主的事件推理方法及算法；事件推理的示范原型开发。本研究不仅能促进事件表示与推理语言的发展，而且对事件本体的应用研究有重要的支撑作用。

中文关键词： 事件知识表示；描述逻辑；知识推理；事件本体；要素投影

英文摘要： As a large-grained unit of knowledge, 'event' is an important information media on web, which has attracted more and more attention and high regards from the academia. Compared to concept-based traditional knowledge unit, 'event' is dynamic and of state-changing, there are intrinsic relationships between different events, reflecting more complex semantic information, event reasoning is more close to the association and reasoning mode of human brain. In the field of artificial intelligence, description logic (DL) is the one of the most widely used formal knowledge representation language, and as the logical basis of the standard ontology language. The traditional DL is suited to describe and reason certain and static knowledge, however, there are obvious limitations while dealing with event-based knowledge. By thoroughly analyzing the results about 'event' from various research fields, this project plans to study on following issues: extending the syntax and semantical interpretations of DL to represent event, event factors and event relations; integrating action formalism, temporal logic and modal logic with description logic within the event semantical interpretation; event reasoning techniques and algorithms based on extending description logic; development of prototype application system of event-based reason

英文关键词： Event-based Knowledge Representation；Description Logic；Knowledge Inference；Event Ontology；Event Element Projection