Principles of Artificial Intelligence

Front Cover
Morgan Kaufmann, Jun 28, 2014 - Computers - 476 pages
1 Review
Reviews aren't verified, but Google checks for and removes fake content when it's identified

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. Rather than focusing on the subject matter of the applications, the book is organized around general computational concepts involving the kinds of data structures used, the types of operations performed on the data structures, and the properties of the control strategies used.

Principles of Artificial Intelligenceevolved from the author's courses and seminars at Stanford University and University of Massachusetts, Amherst, and is suitable for text use in a senior or graduate AI course, or for individual study.

From inside the book

 
Page xii
Pertinent references are briefly discussed at the end of every chapter. These citations should provide the interested student with adequate entry points to much of the most important literature in the field. I look forward someday to ...
Page 6
Many of these problems can be attacked by the methods discussed in this book. A classical example is the traveling salesman's problem, where the problem is to find a minimum distance tour, starting at one of several cities, ...
Page 9
Systems for proving theorems using resolution are discussed in chapter 5. We indicate how several different kinds of problems can be posed as theorem-proving problems. Chapter 6 examines some of the inadequacies of simple resolution ...
Page 14
[See also the discussion by Constable (1979) in the same volume.] The formal verification of properties of programs was discussed early in the history of computing by Goldstine and von Neumann (1947) and by Turing (1950).
Page 48
... refers to more specialized types of computational systems than those discussed in this book. Production systems derive from a computational formalism proposed by Post (1943) that was based on string replacement rules.

Where's the rest of this book?

What people are saying - Write a review

We haven't found any reviews in the usual places.

Selected pages

Contents

PROLOGUE
1
CHAPTER 1 PRODUCTION SYSTEMS AND AI
17
CHAPTER 2 SEARCH STRATEGIES FOR AI PRODUCTION SYSTEMS
53
CHAPTER 3 SEARCH STRATEGIES FOR DECOMPOSABLE PRODUCTION SYSTEMS
99
CHAPTER 4 THE PREDICATE CALCULUS IN AI
131
CHAPTER 5 RESOLUTION REFUTATION SYSTEMS
161
CHAPTER 6 RULEBASED DEDUCTION SYSTEMS
193
CHAPTER 7 BASIC PLANGENERATING SYSTEMS
275
CHAPTER 8 ADVANCED PLANGENERATING SYSTEMS
321
CHAPTER 9 STRUCTURED OBJECT REPRESENTATIONS
361
PROSPECTUS
417
BIBLIOGRAPHY
429
AUTHOR INDEX
467
SUBJECT INDEX
471
Copyright

Other editions - View all

Principles of Artificial Intelligence
Nils J. Nilsson
Limited preview - 1982
Principles of Artificial Intelligence
Nils J. Nilsson
Snippet view - 1980
Principles of Artificial Intelligence
Nils J. Nilsson
Snippet view - 1986
View all »

Common terms and phrases

8-puzzle achieve actions algorithm AND/OR graph applied Artificial Intelligence atomic formula backed-up value backtracking backward breadth-first breadth-first search called chapter clause form CLEAR(B component CONT(X contains control regime control strategy cost Deleters delineation depth-first search described discussed disjunction domain element-of evaluation function example existentially quantified F-rule formula frame problem global database goal expression goal node goal stack goal wif graph-search HANDEMPTY heuristic HOLDING(A implication initial state description knowledge literal nodes logic monotone restriction natural language processing negation node labeled ONTABLE ONTABLE(A optimal path pickup(A precondition predicate calculus problem-solving procedure production rules production system proof prove recursive regress represent representation resolution refutation result robot problem rule applications search graph search tree selected semantic network sequence shown in Figure Skolem function solution graph solve stack(A STRIPS structure subgoal substitutions successors Suppose symbols termination condition theorem theorem-proving tip nodes universally quantified unstack(C.A. variables WORKS-IN

About the author (2014)

Nils J. Nilsson's long and rich research career has contributed much to AI. He has written many books, including the classic Principles of Artificial Intelligence. Dr. Nilsson is Kumagai Professor of Engineering, Emeritus, at Stanford University. He has served on the editorial boards of Artificial Intelligence and Machine Learning and as an Area Editor for the Journal of the Association for Computing Machinery. Former Chairman of the Department of Computer Science at Stanford, and former Director of the SRI Artificial Intelligence Center, he is also a past president and Fellow of the American Association for Artificial Intelligence.

Bibliographic information

QR code for Principles of Artificial Intelligence
TitlePrinciples of Artificial Intelligence
AuthorNils J. Nilsson
Editionreprint
PublisherMorgan Kaufmann, 2014
ISBN1483295869, 9781483295862
Length476 pages
Subjects ›  › 

Computers / Artificial Intelligence / Expert Systems
Computers / Artificial Intelligence / General
Computers / Data Science / General
Computers / General
  
Export CitationBiBTeX EndNote RefMan