Artificial intelligence publications

In which the author expresses general skepticism about proposals for a trouble free marriage of AI Knowledge Bases and Databases (narrowly and tendentiously construed.) The author argues, as well, against a shotgun wedding.

There is considerable ambiguity involved in hierarchical planning. We present a definition of the latter, and examine several of the reasons for this confusion.

Following an approach suggested by Georgeff, this paper considers the use of synchronizing primitives to resolve conflicts and produce a plan that is as unrestrictive as possible.  In a sense,…

This paper presents a general criterion for measuring the degree to which any given theory can be considered a good explanation of a particular body of data. A formal definition…

Here I propose an approach that I call it experimental robot psychology because it involves formalizing and reasoning about the design of existing robot agents. It shows promise of yielding…

This report discusses a new approach to the specification of properties of multiagent environment and the generation of plans for such domains.

The machine is regarded as knowing a fact if its state either explicitly encodes the fact as a sentence of an interpreted formal language or if such a sentence can…

The paper considers how such algorithms might be derived from their specifications by an automatic program-synthesis system. The derivation of the binary-search concept has been found to be surprisingly straightforward.

Turing focused on the computable real numbers, not on the nature and extent of the computable functions of natural numbers. In the last two sections of the paper (plus the…

A method for synthesizing multi-agent plans from simpler single-agent plans is described. The idea is to insert communication acts into the single-agent plans so that agents can synchronize activities and…

Theory resolution constitutes a set of complete procedures for incorporating theories into a resolution theorem-proving program, thereby making it unnecessary to resolve directly upon axioms of the theory. This can…