KNAMS: a knowledge acquisition tool for modeling systems

Research in automatic knowledge acquisition tools has focused on the problem-solving methods used by the expert systems they generate. The focus on specific problem-solving methods makes clear the role played by knowledge in finding the solution to a problem. In this paper, we extend this research to modeling systems that use mathematical models to solve planning problems. Current modeling systems use domain-specific knowledge to support modelers in formulating, specifying, and in analyzing models. We describe KNAMS, a knowledge acquisition tool that attempts to acquire domain-specific knowledge used by modeling systems. The knowledge acquisition process in KNAMS is guided by modeling principles and heuristics identified through an empirical analysis of the modeling process of experienced human modelers. >

[1]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[2]  Reid G. Simmons,et al.  Commonsense Arithmetic Reasoning , 1986, AAAI.

[3]  Larry J. Eshelman,et al.  MOLE: A Tenacious Knowledge-Acquisition Tool , 1987, Int. J. Man Mach. Stud..

[4]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

[5]  Vasant Dhar,et al.  A Problem-Solver/Tms Architecture for General Constraint Satisfaction Problems , 1988 .

[6]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[7]  Edward H. Shortliffe,et al.  An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..

[8]  Srinivasan Raghunathan,et al.  A Planning Aid: An Intelligent Modeling System for Planning Problems Based on Constraint Satisfaction , 1992, IEEE Trans. Knowl. Data Eng..

[9]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[10]  Ramayya Krishnan,et al.  Automated model construction: A logic based approach , 1990 .

[11]  Vasant Dhar,et al.  Integer programming vs. expert systems: an experimental comparison , 1990, CACM.

[12]  S. Raghunathan,et al.  Towards computer-assisted qualitative analysis for model development: theory and algorithms , 1992, Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences.

[13]  Witold Lipski,et al.  On semantic issues connected with incomplete information databases , 1979, ACM Trans. Database Syst..

[14]  Harvey J. Greenberg,et al.  A Functional Description of ANALYZE: A Computer-Assisted Analysis System for Linear Programming Models , 1983, TOMS.

[15]  Daniel G. Bobrow,et al.  Qualitative Reasoning about Physical Systems: An Introduction , 1984, Artif. Intell..

[16]  Robert E. Tarjan,et al.  Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..

[17]  Mark Jeffrey Stefik.  Planning with constraints , 1980 .

[18]  Harold J. Steudel,et al.  A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..