Publications
-
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.
-
Speech Generation from Semantic Nets
A set of verb templates is being derived from a study of the surface syntax of some 3000 English verbs: the active forms of the verbs have been classified according…
-
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…
-
System Integration and Control in a Speech Understanding System
This paper first describes the roles played by acoustics, syntax, semantics, and discourse, and shows how a language definition is used to integrate them into a system in a way…