返回
A KNOWLEDGE-BASED MATHEMATICAL-MODEL FORMULATION SYSTEM
DOI:10.1145/130994.131003.png)
摘要
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]
Keyword:
DESIGN
LANGUAGES
KNOWLEDGE-BASED SYSTEMS
MODEL FORMULATION
SOAR
AI总结
对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
12.2
论文数:
1.2W
被引数:
3.7W
机构
暂无机构信息
引用论文
没有更多内容

