by Jaime Francisco Brito., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Civil and Environmental Engineering, 1994., Includes bibliographical references (leaf 348).

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.

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…

There are multiple sorts of reasoning by analogy between two domains; the one with which we are concerned is a type of contextual analogy. The purpose of this paper is to see whether two domains that look analogous would be…

The goal of this paper is to determine if the results for dynamic job-shop scheduling problems are affected by the assumptions made with regard to the processing time distributions and the scheduler's knowledge of the processing times. Three dynamic jobshop…

Compliant control is a standard method for performing fine manipulation tasks, like grasping and assembly, but it requires estimation of the state of contact between the robot arm and the objects involved. Here we present a method to learn a…

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 presents a knowledge-based approach for capturing data and rationale, so
that the experience and insights gained while pursuing a major project or endeavor can
be utilized when pursuing future endeavors of a similar nature. The proposed

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…