The Bifurcation Interpreter is a computer program that autonomously explores the steady-state orbits of one-parameter families of periodically- driven oscillators. To report its findings, the Interpreter generates schematic diagrams and English text descriptions similar to those appearing in the science…

This paper presents a knowledge-based approach to
reducing impediments to collaboration in a
distributed environment. A major impediment to
such collaboration is the issue of communications -
clearly and efficiently expressing the desires of every
stakeholder in the process, as…

D. Eleanor Westney., Cover title. "Paper prepared for JAIMS conference on 'International Comparative Study of Knowledge Creation', Hawaii, December 12-14, 1996"--Added t.p. "February 1997.", Includes bibliographical references (p. 31-34).

David N. Ford and John D. Sterman., Includes bibliographical references (p. 24-25)., Supported by the Python organization, the Organizational Learning Center and the System Dynamics Group at the MIT Sloan School of Management.

by Michael Lewis Thompson., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1996., Includes bibliographical references (p. 259-268).

A system for visual recognition is described, with implications for the general problem of representation of knowledge to assist control. The immediate objective is a computer system that will recognize objects in a visual scene, specifically hammers. The computer receives…

This paper examines the issues and the solutions that have been studied in database (DB) integration research and tries to draw lessons from them for knowledge base (KB) integration.

We have developed a method and prototype program for assisting two experts in their attempts to construct a single, consensus knowledge base. We show that consensus building can be effectively facilitated by a debugging approach that identifies, explains, and resolves…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of mathematics; examples which contain illustrative material; and concepts which include formal…