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