This book is devoted to some mathematical methods that arise in two domains of artificial intelligence: neural networks and qualitative physics. Professor Aubin makes use of control and viability theory in neural networks and cognitive systems, regarded as dynamical systems controlled by synaptic matrices, and set-valued analysis that plays a natural and crucial role in qualitative analysis and simulation. This allows many examples of neural networks...