Введение в искусственный интеллект
Монография представляет собой фундаментальное введение в концептуальные основы и методы представления знаний в системах искусственного интеллекта. В книге подробно рассматриваются теоретические аспекты инженерии знаний, архитектура интеллектуальных информационных систем, а также классификация и свойства знаний, используемых в ИИ.
Особое внимание уделено формальным моделям представления знаний, включая исчисление высказываний и предикатов первого порядка. Автор детально разбирает нормальные формы исчисления предикатов, методы автоматизации доказательств и метод резолюций, что составляет математический фундамент для понимания логических основ искусственного интеллекта.
В практической части рассматриваются методы решения задач в интеллектуальных системах: поиск в пространстве состояний, редукция, дедуктивный выбор, а также подходы с использованием немонотонных и вероятностных логик. Книга также затрагивает тенденции развития систем ИИ и их применение в транспортном комплексе.
Издание предназначено для формирования профессиональной компетенции студентов, аспирантов и научных сотрудников, специализирующихся в области информатики и вычислительной техники. Материал структурирован от базовых понятий к сложным методам, что делает книгу доступной для начинающих и полезной для опытных исследователей.
