The construction of expert problem-solving systems requires the development of techniques for using modular representations of knowledge without encountering combinatorial explosions in the solution effort. This report describes an approach to dealing with this problem based on making some knowledge…

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

The computational metaphor which proposes the comparison of processes of mind to realizable or imaginable computer activities suggests a number of educational concerns. This paper discusses some of those concerns including procedural modes of knowledge representation and control knowledge ??owing…

This study presents the results of an empirical test of two hypotheses concerning the
quality of a group of data processing patents on methods of doing business. The
hypotheses are motivated by two frequently voiced criticisms of these…

In this paper we look at some of the ingredients and processes involved in the understanding of mathematics. We analyze elements of mathematical knowledge, organize them in a coherent way and take note of certain classes of items that share…

We use analogy when we say something is a Cinderella story and when we learn about resistors by thinking about water pipes. We also use analogy when we learn subjects like Economics, Medicine and Law. This paper presents a theory…

Automated Program Analysis is the process of discovering decompositions of a system into sub-units such that the behavior of the whole program can be inferred from the behavior of its parts. Analysis can be employed to increase the explanatory power…

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 Mitsuyuki Ueda., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2003., Includes bibliographical references (p. 129-131)., This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives…

by Dundee J. Navinchandra., Thesis (Sc. D.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1988., Includes index., Bibliography: leaves 190-196.