Книга является учебным пособием. Изложены современные вопросы теории и практики систем искусственного интеллекта (ИИ). Рассмотрены различные типы исчислений, используемых для создания систем ИИ, включая такие их свойства, как мультиагентность, нечеткость, модальность и т.п. С помощью аппарата логики показано, что входит в дисциплину ИИ, начиная с решения методами ИИ простых задач синтеза дискретных устройств и заканчивая задачами моделирования... (Подробнее)