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 into a model in which a given goal formula can be proven to be true.Expand

This paper describes how heuristic information from the problem domain can be incorporated into a formal mathematical theory of graph searching and demonstrates an optimality property of a class of search strategies.Expand

This paper is a survey of Artifici'al Intelligence (AI). It divides the field into four cor~ topics (embodying the base fo·r a science of intelligence) and eight applications topics (in which… Expand

IEEE Transactions on Pattern Analysis and Machine…

1981

TLDR

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, machine vision, automatic theorem proving, and intelligent data retrieval.Expand

Feel lonely? What about reading books? Book is one of the greatest friends to accompany while in your lonely time. When you have no friends and activities somewhere and sometimes, reading book can be… Expand

We introduce the notion of teleo-reactive (T-R) programs whose execution entails the construction of circuitry for continuous computation of the parameters and conditions on which agent action is based.Expand