Abstract We describe a new problem solver called STRIPS that attempts to find a sequence
of operators in a space of world models to transform a given initial world model in which a
given goal formula can be proven to be true. STRIPS represents a world model as an ...

Abstract-Although the problem of determining the minimum cost path through a graph arises
naturally in a number of interesting applications, therehas been no underlying theory to
guide the development of efficient search procedures. Moreover, there is no adequate ...

A classic introduction to artificial intelligence intended to bridge the gap between theory and
practice, Principles of Artificial Intelligence describes fundamental AI ideas that underlie
applications such as natural language processing, automatic programming, robotics, ...

The aim of this book is to'present a computational mechanism'which will extract three-
dimensional structures of objects from two-dimensional line drawings. It is recognized that
the mechanism must be intelligent but there is no attempt to mimic the human visual ...

A would certainly have missed it and thus would be inadmissible, contrary to our
assumption. Thus, we must assume that algorithm A" knew" that there~ as no less costly p.
ath through node n.) The i.: actual cost of an optImal path constraIned to go through node,[ ...

Intelligent agents are employed as the central characters in this introductory text. Beginning
with elementary reactive agents, Nilsson gradually increases their cognitive horsepower to
illustrate the most important and lasting ideas in AI. Neural networks, genetic ...

Abstract Because many artificial intelligence applications require the ability to reason with
uncertain knowledge, it is important to seek appropriate generalizations of logic for that
case. We present here a semantical generalization of logic in which the truth values of ...

Abstract 1. Pattern classification in discriminant machine systems, training procedures and
theorems, and the theory of layered adaptive machines. A detailed summary of systems
research in this area to 1965. Harvard Book List (edited) 1971# 305 (PsycINFO Database ...

Abstract In this paper we describe some major new additions to the STRIPS robot problem-
solving system. The first addition is a process for generalizing a plan produced by STRIPS
so that problem-specific constants appearing in the plan are replaced by problem- ...

Abstract: From 1960 through 1972, the Artificial Intelligence Center at SRI conducted
research on a mobile robot system nicknamed" Shakey." Endowed with a limited ability to
perceive and model its environment, Shakey could perform tasks that required planning, ...