This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward…

An investigation was carried out on the contents of the architectural texts in order to illuminate written architectural knowledge. The thesis takes as its case study the required reading list for Introduction to Architecture course at Yale College, Yale University,…

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…

The act of designing in architecture is a complex process. Many designers, when probed for reasons to explain their actions, are either unable to answer questions, or provide explanations that are not true descriptions of their actions. Frequently the designer…

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…

Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express…

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

This report elucidates the linguistic representation of temporal relations among events. This involves examining sentences that contain two clauses connected by words like once, by the time, when, and before. Specifically, the effect of the tenses of the connected clauses…

The Bifurcation Interpreter is a computer program that autonomously explores the steady-state orbits of one-parameter families of periodically- driven oscillators. To report its findings, the Interpreter generates schematic diagrams and English text descriptions similar to those appearing in the science…

by Eric Saund., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Brain and Cognitive Sciences, 1989., Includes bibliographical references (leaves 293-300).