《專家系統中知識的多重表示及推理的真值維護》是依託上海交通大學，由楊傑擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：專家系統中知識的多重表示及推理的真值維護
- 項目類別：青年科學基金項目
- 項目負責人：楊傑
- 依託單位：上海交通大學
- 負責人職稱：教授
- 批准號：69505002
- 申請代碼：F0607
- 研究期限：1996-01-01 至 1997-12-31
- 支持經費：9（萬元）
項目摘要
知識表示及推理是人工智慧的重要基礎研究領域。本項目研究專家系統中知識的多重表示及推理的真值維護。解決了不同知識表示方法下知識的綜合、任務的分解、推理過程中論據與結論的一致性維護以及結論的解釋，克服了傳統知識表示和推理方法的局限性。非單調真值維護系統能兼備非單調定理證明器和問題求解器的功能，可實現基於解釋的學習。採用面向對象的編程技術軟體實現具有理論確定功能的專家系統框架，具有良好的人機互動界面。經實驗驗證了理論和軟體的正確性和實用性。研究成果在國內外學術期刊上發表論文15篇。研究成果可套用於專家系統、故障診斷、智慧型控制、自然語言理解等領域，已成功地套用於承擔的國家經貿委項目和國防預研項目中。
