模態邏輯的自動推理研究

《模態邏輯的自動推理研究》是依託吉林大學，由孫吉貴擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：模態邏輯的自動推理研究
• 項目類別：青年科學基金項目
• 項目負責人：孫吉貴
• 依託單位：吉林大學
• 負責人職稱：教授
• 批准號：69503004
• 研究期限：1996-01-01 至 1998-12-31
• 申請代碼：F0201
• 支持經費：8（萬元）

項目摘要

本課題組開始執行課題以來，按照課題的研究計畫和研究內容，對模態邏輯的知識表示方法、模態推理方法和溯因診斷推理，進行了深入細緻地研究。長期開展課題組學術討論班，並與國外建立學術交流。取得了一批重要的研究成果。發表學術論文25篇，其中計算機學報8篇，軟體學報4篇。模式識別與人工智慧1篇，吉大學報5篇，計算機科學2篇等。1997年，聯合獲得國家教委科技進步二等獎。具體在以下幾方面取得成果：1.模態邏輯的歸結推理方法與推理策略；2.次協調的模態邏輯及其推理方法；3.模態TABLEAU推理方法與模態知識表示；4.經典邏輯基於歸結方法的定理機器證明；5.溯因診斷推理方法、約束問題求解和模態邏輯程式設計。