ИСТИНА |
Войти в систему Регистрация |
|
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Математическую основу моделирования логических систем предоставляет общая алгебраическая логика. Однако в силу универсальности она не решает ряда важных частных задач, связанных с широко распространенными на практике логическими системами продукционного типа. В предыдущих работах был введен новый класс алгебраических структур, моделирующих продукционно-логические системы на основе теории решеток. Они названы LP-структурами (Lattice-Production Structure). Применение таких структур позволяет теоретически обосновывать и автоматизировать формальные преобразования и минимизацию баз знаний продукционного типа. Был исследован связанный с LP-структурами класс реляционных уравнений – логические уравнения на решетках. Концепция продукционно-логического вывода на основе таких уравнений предполагает существенное условие о 100% степени истинности правил. Однако нередко встречаются системы, правила которых задаются с коэффициентом доверия – степенью уверенности, с которой можно считать правило достоверным. К таковым, в частности, относятся экспертные системы, основанные на нечеткой логике. В настоящем докладе вводится способ модификации продукционно-логического вывода на основе логических уравнений, позволяющий решить следующие задачи: - выбор наиболее истинного решения; - расчет коэффициента доверия решения; - минимизация количества медленных запросов к базе данных или пользователю. Таким образом, появляется возможность автоматизированного решения задач верификации и ускоренного обратного вывода для логических систем, правила в которых задаются с коэффициентами доверия.
№ | Имя | Описание | Имя файла | Размер | Добавлен |
---|---|---|---|---|---|
1. | Краткий текст | Тезисы | O_nechetkih_LP-strukturah_i_ih_prilozheniyah_v_intellektual… | 282,8 КБ | 15 октября 2020 [shmarinan] |