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