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

 

Results 6-10 of 59

Page 12
... and Genesereth (1978, 1979), for helping casual users of the MACSYMA mathematical formula manipulation system [Martin and Fateman (1971)]. 0.3.4. THEOREM PROVING Early applications of AI ideas to proving 12 PROLOGUE.
Page 13
THEOREM PROVING Early applications of AI ideas to proving theorems were made by Gelernter (1959) to plane geometry; and by Newell, Shaw, and Simon (1957) to propositional logic. The resolution principle of Robinson (1965) greatly ...
Page 14
Pioneering papers by Waldinger and Lee (1969) and by Green (1969a) showed how small programs could be synthesized using theorem-proving techniques. Surveys by Biermann (1976) and by Hammer and Ruth (1979) discuss several approaches to ...
Page 49
You have reached your viewing limit for this book.
Page 127
You have reached your viewing limit for this book.

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 / General
  
Export CitationBiBTeX EndNote RefMan