Artificial intelligence publications
-
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.
-
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…
-
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…
-
Achieving Several Goals Simultaneously
This paper develops the following strategy: to achieve two goals simultaneously, develop a plan to achieve one of them and then modify that plan to achieve the second as well.…
-
Deductive Retrieval Mechanisms for State Description Models
This paper presents some programming facilities for modeling the semantics of a task domain and for describing the situations that occur in that domain as a task is being carried…
-
Expanding the Utility of Semantic Networks Through Partitioning
These net spaces delimit the scopes of quantified variables, distinguish hypothetical and imaginary situations from reality, encode alternative worlds considered in planning, and focus attention at particular levels of detail.
-
Progress on a Computer Based Consultant
Computer based consultants are systems that incorporate specialized bodies of knowledge and make this knowledge conveniently available to users who are not computer experts.
-
Knowledge and Reasoning In Program Synthesis
We describe some of the reasoning and programming capabilities of a projected synthesis system with special attention paid to the introduction of conditional tests, loops, and instructions with wide effects…
-
Digital Processing of Breast Thermograms
The Artificial Intelligence Center of SRI has digitized and processed a series of breast thermograms of positive patients. To improve the medical value of such imagery for the radiologist, several…
-
Plan for a Computer-Based Consultant System
This report describes the goals and plans for a five-year project to develop a computer-based system that will serve as an expert consultant to a human apprentice. Together, the system…
-
Artificial Intelligence – Research and Applications
Our research program concentrates especially on the development of systems that can automatically generate and execute complex plans and that can obtain information about their environment through the sense of…
-
Reasoning About Programs
This paper describes a theorem prover that embodies knowledge about programming constructs, such as numbers, arrays, lists, and expressions. The program can reason about these concepts and is used as…