М.: Мир, 1972. Классическая работа одного из корифеев в сфере
искусственного интеллекта. В книге сделана попытка аксиоматически
построить теорию искусственного интеллекта. Используя аппарат
алгебры и элементарные теоретико-множественные понятия, автор с
единых позиций описывает задачи и методы решения, возникающие в
различных областях умственной деятельности. Особое внимание уделено
собственно теории решения задач, в частности стратегиям поиска
решений, теории игр двух лиц и проблемам, связанным с
распознаванием образов и обучением понятиям.