Title page -- Contents -- Introduction -- Language of algorithms -- Knowledge Handling -- Knowledge and knowledge systems -- Abstract representation of knowledge systems -- Examples of deductive systems -- Brute force deduction and value propagation -- Clausal calculi and resolution -- Language -- Inference rule - resolution -- Resolution strategies -- Pure Prolog -- Nonmonotonic theories -- Production rules -- Decision tables -- Rete algorithm -- Semantic networks -- Frames -- Knowledge architecture -- Hierarchical connection -- Semantic connection -- Union -- Operational connection -- Examples of knowledge architectures -- Ontologies and knowledge systems -- Summary -- Exercises -- Search -- Search problem -- Exhaustive search methods -- Breadth-first search -- Depth-first search -- Search on binary trees -- Heuristic search methods -- Best-first search -- Beam search -- Hill-climbing -- Constrained hill-climbing -- Search with backtracking -- Search on and-or trees -- Search with dependency-directed backtracing -- Branch-and-bound search -- Stochastic branch and bound search -- Minimax search -- Alpha-beta pruning -- Specific search methods -- A* algorithm -- Unification -- Dictionary search -- Simulated annealing -- Discrete dynamic programming -- Viterby algorithms -- Forward search and backward search -- Hierarchy of search methods -- Exercises -- Learning and Decision Making -- Learning for adaptation -- Parametric learning -- Adaptive automata -- Symbolic learning -- Concept learning as search in a hypothesis space -- Specific to general concept learning -- General to specific concept learning -- Inductive inference -- Learning with an oracle -- Inductive logic programming -- Learning by inverting resolution -- Massively parallel learning in genetic algorithms -- Learning in neural nets -- Perceptrons -- Hopfield nets -- Hamming nets.

Comparator -- Carpenter-Grossberg classifier -- Kohonen's feature maps -- Bayesian networks -- Taxonomy of neural nets -- Data clustering -- Sequential leader clustering -- K-means clustering -- Specific learning algorithms -- Learning decision trees from examples -- Learning productions from examples -- Discovering regularities in monotonous systems -- Discovering relations and structure -- Summary -- Exercises -- Problem Solving and Planning -- Constraint satisfaction problem -- Consistency algorithms -- Binary consistency -- Path consistency -- Propagation algorithms -- Functional constraint networks -- Computational problems and value propagation -- Equational problem-solver -- Minimizing an algorithm -- Lattice of problems on functional constraint network -- Higher-order constraint propagation -- Special algorithms of constraint solving -- Clustering of equations -- Interval propagation -- Program synthesis -- Deductive synthesis of programs -- Inductive synthesis of programs -- Transformational synthesis of programs -- Structural synthesis of programs -- Planning -- Scheduling -- Intelligent agents -- Agent architectures -- Agent communication languages -- Implementation of agents -- Reflection -- Exercises -- References -- Subject Index.