Publications
-
Implicature and Definite Reference
An account is given of the appropriateness conditions for definite reference, in terms of the operations of inference and implicature. It is shown how a number of problematic cases noticed…
-
A Logical Approach To Reasoning By Analogy
We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically…
-
The Synthesis Of Digital Machines With Probable Epistemic Properties
Researchers using epistemic logic as a formal framework for studying knowledge properties of artificial-intelligence (AI) systems often interpret the knowledge formula to mean that machine encodes in its state as…
-
Many Agents Are Better Than One
This paper aims to show how much of the frame problem can be alleviated by using domain models that allow for the simultaneous occurrence of actions and events. First, a…
-
Actions, Processes, and Causality
The purpose of this paper is to construct a model of actions and events that facilitates reasoning about dynamic domains involving multiple agents. Unlike traditional approaches, the proposed model allows…
-
Stereo Matching By Hierarchical, Microcanonical Annealing
An improved stochastic stereo-matching algorithm incorporates two substantial modifications to an earlier version: a new variation of simulated annealing.
-
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…