Combines the theoretical foundations of intelligent problem-solving with he data structures and algorithms needed for its implementation. The book presents logic, rule, object and agent-based architectures, along with example programs written in LISP and PROLOG. The practical applications of AI have been kept within the context of its broader goal: understanding the patterns of intelligence as it operates in this world of uncertainty, complexity and change. The introductory and concluding chapters take a new look at the potentials and challenges facing artificial intelligence and cognitive science.An extended treatment of knowledge-based problem-solving is given including model-based and case-based reasoning. Includes new material on:Fundamentals of search, inference and knowledge representatioAI algorithms and data structures in LISP and PROLOProduction systems, blackboards, and meta-interpreters including planers, rule-based reasoners, and inheritance systemsMachine-learning including ID3 with bagging and boosting, explanation based learning, PAC learning, and other forms of inductioNeural networks, including perceptrons, back propogation, Kohonen networks, Hopfield networks, Grossberg learning, and counterpropagationEmergent and social methods of learning and adaptation, including genetic algorithms, genetic programming and artificial lifeObject and agent-based problem solving and other forms of advanced knowledge representation.