Artificial intelligence and theoretical computer science. (Intelligence artificielle et informatique théorique.) (French) Zbl 0852.68002

Alliot, Jean-Marc; Schiex, Thomas

Toulouse: Cépaduès Éditions. 520 p. (1994).

This is an undergraduate textbook for artificial intelligence newcomers and an introduction to some basic theoretical computer science problems. Considering the covered topics, the investigated areas are very broad: mathematical logic and the resolution principle, Turing machines, formal languages, calculability, NP-complexity, \(\chi\)-calculus, searching, AND/OR graphs, backtracking, game theory, minimax algorithm, expert systems, functional programming (Scheme), logic programming (Prolog), machine learning, neural networks, genetic algorithms, genetic programming. Hence, the task of the authors was hard and it is a pleasant surprise to see how well they did their job. The book is self-contained and makes an enjoyable reading considering is essayistic style. I recommend it as an appropriate supplementary reading to any undergraduate student interested in computer science. It may be also used as a handbook, providing newcomers with an insight into the status of artificial intelligence and theoretical computer science.

Reviewer: R.Andonie (Braşov)

MSC:

68-01	Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science
68T01	General topics in artificial intelligence
68Q05	Models of computation (Turing machines, etc.) (MSC2010)
68Q45	Formal languages and automata
68W10	Parallel algorithms in computer science
68T05	Learning and adaptive systems in artificial intelligence

Keywords:

turing machines; mathematical logic; resolution principle; Turing machines; formal languages; calculability; NP-complexity; searching; machine learning; neural networks; genetic algorithms; genetic programming