Search
Now showing items 81-86 of 86
Specification and implementation of the Larch shared language
(1989)
This project aims to prototype formal specification in Larch. The motivation for looking at formal specifications stems from an appreciation of the problem outlined above, frustration with current methods, and a desire to ...
Determining the Limits of Automated Program Recognition
(MIT Artificial Intelligence Laboratory, 1989-06)
Program recognition is a program understanding technique in which stereotypic computational structures are identified in a program. From this identification and the known relationships between the structures, a hierarchical ...
Decision Representation Language (DRL) and Its Support Environment
(MIT Artificial Intelligence Laboratory, 1989-08)
In this report, I describe a language, called Decision Representation Language (DRL), for representing the qualitative aspects of decision making processes such as the alternatives being evaluated, goals to satisfy, and ...
A Program Design Assistant
(MIT Artificial Intelligence Laboratory, 1989-06)
The DA will be a design assistant which can assist the programmer in low-level design. The input language of the DA is a cliché-based program description language that allows the specification and high-level design of ...
Principles of Knowledge Representation and Reasoning in the FRAPPE System
(MIT Artificial Intelligence Laboratory, 1989-05)
The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, ...
The GSL Cookbook
(MIT Artificial Intelligence Laboratory, 1989-03)
This cookbook contains recipes prepared for the GSL (Graduate Student Lunch) at the Massachusetts Institute of Technology Artificial Intelligence Laboratory.