Представление и обработка знаний с точки зрения математического моделирования. Проблемы и решения

Description

Монография посвящена исследованию проблемы представления и обработки знаний в интеллектуальных системах. На основании всестороннего анализа известных моделей представления знаний и методов обработки знаний показано, что решение исследуемой проблемы должно основываться на применении методологии математического моделирования. Исходя из этого, выполнен анализ естественных свойств декларативных и процедурных знаний, на основании которого обоснованы свойства новой модели представления знаний – логико-вычислительной семантической сети (ЛВС-сети). Формально исследованы свойства ЛВС-сети, и показано, что по своим функциональным возможностям ЛВС-сеть превосходит ряд других известных сетевых моделей представления знаний. Для ЛВС-сети предложена совокупность методов обработки знаний, в том числе: метод прямого вывода, метод построения начального состояния процесса прямого вывода, методы статической верификации и метод генерации множества тестовых случаев. На основе полученных теоретических результатов разработана программно-инструментальная среда представления и обработки знаний (СЛМ-технология), представляющая собой, с одной стороны, инструментальное средство построения систем, основанных на знаниях, с другой стороны, интегрированную среду моделирования. Приведены содержательные примеры применения СЛМ-технологии для представления и обработки знаний о различных предметных областях. Для научных работников и специалистов, занимающихся исследованиями и разработками как в области интеллектуальных систем, так и математического моделирования, а также аспирантов и студентов соответствующих специальностей.