Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Subject "knowledge representation"
Now showing items 1-9 of 9
-
ARLO: Another Representation Language Offer
(1986-10-01)This paper describes ARLO, a representation language loosely modelled after Greiner and Lenant's RLL-1. ARLO is a structure-based representation language for describing structure-based representation languages, including ...
-
Causal Reconstruction
(1993-02-01)Causal reconstruction is the task of reading a written causal description of a physical behavior, forming an internal model of the described activity, and demonstrating comprehension through question answering. T his ...
-
Conclusions from the Commodity Expert Project
(1980-11-01)The goal of the commodity expert project was to develop a prototype program that would act as an intelligent assistant to a commodity market analyst. Since expert analysis must deal with very large, yet incomplete, ...
-
Extracting and Representing Qualitative Behaviors of Complex Systems in Phase Spaces
(1991-03-01)We develop a qualitative method for understanding and representing phase space structures of complex systems and demonstrate the method with a program, MAPS --- Modeler and Analyzer for Phase Spaces, using deep domain ...
-
Phase Space Navigator: Towards Automating Control Synthesis in Phase Spaces for Nonlinear Control Systems
(1991-04-01)We develop a novel autonomous control synthesis strategy called Phase Space Navigator for the automatic synthesis of nonlinear control systems. The Phase Space Navigator generates global control laws by synthesizing ...
-
The Programmer's Apprentice Project: A Research Overview
(1987-11-01)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 ...
-
Test Generation Guided Design for Testability
(1988-07-01)This thesis presents a new approach to building a design for testability (DFT) system. The system takes a digital circuit description, finds out the problems in testing it, and suggests circuit modifications to correct ...
-
Toward a Theory of Representation Design
(1989-05-01)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 ...
-
TYPICAL: A Knowledge Representation System for Automated Discovery and Inference
(1987-08-01)TYPICAL is a package for describing and making automatic inferences about a broad class of SCHEME predicate functions. These functions, called types following popular usage, delineate classes of primitive SCHEME ...