Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т.п. С помощью аппарата логики показано, что входит в дисциплину искусственного интеллекта, начиная с решения методами искусственного интеллекта простых задач синтеза дискретных устройств и заканчивая задачами моделирования и анализа ситуаций, возникающих в процессе управления предприятиями.
Содержание учебника соответствует курсу лекций, который автор читает в МГТУ им. Н.Э. Баумана.
Для студентов, аспирантов, инженеров и научных работников технических специальностей.