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…

We examine a knowledge representation architecture to support context interchange
mediation. For autonomous receivers and sources sharing a common subject domain,
the mediator's reasoning engine can devise query plans integrating multiple sources and
resolving semantic heterogeneity. Receiver…

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

There has been a lot of research addressing the relationship between Information Technology (IT) investments and productivity. Most of the work has been based on firm-level metrics such as total IT investment. We present what we believe is one of…

A transmitter antenna array has the ability to direct data simultaneously to multiple
receivers within a wireless network, creating potential for a more integrated view of
algorithmic system components. In this thesis, such a perspective informs the design
of two…

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…

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…

by Nina Kruschwitz and George Roth., "March 1999.", Includes bibliographical references.