Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

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