Model formulation as a problem-solving task: Computer-assisted engineering modeling
International Journal of Intelligent SystemsPublished 1 January 1993
Thomas Gruber
Citations27
SJR quartileQ1
SJR score1.14
SNIP1.40
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The model formulation process itself as a problem‐solving task is examined, drawing from AI research in qualitative reasoning about physical systems, in terms of the inputs, the reasoning subtasks, and the knowledge needed to perform the problem solving.
Abstract
A central purpose of knowledge acquisition technology is to assist with the formulation of domain models that underlie knowledge systems. In this article we examine the model formulation process itself as a problem-solving task. Drawing from AI research in qualitative reasoning about physical systems, we characterize the model formulation task in terms of the inputs, the reasoning subtasks, and the knowledge needed to perform the problem solving. We describe the elements of a high-level representation of modeling knowledge, and techniques for providing intelligent assistance to the model builder. Applying the results from engineering modeling to knowledge acquisition in general, we identify properties of the representation that facilitate the construction of knowledge systems from libraries of reusable models. © 1993 John Wiley & Sons, Inc.
Keywords
Computer Science
Mathematica: A System for Doing Mathematics by Computer
2,804 Citations1988Stephen Wolfram
This new edition maintains the format of the original book and is the single most important user guide and reference for Mathematica--all users ofMathematica will need this edition.
Artificial IntelligenceQualitative process theory
2,023 Citations1984Kenneth D. Forbus
This paper describes the basic concepts of qualitative process theory, several different kinds of reasoning that can be performed with them, and discusses its implications for causal reasoning.
Artificial IntelligenceA qualitative physics based on confluences
1,499 Citations1984Johan de Kleer, John Seely Brown
A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.
AI MagazineEnabling technology for knowledge sharing
1,339 Citations1991Robert Neches, Richard Fikes +5 more
This article presents a vision of the future in which knowledge-based system development and operation is facilitated by infrastructure and technology for knowledge sharing, and describes an initiative currently under way to develop these ideas.
Lecture notes in computer scienceMathematica: A system for doing mathematics by computer?
1,214 Citations2005Bruno Buchberger
The title of the talk coincides with the title of Stephen Wolfram's book on his Mathematica system except that in the titleof the talk there is a question mark.
Knowledge AcquisitionKADS: a modelling approach to knowledge engineering
604 Citations1992Bob Wielinga, A.T. Schreiber +1 more
Five basic principles underlying the KADS approach are discussed, namely the introduction of partial models as a means to cope with the complexity of the knowledge engineering process and the importance of structure—preserving transformation of models of expertise into design and implementation.
ComputerPACT: an experiment in integrating concurrent engineering systems
544 Citations1993Mark R. Cutkosky, Robert S. Engelmore +6 more
The Palo Alto Collaborative Testbed (PACT), a concurrent engineering infrastructure that encompasses multiple sites, subsystems, and disciplines, is discussed and PACT's agent-based architecture and lessons learned from the PACT experiments are described.
DIGITAL.CSIC (Spanish National Research Council (CSIC))Components of expertise
476 Citations1990Luc Steels
A new synthesis is put forward in the form of a componential framework that stresses modularity and an analysis of the pragmatic constraints on the task.
Medical Entomology and ZoologyIntroduction to physical system dynamics
451 Citations1983R. Robert Rosenberg, Dean Karnopp
The SYSKIT is a linear system software toolkit that contains a highly integrated set of programs with applications to system dynamics, controls and vibrations.
Artificial IntelligenceCmpositional modeling: finding the right model for the job
403 Citations1991Brian Falkenhainer, Kenneth D. Forbus
The utility of compositional modeling is illustrated by outlining the organization of a large-scale, multi-grain,Multi-perspective model the authors have built for engineering thermodynamics, and showing how the model composition algorithm can be used to automatically select the appropriate knowledge to answer questions in a tutorial setting.
The role of common ontology in achieving sharable, reusable knowledge bases
350 Citations1991Thomas Gruber
A solar cell has a heat collector bar with a heat absorbing material in contact there with a transparent web member having a plurality of capsule uniformly distributed therein with each capsules having a suspension of highly reflective, flake-like, field responsive particles therein.
Computers and Biomedical ResearchDimensions of knowledge sharing and reuse
347 Citations1992Mark A. Musen
The PROTEGE-II project is one attempt to provide a knowledge-base authoring environment in which developers can experiment with the reuse of knowledge-level problem-solving methods, task models, and domain ontologies.
Artificial IntelligenceCausality in device behavior
336 Citations1986Yumi Iwasaki, Herbert A. Simon
This paper shows how formal characterizations of causality and of the method of comparative statics, long used in econometrics, thermodynamics and other domains, can be applied to clarify and make rigorous the qualitative causal calculus recently proposed by de Kleer and Brown.
VHDL: Hardware Description and Design
277 Citations1989Roger Lipsett, Carl F. Schaefer +1 more
This chapter discusses VHDL design practices, including the use of Libraries for Revision Management, and the importance of visibility in the analysis context.
Kluwer international series in engineering and computer sciencePreliminary Steps Toward a Taxonomy of Problem-Solving Methods
251 Citations1988John McDermott
This chapter takes a few steps toward creating aTaxonomy of methods -- a taxonomy that identifies some of the discriminating characteristics of the methods expert systems use and that suggests how methods can be mapped onto tasks.
AI MagazineTowards a Taxonomy of Problem Solving Types
244 Citations1983Bharath Chandrasekaran
This group's work in medical decision making has led them to formulate a framework for expert system design, in particular about how the domain knowledge may be decomposed into substructures, which proposes that there exist different problem-solving types, i.e., uses of knowledge, and corresponding to each is a separate substructure specializing in that type of problem-Solving.
IEEE ExpertExplanations in knowledge systems: design for explainable expert systems
194 Citations1991William Swartout, Cécile Paris +1 more
The explainable expert systems framework (EES), in which the focus is on capturing those design aspects that are important for producing good explanations, including justifications of the system's actions, explications of general problem-solving strategies, and descriptions of the systems' terminology, is discussed.
Artificial IntelligenceQualitative analysis of MOS circuits
176 Citations1984Brian Williams
Temporal qualitative analysis is a technique for analyzing the qualitative large signal behavior of MOS circuits that straddle the line between the digital and analog domains and uses knowledge about the structure of equations and the properties of structure classes to resolve ambiguities.
IEEE Transactions on Software EngineeringEnhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development
164 Citations1985Robert Neches, William Swartout +1 more
A paradigm for constructing expert systems is described which attempts to identify that tacit knowledge, provide means for capturing it in the knowledge bases of expert systems, and apply it towards more perspicuous machine-generated explanations and more consistent and maintainable system organization.
IEEE ExpertViewing knowledge bases as qualitative models
143 Citations1989William J. Clancey
A viewpoint on expert systems is developed that considers the qualitative nature of knowledge encoded in such programs, and shows how AI's concern with adaptiveness and the rationality of the autonomous agent emphasizes the role of models as what a problem-solver knows.
Knowledge AcquisitionUsable and reusable programming constructs
118 Citations1991Georg Klinker, Carlos Bhola +3 more
The trick is to come up with mechanisms satisfying both requirements: usability and reusability, and some quantitative characteristics describing such mechanisms are identified.
Communications of the ACMIntelligence in scientific computing
109 Citations1989Harold Abelson, Michael Eisenberg +6 more
The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.
Self-explanatory simulations: an integration of qualitative and quantitative knowledge
108 Citations1990Kenneth D. Forbus, Brian Falkenhainer
Artificial IntelligenceGraphs of models
100 Citations1991Sanjaya Addanki, Roberto Cremonini +1 more
This paper introduces new, qualitative methods that automatically select and switch models during analysis in physical domains as graphs of models, where the nodes of the graph are models and the edges are the assumptions that have to be changed in going from one model to the other.
International Journal of Intelligent SystemsKnowledge acquisition as a constructive modeling activity
97 Citations1993Kenneth M. Ford, Jeffrey M. Bradshaw +2 more
This work advocates knowledge acquisition practices and tools that facilitate active collaboration between expert and knowledge engineer, that exploit a serviceable theory in their application, and that support knowledge‐based system development from a life‐cycle perspective.
International Journal of Man-Machine StudiesDesign for acquisition: principles of knowledge-system design to facilitate knowledge acquisition
96 Citations1987Thomas Gruber, Paul R. Cohen
It is shown how the design of MUM makes it possible to acquire two kinds of knowledge that are traditionally difficult to acquire from experts: knowledge about evidential combination and knowledge about control.
Knowledge AcquisitionConceptual models of interactive knowledge acquisition tools
68 Citations1989Mark A. Musen
A taxonomy for knowledge-acquisition aids that is based on the terms and relationships that a given tool uses to establish the semantics of a user's entries is described, which has important implications for how a knowledge- Acquisition tool is used and to what degree it can assist its users in analysing new applications at the knowledge level.
Toward a Knowledge Medium for Collaborative Product Development
63 Citations1992Thomas Gruber, Jay M. Tenenbaum +1 more
The framework is designed to support information sharing and coordinated communication among members of a product development organization, particularly for the tasks of design knowledge capture, dynamic notification of design changes, and active management of design dependencies.
Representing Control Knowledge as Abstract Tasks and Metarules
58 Citations1988William J. Clancey, Conrad Bock
The combination of abstract procedures and a relational language for organizing domain knowledge provides a generic framework for constructing knowledge bases for related problems in other domains and also provides a useful starting point for studying the nature of strategies.
QPC: a compiler from physical models into qualitative differential equations
58 Citations1990James M. Crawford, Adam Farquhar +1 more
This work presents QPC and its approach to Qualitative Process Theory, provides an example of building and simulating a model of a non-trivial mechanism, and compares the representation and implementation decisions underlying QPC with those of QPE.
Proceedings of the IEEEAEDNET: A simulator for nonlinear networks
46 Citations1966J. Katzenelson
A general description of AEDNET is given and a detailed consideration of the part of the system which sets the network equations and calculates the network response is considered.
Knowledge AcquisitionModels, methods, roles and tasks: Many labels—one idea?
34 Citations1990Werner Karbach, Marc Linster +1 more
Different approaches to the explicit modeling of problem solving processes in knowledge based systems are compared to find out how they model knowledge, how they represent it, how flexible they are and to what degree they guide or support the development ofknowledge based systems.
SIMLAB: Automatically Creating Physical Systems Simulators
15 Citations1991Richard S. Palmer, James F. Cremer
SimLab, a software environment for creating simulators directly from computer-readable physics models, is based on the following concept: creating physical systems simulators should be as simple as describing the underlying physics to a colleague.
Device Modeling Environment: an integrated model-formulation and simulation environment for continuous and discrete phenomena
12 Citations1992Chee Meng Low, Yumi Iwasaki
DME would help engineers to experiment with alternative designs even at an early stage of the design process by providing immediate feedback about the implications of design decisions, and is capable of modeling both continuous and discontinuous phenomena.