Автор: С. Д. Махортов
Издательство: Негосударственное образовательное учреждением «Московский центр непрерывного математического образования»
Жанр: Математика
isbn: 978-5-94057-575-7
isbn: 2009
Излагается основанная на решетках алгебраическая теория, которая предназначена для моделирования и управления знаниями в интеллектуальных системах продукционного типа. Многие модели в информатике имеют продукционный характер, а структуры представления информации, как правило, являются иерархическими. Предложенная теория адекватно отражает вторичные продукционные связи в иерархических системах широкого спектра применения, а также обосновывает формальные исследования таких систем на предмет их эквивалентности, эквивалентных преобразований, верификации и оптимизации. Описаны возможности применения теории LP-структур на примерах из различных областей информатики. Представлена интегрированная среда разработки продукционных экспертных систем, а также реализация в ее составе LP-структуры для верификации и оптимизации баз знаний. Приводятся результаты экспериментов, подтверждающие практическую значимость изложенной теории. Книга предназначена для студентов, аспирантов и научных работников, занимающихся исследованиями в области алгебраических основ информатики и интеллектуальных систем.