Artificial intelligence publications

The first question to be answered is, What is logicism?’ McDermott outlines the logicist position as follows...

We have developed both a formal basis and a framework for implementating automated reasoning systems

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…

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…

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…

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…

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…

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…

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…

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…

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"…

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…