This book explains
the following topics: History of AI, Machine Evolution, Evolutionary
Computation, Components of EC, Genetic Algorithms, Genetic Programming,
Uninformed Search, Search Space Graphs, Depth-First Search, Breadth-First
Search, Iterative Deepening, Heuristic Search, The Propositional Calculus,
Resolution in the Propositional Calculus, The Predicate Calculus, Resolution in
the Predicate Calculus, Reasoning with Uncertain Information, Agent
Architectures.
Author(s): Seoul National University
NAPages