Декомпозиция Логических Теорий: Вычислительные Проблемы И Приложения

Abstract

Интерес к методам декомпозиции в логике связан с анализом и применением больших аксиоматических теорий, возникающих в приложениях. Применение логики многогранно и исследование свойств, связанных с декомпозицией, требует разнообразных техник. Эта тема стала актуальной, главным образом, благодаря развитию логических методов представления знаний и автоматизированного вывода, однако полученные результаты оказались интересными как для классической области логики, так и канонических приложений, например, синтеза логических схем и компрессии данных.