Artificial intelligence publications

It is widely agreed that any reasonable AI system has to reason. Once it is agreed why that must be so, one can go on to look at alternative conceptions of what reasoning consist…

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…

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

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…