UNIK-PMA : a unifier of optimization model with rule-based systems by the post-model analysis = 최적화모형과 규칙기반시스템의 통합을 위한 UNIK-PMA 시스템의 개발 : 사후모형분석 접근a unifier of optimization model with rule-based systems by the post-model analysis

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 420
  • Download : 0
We attempt to unify an optimization model with a rule-based system via overlapped decision variables. The unified model is a kind of multiobjective decision making (MODM) model that encompasses the objectives in both the optimization model and the rule-based system, and formulated as MODM(1, M). The Post-model Analysis approach is adopted to solve the unified model, and three types of tradeoffs are classified as a structure to support nondominated tradeoffs. Specific structure and methodology to solve the unified model is adopted and developed, including: semantic representation of an optimization model, extraction of relevant rule base, rule-based evaluation of the solution of an optimization model, support of nondominated tradeoffs by automatic model formulation, and constraint generation from rule-based goals. Optimization models must be represented semantically so that an optimization model and a rule-based system can understand each other. The knowledge- assisted optimization modeler UNIK-OPT is adopted to represent an optimization model semantically. The rules relevant to an optimization model are identified by overlapped decision variables and used to evaluate the optimal solution of the optimization model in terms of the objectives in the relevant rule base. Since the index manipulation is one of the intrinsic parts of optimization models, the inference engine of the rule-based system must be able to understand and manipulate indices. So, the backward inference engine UNIK-BWD which has the index manipulation capability is used for rule-based systems. A set of methods to compute the nondominated solutions for each of the three types of tradeoffs is developed. The essence of the methods is automatic model formulation by constraint generation from rule-based goals. The developed methodology is implemented in a Decision Support System called UNIK-PMA (UNIfied Knowledge-Post-Model Analysis) on MS- WINDOWS.
Advisors
Kim, Se-HunresearcherLee, Jae-Kyuresearcher김세헌researcher이재규researcher
Description
한국과학기술원 : 경영과학과,
Publisher
한국과학기술원
Issue Date
1995
Identifier
101800/325007 / 000885228
Language
eng
Description

학위논문(박사) - 한국과학기술원 : 경영과학과, 1995.8, [ vii, 130 p. ]

Keywords

Multiobjective Decision Making; Post-model Analysis; Rule-based System; 수리계획법; 모형관리시스템; 다목적 의사결정; 사후모형분석; 규칙기반시스템; Mathematical Programming; Model Management Systems

URI
http://hdl.handle.net/10203/43676
Link
http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=101800&flag=dissertation
Appears in Collection
MG-Theses_Ph.D.(박사논문)
Files in This Item
There are no files associated with this item.

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0