This book is devoted to mathematical methods (control and viability theory, set-values analysis, etc.) arising in such domains of artificial intelligence as neural networks, cognitive systems and qualitative physics.