A KNOWLEDGE-BASED MATHEMATICAL-MODEL FORMULATION SYSTEM

Ramayya Krishnan

doi:10.1145/130994.131003

Return

A KNOWLEDGE-BASED MATHEMATICAL-MODEL FORMULATION SYSTEM

1992-09-01

Ramayya Krishnan *

Xiaoping Li

David Steier

DOI：10.1145/130994.131003

Original

Save

View PDF

Abstract

En 中文

The formulation of mathematical programming models1 is a knowledge-intensive task requiring the ability to access and apply multiple sources of knowledge. These include knowledge about the domain-specific characteristics of the problem whose mathematical model is to be developed, knowledge about how to construct mathematical programming models, and knowledge about the computational characteristics of available solvers [1, 6, 7, 10, 12, 181. Representing these various types of knowledge has been central to the development of the mathematical model formulation system (MFS) [9] built within the Soar [81 architecture.2 In this article we will describe our approach to constructing MFS. We follow a methodology more generally used for building intelligent systems, one of specifying the required processing of knowledge as a series of models at successively lower levels of abstraction [2]

Keywords:

DESIGN

LANGUAGES

KNOWLEDGE-BASED SYSTEMS

MODEL FORMULATION

SOAR

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.