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…

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 paper describes a natural language system START. The system analyzes English text and automatically transforms it into an appropriate representation, the knowledge base, which incorporates the information found in the text. The user gains access to information stored in…

The so-called diversity-multiplexing tradeoff characterizes the fundamental interaction between the robustness and capacity gains obtainable from multiple-input and
multiple-output (MIMO) systems in fading environments. This thesis develops practical schemes for approaching the optimal tradeoff in various delay and complexity
regimes.…

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…

The Listener is an automated system that unintrusively performs knowledge acquisition from informal input. The Listener develops a coherent internal representation of a description from an initial set of disorganized, imprecise, incomplete, ambiguous, and possibly inconsistent statements. The Listener can…

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…

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.