DOI: 10.17587/prin.8.140-144

УДК: 512.563.6

Применение контрапозиционного правила вывода при решении продукционно-логических уравнений на булевой решетке

И. Ю. Иванов, аспирант, e-mail: hour1scorp@gmail.com, Воронежский государственный университет

Алгебраический подход к интерпретации логики продукций нулевого порядка основывается на моделировании логического вывода с помощью отыскания связей между элементами математической решетки. Рассмотренная в предыдущих работах автора концепция продукционно-логических уравнений на булевой решетке развивает этот алгебраический подход, который, однако, имеет недостаток, связанный с игнорированием контрапозиционного правила вывода. В настоящей работе представлены результаты исследований, устраняющие этот недостаток.

Ключевые слова: логика нулевого порядка, LP-структура, LP-вывод, булева решетка, правила вывода, логическое отношение, начальное множество решетки, продукционно-логическое уравнение

Стр. 140–144

Данная работа поддержана грантом РФФИ № 15-07-05341.