《基於描述邏輯的事件推理關鍵問題研究》是依託上海大學，由劉煒擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：基於描述邏輯的事件推理關鍵問題研究
- 項目類別：青年科學基金項目
- 項目負責人：劉煒
- 依託單位：上海大學
中文摘要,結題摘要,
中文摘要
作為一種大粒度的知識單元，事件是網際網路上重要的信息載體，越來越受到學術界的重視。相比傳統的基於概念的知識單元，事件具有動態性，其狀態會隨時間發生變化，事件之間存在本質的內在聯繫，體現出更複雜的語義信息，事件推理更接近於人類大腦的聯想和推理方式。在人工智慧領域，描述邏輯是當前套用最廣泛的知識表示語言之一，並作為標準本體語言的邏輯基礎。經典的描述邏輯適合於靜態概念的表示和推理，但對於事件知識處理有明顯的局限性。本項目深入分析學術界關於事件的研究成果，從實用角度構建基於描述邏輯的事件表示邏輯和推理機制。分別研究以下關鍵問題：基於描述邏輯的事件、事件要素以及事件關係的語法表示和語義解釋；在事件語義空間內描述邏輯與動作、時間及模態邏輯的整合擴展；以擴展描述邏輯為主的事件推理方法及算法；事件推理的示範原型開發。本研究不僅能促進事件表示與推理語言的發展，而且對事件本體的套用研究有重要的支撐作用。
結題摘要
將“事件”作為知識單元，對本文事件信息進行表示和推理，更接近於人類的認知過程。近年來，基於事件的知識模型理論、表示方法和信息處理技術成為語義Web社區的研究熱點，並湧現了一些研究成果，但仍然存在一些問題，如缺少事件知識表示的邏輯基礎，對事件知識的推理研究不夠等。本項目深入分析學術界關於事件的研究成果，從實用角度構建基於描述邏輯的事件表示邏輯和推理機制，取得一系列研究成果。包括：（1）提出基於擴展描述羅的事件動作表示和推理框架，以擴展的帶時間維描述邏輯T-DL和邏輯程式為基礎，構建了兩種知識表達能力不同的動作形式框架，能較全面地將事件知識中的動態特性、時間特性和非單調性在動作的表示與推理中刻畫出來，為動態知識的表示與推理提供形式化邏輯基礎；（2）提出基於要素投影的事件形式化及推理方法，該方法創造性地提出事件要素投影理論，並結合傳統描述邏輯SROIQ和要素投影實現對事件本體的形式化表示，嘗試實現事件、要素、狀態等在統一形式化框架中的表示和推理，挖掘事件關係之間的要素聯繫及性質規律，提高形式化框架的表達能力和推理能力；（3）提出基於事件本體的要素推理和識別方法，利用事件本體和基於規則的推理方法實現要素的自動識別，相比傳統的基於規則的方法，依賴的規則數量較少，相比傳統的基於機器學習的方法，該方法對語料的依賴性減弱，且對語料的數量沒有要求，項目還開發相應的要素推理軟體原型；（4）提出了一種基於擴展描述邏輯的事件實例檢測方法，該方法利用事件中的時間、動作、環境要素對事件進行語義補充，然後利用擴展描述邏輯中概念的可滿足性和概念包含的推理功對事件實例進行檢測，準確率達到85.12%；（5）提出了面向突發事件的文本語料自動標註方法，並利用該方法開發了環境污染突發事件語料庫；（6）提出事件本體模式概念，事件本體設計模式可從形式上捕獲重現的事件本體模型，並實現已存在的事件本體辭彙的重用，來簡化事件本體構建過程，並避免一些常見的錯誤。
