Artificial intelligence publications
-
Hendrix’s Model for Simultaneous Actions and Continuous Processes: An Introduction and Implementation
This paper presents a self-contained introduction and implementation description to a simulation system for modeling simultaneous action and continuous processes.
-
Application Of Interactive Scene Analysis Techniques To Cartography
This paper proposes an interactive graphically generated method for delineation of cartographic and cultural features on a map.
-
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…
-
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.
-
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…