This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. WATSONs task is to isolate failures in radio receivers whose…

by Stephen R. Balzac., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987., Title as it appeared in M.I.T. Graduate List, June 1987: An interactive knowledge classifier., Bibliography: leaves 111-112.

Freud's theory of jokes explains how they overcome the mental "censors" that make it hard for us to think "forbidden" thoughts. But his theory did not work so well for humorous nonsense as for other comical subjects. In this essay…

This paper presents an overview of a theory of discourse structure, and discusses a model for assimilating text into a frame-based data structure. The model has been applied to the analysis of news articles. The theory assumes sentences contain links…

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…

One important purpose for creating clinical practice guidelines is to improve quality of care by reducing variations in practice. In the current healthcare environment, guidelines are being advocated as a means to disseminate research findings, standardize care, improve quality of…

Karim Hussein ... [et al.], "March 1994.", Includes bibliographical references (p. [23]-[24])., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.

M.P. Reddy ... [et al.], Reprint. Reprinted from IEEE transactions on knowledge and data engineering. Vol. 6, no. 6 (Dec. 1994) "December 1994.", Includes bibliographical references (p. 932)., Supported by the Productivity From Information Technology (PROFIT) Research Initiative at MIT.

The shift towards global networking brings with it many opportunities and challenges. In this paper, we discuss key technologies in achieving global semantic interoperability among heterogeneous information systems, including both traditional and web data sources. In particular, we focus on…

The goal of the Programmer's Apprentice project is to develop a theory of how expert programmers analyze, synthesize, modify, explain, specify, verify, and document programs. This research goal overlaps both artificial intelligence and software engineering. From the viewpoint of artificial…