arrow
返回

A KNOWLEDGE-BASED MATHEMATICAL-MODEL FORMULATION SYSTEM

delete1992-09-01
delete7
delete
OA
AI
R
Ramayya Krishnan *
X
Xiaoping Li
D
David Steier
DOI:10.1145/130994.131003delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

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总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

Communications of the ACM 封面图
Communications of the ACM
IF:
12.2
论文数:
1.2W
被引数:
3.7W

机构

暂无机构信息
引用论文

引用论文

err分享
err收藏
err分享
err收藏
OBJECT BEHAVIOR ANALYSIS
err1992-09-01
err66
errOAAI
errRUBIN, KS; GOLDBERG, A
err分享
err收藏
Voltammetry and LCEC of isoflavones
err2005-04-25
err0
PREAI
errLangyu Wu; James B. Laughlin; Howard D. Dewald
err分享
err收藏
PROCESS MODELING
err1992-09-01
err751
errOAAI
errCURTIS, B; KELLNER, MI; OVER, J
err分享
err收藏
SOAR - AN ARCHITECTURE FOR GENERAL INTELLIGENCE
err1987-09-01
err1.3K
errOAAI
errLAIRD, JE; NEWELL, A; ROSENBLOOM, PS
err分享
err收藏
Diagnosing multiple sclerosis in childhood
err1993-11-01
err0
errOAAI
errH. B. M. Lieshout; B. G. M. Engelen; E. A. C. M. Sanders; W. O. Renier
err分享
err收藏
没有更多内容