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