Математические основы ИИ: теория LP-структур для моделей знаний

Книга представляет фундаментальное исследование в области математических основ искусственного интеллекта. Автор излагает разработанную им алгебраическую теорию LP-структур, основанную на решётках и предназначенную для моделирования и управления знаниями в интеллектуальных системах продукционного типа. Теория предлагает строгий математический аппарат для анализа широкого спектра моделей представления знаний.

Основное внимание уделяется созданию общей методологии для исследования продукционных систем. Теория LP-структур позволяет формально изучать такие системы на предмет эквивалентности, выполнять эквивалентные преобразования, проводить верификацию и оптимизацию баз знаний. Модель базируется на иерархическом множестве (решётке) с дополнительным бинарным отношением, обладающим специальными продукционно-логическими свойствами.

В работе подробно рассматриваются возможности применения теории LP-структур в различных областях информатики. Описана интегрированная среда разработки продукционных экспертных систем, включающая реализацию LP-структур для верификации и оптимизации баз знаний. Приводятся результаты экспериментов, подтверждающие практическую значимость и работоспособность предложенного математического аппарата.

Книга предназначена для исследователей, аспирантов и студентов, занимающихся алгебраическими основами информатики, теорией искусственного интеллекта и разработкой интеллектуальных систем. Представленная теория вносит существенный вклад в создание математической базы для обеспечения надёжности и эффективности систем управления знаниями.