Knowledge-assisted Optimization Model Formulation UNIK-OPT

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 249
  • Download : 0
In this paper, we describe a knowledge-assistedoptimizationmodelformulation system UNIK-OPT (UNIfied Knowledge-OPTimization). To envision the desirable features of UNIK-OPT, we first establish the design criteria of knowledge-assisted modeling systems. The most distinctive criterion pursued in this research is the independent management of knowledge base from multiple optimizationmodels. To achieve these criteria, we articulate four levels of modeling views: semantic view, modeling language view, mathematical notational view and tabular view. In semantic view, the associations between attributes, blocks of terms and constraints are represented in a constraint network, and a block of terms is represented as a pair of coefficient and variable. Thus, the formulation reasoning is esteemed as a process of helping the construction of a specific semantic model by adding user's problem definition to the extracted relevant semantic level modeling knowledge. Then the specific semantic model can be transformed into other views of model automatically. The prototype UNIK-OPT is developed to realize this idea, and is illustrated with a refinery plant.
Issue Date

Int'l Conference on Expert Systems Technology and Applications, pp.92 - 108

Appears in Collection
MT-Conference Papers(학술회의논문)
Files in This Item
There are no files associated with this item.


  • mendeley


rss_1.0 rss_2.0 atom_1.0