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