05476549

j

05476549 Moody, Shirley A. Incoroporating procedural knowledge withing a declarative modelling system. J. Intell. Syst. 6, No. 1, 45-62 (1996). 1996 Freund Publishing House Ltd., London EN I.6 linear programming procedural knowledge algebraic modelling languages multi-commodity network flow

doi:10.1515/JISYS.1996.6.1.45

Summary: It is well established that Mathematical Programming (MP) problems are modelled within a declarative framework. Consequently algebraic modelling languages are widely accepted in the mathematical programming community as important tools for constructing and analyzing MP problems. There is a large class of models, however, in which the coefficients of the constraint matrix cannot be specified immediately in the declarative form using the raw problem data. In these cases many analysts abandon modelling languages and revert to writing computer programs. The paper addresses this issue by extending a modelling language to link the declarative model statement with the necessary procedures for specifying the columns of the technology matrix. This has the advantage that a considerable amount of the problem owner's domain knowledge can be captured in the modelling phase.