Статья в сборнике "Математические вопросы кибернетики" №7, Москва, 1998
Авторы:Косовский Н.К., Тишков А.В.
Секвенциальное исчисление для сравнений противоречивых условий различной степени достоверности
Аннотация:
Э. Пост обобщил двузначную пропозициональную логику на конечнозначные. В статье представлено дальнейшее обобщение. Предлагается рассматривать эвристическую логику конечнозначных предикатов как расширение двузначной логики, приспособленное для первоначальных описаний, в том числе и в гуманитарных областях человеческого знания. Предлагаемое исчисление и его подысчисления удобно применять при анализе аксиоматических систем, если присвоить предикатам в разных областях знаний разные уровни очевидности (истинности). Аналогичным образом можно использовать различные логические значения для постулатов различных наук, соединив несколько наук в единую иерархическую систему. Определены предикатное и секвенциальное исчисления эвристической логики. Доказаны некоторые свойства излагаемых секвенциальных исчислений, верхние оценки сложности проверки тавтологичности пропозиционального фрагмента рассматриваемой логики. Доказаны семантическая обоснованность и полнота. Доказана NP -полнота задачи выполнимости пропозициональных формул в рассматриваемой теории.