This paper describes some problems and opportunities associated with conceptual modeling for the kind of "open systems" we foresee must and will be increasingly recognized as a central line of computer system development. Computer applications will be based on communication…

Well-known methods for solving the shape-from-shading problem require knowledge of the reflectance map. Here we show how the shape-from-shading problem can be solved when the reflectance map is not available, but is known to have a given form with some…

We describe a system that reasons from first principles, i.e., using knowledge of structure and behavior. The system has been implemented and tested on several examples in the domain of troubleshooting digital electronic circuits. We give an example of the…

by Brian Cantwell Smith., Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., Bibliography: leaves 756-761.

by Robert Cregar Berwick., Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., Bibliography: leaves 439-451.

by James William Leigh., Thesis (M.S.)--Massachusetts Institute of Technology, Sloan School of Management, 1984., MICROFICHE COPY AVAILABLE IN ARCHIVES AND DEWEY., Bibliography: leaves 131-134.

This thesis focuses on the search for a more equitable urban environment. In Western Europe, the hope that cities are relevant forms of living and interacting, still exists. In Brussels, in the last fifteen years, the inhabitants formed a unique…

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 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.

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…