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…

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…

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…

Cycle-to-cycle control is a method for using feedback to improve product quality for processes that are inaccessible within a single processing cycle. This limitation stems from the impossibility or the prohibitively high cost of placing sensors and actuators that could…

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…

Previous research on corporate household and corporate householding has presented
examples, literature review, and working definitions. In this paper, we first improve our
understanding of the area by developing a typology of corporate householding tasks
and knowledge…

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…

Organizations must establish processes for managing knowledge across boundaries because of the specialized and task-dependent forms of knowledge required to deliver products and services. To address this challenge an integrative framework is developed that identifies and integrates the value of…

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…

This thesis is concerned with the systematic investigation and application of knowledge within the architectural design studio. The thesis takes, as a point of departure in the development of architectural epistemology, a model of knowledge developed by Yehuda Elkana, in…