《軟體自動化中類比推理技術的研究》是依託復旦大學，由呂建國擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：軟體自動化中類比推理技術的研究
- 依託單位：復旦大學
- 項目類別：青年科學基金項目
- 項目負責人：呂建國
- 批准號：69305004
- 申請代碼：F0603
- 負責人職稱：講師
- 研究期限：1994-01-01 至 1995-12-31
- 支持經費：10（萬元）
項目摘要
此項研究的主要結果是①我們提出了一個類比程式設計的理論體系，它結合了形式化軟體開發方法和比推理的特點，具有形式化程度高、程式正確性易乾保證、適用面廣等特點。②我們提出了高階一般化在類比推理中的重要作用，並深入研究了這一問題，給出了適用於一類問題的多項式算法。另外，指出了歸納推理在類比程式設計中的作用。③指出了程式推導的形式代表示的重要性，並設計了一種程式推導表示語言，提供了機器支持。④進行了大量認知實驗，得出了進行類比需求獲取的一些規律。⑤構造了類比程式推導的實驗性系統。
