Publications
-
Perceptual Strategies For Purposive Vision
This report describes a computer program that approaches perception as a problem-solving task. The system uses information about the appearances of objects, about their interrelationships, and about available sensors to…
-
Experiments In Speech Understanding System Control
The main experiment tested the effects on performance of four major choices: focus attention by inhibition or use an unbiased best-first method, ``island-drive’’ or process left or right, use context…
-
Is “Sometimes” Sometimes Better Than “Always”? Intermittent Assertion In Proving Program Correctness
This approach, which we call the intermittent-assertion method, involves documenting the program with assertions that must be true at some time when control is passing through the corresponding point, but…
-
Some Examples of AI Mechanisms for Goal Seeking, Planning, and Reasoning
In this paper we review some perhaps lesser know AI ideas that might also have utility in psychological modeling.
-
Msys: A System For Reasoning About Scenes
MSYS is a system for reasoning with uncertain information and inexact rules of inference. Its major application, to date, has been to the interpretation of visual features (such as regions)…
-
Qlisp: A Language For The Interactive Development Of Complex Systems
This paper presents a functional overview of the features and capabilities of QLISP, one of the newest of the current generation of very high level languages developed for use in…
-
QLISP Reference Manual
QLISP permits free intermingling of advanced language constructs with those of INTERLISP. It provides an associative data base, viewed from perspectives controlled by a powerful context mechanism.
-
Subjective Bayesian Methods For Rule-Based Inference Systems
We describe in this paper a subjective Bayesian inference method that realizes some of the advantages of both formal and informal approaches. Of particular interest are the modifications needed to…
-
Knowledge Representation in Automatic Planning Systems
This paper is a tutorial on automatic planning systems with particular emphasis given to knowledge representation issues.
-
An INTERLISP Relational Data Base System
INTERLISP, an interactive, development-oriented computer programming system, has been augmented to support applications requiring large data bases maintained on secondary store.
-
A Tuneable Performance Grammar
This paper describes a tuneable performance grammar currently being developed for speech understanding.
-
Establishing Context in Task-Oriented Dialogs
This paper describes part of the discourse component of a speech understanding system for task-oriented dialogs, specifically, a mechanism for establishing a focus of attention to aid in identifying the…