Artificial intelligence publications

In this paper, we illustrate how such inferences add a new dimension of complexity to reasoning about change and show that failure to allow for such inferences can result in…

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

Keywords: Artificial Intelligence, Artificial Intelligence Center, AIC

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

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…

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…

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…

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…