Artificial intelligence publications
-
A Representation Of Parallel Activity Based On Events, Structure, and Causality
Most AI domain representations have been based on state-oriented world models. In this paper we present an event-based model that focuses on domain events (both atomic and nonatomic) and on…
-
How To Clear A Block: A Theory Of Plans
Problems in commonsense and robot planning are approached by methods adapted from program synthesis research; planning is regarded as an application of automated deduction. To support this approach, we introduce…
-
A Knowledge-Based Architecture For Organizing Sensory Data
This paper describes an architecture for an information manager that is at the core of a sensor-based autonomous system. The architecture provides the means by which sensor-based data can be…
-
Automating Argument Construction
Over the past five years the Artificial Intelligence Center at SRI has been developing a new technology to address the problem of automated information management within real-world contexts. The result…
-
Epipolar-Plane Image Analysis: A Technique For Analyzing Motion Sequences
A technique for unifying spatial and temporal analysis of an image sequence taken by a camera moving in a straight line is presented. The technique is based on a "dense"…
-
An Architecture For Intelligent Reactive Systems
Any intelligent system that operates in a moderately complex or unpredictable environment must be reactive — that is, it must respond dynamically to changes in its environment. A robot that…
-
High-Level Planning In A Mobile Robot Domain
The bulk of the paper presents both problems encountered during the process of encoding this domain, and extensions of the planning system that were made to solve them.
-
Notes on Inference: A Somewhat Skewed Survey
It is widely agreed that any reasonable AI system has to reason. Once it is agreed why that must be so, one can go on to look at alternative conceptions of what reasoning consist…
-
AI Knowledge Bases and Databases
In which the author expresses general skepticism about proposals for a trouble free marriage of AI Knowledge Bases and Databases (narrowly and tendentiously construed.) The author argues, as well, against a shotgun wedding.
-
A General Selection Criterion For Inductive Inference
This paper presents a general criterion for measuring the degree to which any given theory can be considered a good explanation of a particular body of data. A formal definition…
-
Hierarchical Planning: Definition and Implementation
There is considerable ambiguity involved in hierarchical planning. We present a definition of the latter, and examine several of the reasons for this confusion.
-
Synchronization Of Multiagent Plans Using A Temporal Logic Theorem Prover
Following an approach suggested by Georgeff, this paper considers the use of synchronizing primitives to resolve conflicts and produce a plan that is as unrestrictive as possible. In a sense,…