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 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.
-
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…
-
Knowledge Representation in Automatic Planning Systems
This paper is a tutorial on automatic planning systems with particular emphasis given to knowledge representation issues.
-
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…
-
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.
-
Semantic Processing For Speech Understanding
The semantic component of the speech understanding system being developed jointly by SRI and SDC rules out phrase combinations that are not meaningful and produces semantic interpretations for combination that…
-
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…