ИСТИНА

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