KNOWLEDGE-ASSISTED OPTIMIZATION MODEL FORMULATION - UNIK-OPT

Cited 12 time in webofscience Cited 0 time in scopus
  • Hit : 202
  • Download : 0
In this paper, we describe a knowledge-assisted optimization model formulation 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 optimization models. 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.
Publisher
ELSEVIER SCIENCE BV
Issue Date
1995-02
Language
English
Article Type
Article
Keywords

LINEAR-PROGRAMMING MODELS; SYSTEM

Citation

DECISION SUPPORT SYSTEMS, v.13, no.2, pp.111 - 132

ISSN
0167-9236
URI
http://hdl.handle.net/10203/77790
Appears in Collection
MT-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 12 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0