Principles of Artificial Intelligence

Front Cover
Morgan Kaufmann, Jun 28, 2014 - Computers - 476 pages

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 1-5 of 38

Page 5
... logic, for example, helps us to understand more clearly some of the components of reasoning. Many informal tasks, including medical diagnosis and information retrieval, can be formalized as theorem-proving problems. For these reasons ...
Page 12
... logic to database organization and retrieval are contained in a book edited by Gallaire and Minker (1978). The article edited by Waltz (1977) contains several descriptions of systems for querying databases using simplified natural ...
Page 13
... logic. The resolution principle of Robinson (1965) greatly accelerated work on automatic theorem proving. Resolution theorem proving is thoroughly explained in books by Chang and Lee (1973), Loveland (1978), and Robinson (1979). Bledsoe ...
Page 14
... logic-based methods for program verification, synthesis, and debugging. 0.3.7. COMBINATORIAL AND SCHEDULING PROBLEMS Scheduling problems are usually studied in operations research. Good general references are the books by Wagner (1975) ...
Page 33
... logic) for talking about goals described by conditions. Initial The president of the new company approves the sale 1 This sequence of rules replaces terminal symbols by non-terminal symbols. DET N P DET A N V DET N | i DNP P DNP VP ...

Where's the rest of this book?

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