Publications
-
The SRI Mobile Robot Testbed: A Preliminary Report
This paper describes a mobile robot designed for experimentation in artificial intelligence (AI). Presented here are details of the robot?s hardware and software architecture. The robot is driven by two…
-
Persistence, Intention, and Commitment
This paper explores principles governing the rational balance among an agent’s beliefs, goals, actions, and intentions. Such principles provide specifications for artificial agents, and approximate a theory of human action…
-
Procedural Knowledge
Much of commonsense knowledge about the real world is in the form of procedures or sequences of actions for achieving particular goals. In this paper, a formalism is presented for…
-
Student Assessment Programs In The Western Region
-
A Computational Model Of Referring
In this paper we present a theory of referring. This theory is presented within the framework of a general theory of speech acts and rationality advanced by Cohen and Levesque.…
-
The Logical Foundations Of Evidential Reasoning
The approach proposed by Carnap for the development of logical bases for probability theory is investigated by using formal structures that are based on epistemic logics. Epistemic logics are modal…
-
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…
-
Inferring Domain Plans In Question-Answering
The importance of plan inference in models of conversation has been widely noted in the com-putational-linguistics literature, and its incorporation in question-answering systems has enabled a range of cooperative behaviors.…
-
On The Imaging Of Fractal Surfaces
We examine the imaging of standard Brownian Fractal surfaces.
-
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…
-
Evidential Reasoning For Geographic Evaluation For Helicopter, Route Planning
In order to plan operations where knowledge of significant elements is imprecise and uncertain, a means of characterizing the situation in terms of the various factors that may influence those…
-
Hierarchical Warp Stereo
This paper describes a new technique for use in the automatic production of digital terrain models from stereo pairs of aerial images.