by Nancy Ann Daly., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987., MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING., This research was supported by the National Science Foundation and the Defense Advanced Research Projects Agency.,…

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…

by Michael W. Frauens., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, February 2000., "January 2000.", Includes bibliographical references (p. 73-77).

The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

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

John D. Sterman., Includes bibliographical references.

The term 24-Hour Knowledge Factory connotes a globally distributed work environment in which members of the global team work on a project around the clock; each member of the team works the normal workday hours that pertain to his or…

by Peter L. Grant., Thesis (S.M.M.O.T.)--Massachusetts Institute of Technology, Sloan School of Management, Management of Technology Program, 2000., Includes bibliographical references (p. 105-108).

The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge to solve difficult problems. This proposal explains…