Многозначные логики
Общие сведения
Классическая логика, основы которой были заложены еще в античности, опирается на принцип исключенного третьего, согласно которому любое высказывание может быть либо строго истинным, либо строго ложным. Однако при анализе естественных языков и текстов обнаруживается значительное количество высказываний, которые не поддаются однозначной бинарной классификации. Подобные высказывания могут содержать элементы неопределенности или выражать различную степень вероятности и достоверности наступления того или иного события. В разных языковых системах существуют специфические грамматические и лексические средства для отражения недостоверных или вероятностных суждений. Необходимость формализации подобных неоднозначных конструкций привела к возникновению многозначных логик. Первые фундаментальные работы в области многозначных логик были опубликованы в тысяча девятьсот двадцатом году математиками Эмилем Постом и Яном Лукасевичем.
Теоретические основы
Формализация неопределенности в многозначных логиках осуществляется путем введения дополнительных значений истинности. В таких системах истинность и ложность представляют собой крайние точки спектра, между которыми располагаются промежуточные уровни вероятности или достоверности. Например, значение ноль может обозначать абсолютную ложь, значение десять — абсолютную истину, а промежуточные числовые значения — различные степени вероятности. Несмотря на введение множества значений, базовая структура многозначных логик зачастую сводится к суперпозиции бинарных оппозиций. Количество допустимых значений в многозначной логике обозначается переменной k и может быть сколь угодно большим, формируя конечное множество значений от нуля до k минус один. Функции, определенные на данном множестве и принимающие значения из этого же множества, образуют класс, обозначаемый как Pk.
Основные определения и свойства
Важнейшим понятием в теории многозначных логик является концепция замкнутого класса функций. Класс функций, определенных на одном и том же множестве, считается замкнутым, если любая функция, полученная с помощью подстановки, отождествления переменных или их переименования из функций данного класса, также принадлежит этому классу. Данное определение, изначально сформулированное для бинарной логики, в обобщенном виде применяется и к многозначным логикам. В рамках этих систем выделяются существенно одноместные функции, зависящие не более чем от одного аргумента, и существенно многоместные функции. Для любого замкнутого класса множество всех его существенно одноместных функций также образует замкнутый класс. Кроме того, рассматриваются монотонные функции, которые сохраняют отношение порядка: если входные наборы значений находятся в определенном отношении, то и результаты функции от этих наборов сохраняют аналогичную зависимость. Множество всех монотонных функций также является замкнутым классом. Совокупность функций образует полную систему, если с помощью подстановок она способна породить весь замкнутый класс. Минимальная система функций, порождающая замкнутый класс и не содержащая избыточных элементов, называется базисом.
Практическое применение
Активное развитие аппарата многозначных логик во второй половине двадцатого века было неразрывно связано с появлением электронно-вычислительных машин и развитием информатики. Практическая необходимость обработки вероятностных данных и формализации неопределенности сделала многозначные логики важным инструментом в различных прикладных областях. Данный математический аппарат широко применяется в современных разработках, связанных с системами искусственного интеллекта. Одной из ключевых практических задач при работе с такими системами является проблема полноты, которая заключается в поиске необходимых и достаточных условий для того, чтобы заданное множество функций могло породить весь класс Pk. Решение проблемы полноты для многозначных логик представляет собой сложную математическую задачу, имеющую важное значение при проектировании вычислительных алгоритмов.
Особенности и характеристики
Многозначные логики обладают рядом специфических математических свойств. Согласно существующим теоремам, мощность множества всех попарно различных замкнутых классов функций не превышает континуума, что обусловлено счетностью множества самих функций. Замкнутые классы могут быть как конечно порожденными, имеющими конечный базис, так и бесконечно порожденными, не имеющими конечного базиса. Существуют особые функции, порождающие сложные структуры классов. Например, функция, принимающая значение единицы только в случае равенства всех аргументов нулю, порождает бесконечно порожденный замкнутый класс, который вообще не имеет базиса. Другая специфическая функция, проверяющая отсутствие значения «два» и наличие не более одной «единицы» среди аргументов, порождает класс, содержащий континуум различных замкнутых подклассов. Для определения того, порождает ли система функций весь класс P_k, используется концепция максимально замкнутых классов: система функций порождает заданный класс тогда и только тогда, когда она целиком не содержится ни в одном максимально замкнутом классе.