Четверичная логика как логика “убежденности” для сильного ИИ

Сафронов Алексей Владимирович

В статье рассматривается семейство логических систем, в которых не действует закон двойного отрицания, но действует закон n-мерного отрицания в зависимости от n-мерности логики. Такой подход позволяет по-новому описать трех- и более мерные логики, и дать интерпретацию “неопределенности” в этих системах. В частности, показано, что с этой точки зрения полными является только логики кратные двум: двоичные, четвертичные, восьмеричные и т.д., так как добавление каждого нового измерения в логике увеличивает его “n-ность” вдвое. Приводятся таблицы для основных логических операций логики убежденности как расширения классической логики. Показано, что такая логика оперирует в двухмерном логическом пространстве и является более гибкой и интуитивной, и теоретически может быть использована для систем сильного искусственного интеллекта.

Ключевые слова:закон двойного отрицания, четвертичная логика, логика убежденности, неопределенность, сильный искусственный интеллект.