Artificial Intelligence: Structures and Strategies for Complex Problem SolvingCombines 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 |
Contents
PART I | 1 |
REASONING WITH UNCERTAIN OR INCOMPLETE | 7 |
PART II | 34 |
Copyright | |
29 other sections not shown
Common terms and phrases
8-puzzle allows and/or graph applied approach arcs argument artificial intelligence backtrack behavior best-first search bill breadth-first search called Chapter clause complexity concept conceptual graphs data-driven database defined definition defun depth-first search described discussed elements evaluation example expert systems formal function goal goal-driven grammar graph search heuristic search human implement important inference rules interpretation knight's tour knowledge base knowledge representation LISP logical match minimax modus ponens move node noun objects operations parameters parent parse pattern pattern_search possible predicate calculus expressions premise problem domain problem solving production system PROLOG propositional calculus query reasoning recursive relationships represent representation language requires s-expression search algorithms search space Section semantic semantic networks sentence simple solution path solver space search strategy structure subgoals substitutions symbol techniques theorem theory tic-tac-toe true truth value unification unify variable verb