Без заголовка

Эвристичные логические алгоритмы для высокопорядковых логик в рамках контекста/микротеории, найденной в пункте. Понятное дело, из-за NP-характера (запредельная вычислительная сложность) задачи эти все решения являются "вероятными", и не факт, что здесь тоже не будут работать вероятностные алгоритмы, связанные с "распознаванием образов". В первопорядковой и высокопорядковой логиках все гораздо хуже. NP-полная - это задача SAT разрешимости. Для дескрипционных логик проблемы обычно дважды экспоненциальные. Для первопорядковых и высокопорядковых большинство проблем не разрешимо вообще. Т.е. высокопорядковые системы обычно содержат в себе специальный язык для программирования эвристик, потому как иначе никак.