《布爾運算元模糊邏輯及其自動推理研究》是依託東北師範大學，由鄧安生擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：布爾運算元模糊邏輯及其自動推理研究
- 項目類別：青年科學基金項目
- 項目負責人：鄧安生
- 依託單位：東北師範大學
- 負責人職稱：教授
- 批准號：69703010
- 研究期限：1998-01-01 至 2000-12-31
- 申請代碼：F06
- 支持經費：10（萬元）
項目摘要
本項目引入人工智慧與決策支持系統理論,以運籌學規劃模型為研究對象,以解決動態模型的知識表示和符號化知識的推理與處理為突破口,重點研究模型知識表示與智慧型建模支持系統,主要成果有:①將模型的求解轉化為狀態空間圖中最佳路徑的搜尋,創造性地提出基於狀態空間技術的運籌學規劃模型的知識表示體系;②建立規劃模型的產生式求解系統;③提出由實際問題→知識化信息模型→知識化數學模型→ 知識化求解模型的轉化與生成理論,建立投資決策等問題的智慧型建模支持系統,④完成研製稿件處理的智慧型決策支持系統的套用研究;⑤發表論文12篇,部分被ISTP和SA收錄.本項研究為運籌學注入求解動態問題的機制,在動態系統實時控制領域具有廣闊的的套用前景.
