Продукционно-логические уравнения на полных решетках
Автор: Махортов Сергей Дмитриевич
Журнал: Проблемы информатики @problem-info
Рубрика: Теоретическая информатика
Статья в выпуске: 1 (2), 2009 года.
Бесплатный доступ
Рассмотрена алгебраическая система, моделирующая продукционно-логические бинарные отношения на полной решетке. Доказано существование логического замыкания нетерового отношения, что позволяет определить понятие эквивалентного отношения. Доказана теорема об эквивалентных преобразованиях ис- ходного отношения, с использованием которой обоснованы формальные преобразования баз знаний про- дукционного типа с бесконечными правилами. Введен новый класс логических уравнений, для которого доказана разрешимость и обоснован способ решения. Показано, что данная модель является основой для автоматической верификации баз знаний, а также ускорения обратного продукционно-логического вывода.
Продукционная система, алгебраическая модель, логическое уравнение, управление знаниями, обратный вывод
Короткий адрес: https://sciup.org/14320318
IDR: 14320318
Список литературы Продукционно-логические уравнения на полных решетках
- HALMOS P. Algebraic logic. N. Y.: Chelsea Publ. Co, 1962.
- МАХОРТОВ С. Д. Логические отношения на решетках//Вестн. Воронеж. гос. ун-та. Сер. Физика, математика. 2003. Вып. 2. С. 203-209.
- МАХОРТОВ С. Д. Логические уравнения на решетках//Вестн. Воронеж. гос. ун-та. Сер. Физика, математика. 2004. Вып. 2. С. 170-178.
- DOORENBOS R. B. Production matching for large learning systems: Dr. thesis. UMI Order N GAX95-22942. Pittsburg, 1995.
- AHO A. V., GAREY M. R., ULLMAN J. D. The transitive reduction of a directed graph//SIAM J. Comput. 1972. N 1. P. 131-137.
- БИРКГОФ Г. Теория решеток: Пер. с англ. М.: Наука, 1984.
- DERSHOWITZ N. Termination of rewriting//J. Symbolic Comput. 1987. V. 3. P. 69-116.
