Prologue. - Production Systems and AI. - Search Strategies for AI Production Systems. - Search Strategies for Decomposable Production Systems.- The Predicate Calculus in AI. - Resolution Refutation Systems. -Rule-Based Deduction Systems. - Basic-Plan-Generating Systems. - Advanced Plan-Generating Systems. - Structured Object Representations. - Prospectus. - Bibliography. -Author Index. - Subject Index
Nils J. Nilsson is Kumagai Professor of Engineering, Emeritus, in the Department of Computer Science at Stanford University. He is the author of The Quest for Artificial Intelligence: A History of Ideas and Achievements and other books. He lives in Oregon.