Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений.

Abstract

В [9,2] предложена система правдоподобных рассуждений некоторого типа, основанных на формализации так называемых индуктивных методов Дж.С.Милля (методов сходства и методов различия). Эта формализация использует многозначные многосортные логики предикатов с кванторами по кортежам переменной длины (о языках с такими кванторами см. [6]). Программная реализация процедур правдоподобного вывода [9,2] используется в экспертных системах типа ДСМ [4,5].