Artificial intelligence publications

One of the most highly touted virtues of knowledge-based expert systems is their ability to construct explanations for their lines of reasoning. However, there is a basic difficulty in generating…

This paper presents the GEM concurrency model and GEMPLAN, a multiagent planner based on this model. Unlike standard state-based AI representations, GEM is unique in its explicit emphasis on events…

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

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…