Linear Programming (LP) is a very useful mathematical programming tool for solving various optimization problems in many application areas. However in the life cycle of LP model development, there has been little support in the modeling stage. The necessary aids in modeling include not only the syntactic knowledge of LP structure, but also semantic knowledge of application domain.
In this thesis, we propose a method that the LP modeling process can be supported by a knowledge base. Modeling knowledge is thus represented in frames with the additional features like object concept. Frame representation can describe the model in multiple point of views, and can adopt to the dynamic change of the modeling situations. The dialog and explanation can also be generated by the modeling knowledge. The required data can be retrieved by tight coupling with existing DBMS using the syntaxdriven interfaces.
The propose knowledge-based modeling method can be used as a stand alone Decision Support System (DSS) and as a modeling part of the Post-Model Analysis (PMA) environment.
We have developed a prototype, KLIPF ($\underline{K}$nowledge-based $\underline{LI}$near $\underline{P}$rogramming $\underline{F}$ormulation), to implement our proposed method for the domain of production management. KLIPF is implemented using LISP on IBM-PC/AT.
線型計劃法은 여러 分野의 最適化 問題를 풀기 위해 널리 使用되는 數理計劃法 중의 하나이다. 線型計劃模型을 개발하는 全體 라이프 사이클에서 볼 때, 模型化 段階에 대한 컴퓨터 利用 側面에서의 支援은 거의 이루어지지 않고 있다. 이러한 模型化 段階에 대한 支援을 위해서는 線形 計劃法 自體에 대한 知識과 더불어 適用 分野에 대한 知識이 동시에 必要하게 된다.
이를 위해서 본 論文에서는 知識 베이스를 利用하여 線形計劃問題의 模型化 科程을 支援하는 方法을 提示하였다. 模型化를 위한 知識은 object 槪念을 追加한 프레임으로 表現하였다. 이러한 프레임 表現 方式을 使用함으로써, 同一模型을 여러 가지 觀點에서 提示해 줄 수 있으며, 多樣하게 變化하는 模型化 狀況에 對處할 수 있다. 시스템과 使用者와의 對話및 說明은 이러한 지식 베이스 내에서 導出되게 된다. 模型에서 必要로 하는 여러가지 파라메터의 값은 指定된 檢索 方法을 利用한 旣存의 데이타 베이스와의 連結을 통하여 얻게 된다. 이에 따라 模型化 科程에서의 資料 募集을 위한 努力을 덜 수 있다.
여기에서 提示된 知識을 基礎로 한 模型化 方法은 獨自的인 意思決定支援 體系로서 또는 事後模型分析 環境下에서의 模型 部分으로서 使用될 수 있다.
이러한 方法을 具現하기 위하여 生産 管理 分野의 線型 計劃 模型에 대하여 KLIPF ($\underline{K}nowledge-based \underline{LI}near \underline{P}rogramming \underline{F}ormulator$)
이라는 例題 시스템을 開發하였다. KLIPF은 IBM-PC/AT 상에서 LISP 言語를 使用하여 開發하였으며, 知識 베이스는 K-KRL을 使用하여 構築하였다.
