🗊Презентация Трехзначные логики и их расширения: использование в информатике и искусственном интеллекте

В.Б.ТАРАСОВ e-mail: tarasov@rk9.bmstu.ru КУРС «ОСНОВЫ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА» ЛЕКЦИЯ 8. ТРЕХЗНАЧНЫЕ ЛОГИКИ И ИХ РАСШИРЕНИЯ: ИСПОЛЬЗОВАНИЕ В ИНФОРМАТИКЕ И ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ

ОСНОВНЫЕ ТРЕХЗНАЧНЫЕ ЛОГИКИ Логика Лукасевича L3 LML3 = {1, 0.5, 0}, {, L}, {1} 0.5 – «возможноcть», «безразличие» Логика Клини K3 LMK3 = {1, 0.5, 0}, {, }, {1} 0.5 – «неопределенность, «неизвестность», «неполнота информации» Логика Гейтинга H3 LMH3 = {1, 0.5, 0}, {, , }, {1} 0.5 – «половинчатая истина» Логика Бочвара B3 LMB3 = {1, 0.5, 0}, {, ,  , B}, {1} 0.5 – «бессмыслица», «абсурд»

ОСНОВНЫЕ БЕСКОНЕЧНОЗНАЧНЫЕ ЛОГИКИ L3  L Бесконечнозначная логика Лукасевича L  LML =  [0,1], {, L},{1}, K3  К Бесконечнозначная логика Клини К (логика Заде) LMK =  [0,1], {, }, {1} H3  G Бесконечнозначная логика Геделя G LMG3 =  [0,1], {, , }, {1} Бесконечнозначная логика Рейхенбаха R LML =  [0,1], {, R},{1},

МЕТОДИКА АНАЛИЗА МНОГОЗНАЧНЫХ И НЕЧЕТКИХ ЛОГИК

ПРИНЦИП ЛОГИЧЕСКОГО ФАТАЛИЗМА Из законов классической логики следует, что все в мире предопределено, и человек не имеет свободы воли. Этот принцип был сформулирован Аристотелем в 9-й главе трактата «Об истолковании» с целью его опровержения (на примере рассуждений о будущем морском сражении). Предположим, что сейчас истинно, что завтра будет морское сражение. Из этого следует, что не может быть, что завтра не будет морского сражения. Следовательно, необходимо, чтобы завтра было морское сражение (Принцип необходимости). Подобно этому, если сейчас ложно, что завтра будет морское сражение, то необходимо, что морское сражение завтра не произойдет. Но само высказывание, что завтра произойдет морское сражение, сейчас либо истинно, либо ложно (Логический принцип бивалентности). Следовательно, либо необходимо, что морское сражение завтра произойдет, либо необходимо, что морское сражение завтра не произойдет. Обобщая этот аргумент, получаем, что все в мире происходит по необходимости, и в нем нет случайных событий и свободы воли. Логическая структура здесь такова: Пусть p – высказывание о будущем случайном событии. Имеем (1) T(p)  N(p) – принцип необходимости (2) F(p)  N( p) (3) T(p)  F(p) - принцип бивалентности (4) N(p)  N(p)

ТРЕХЗНАЧНАЯ ЛОГИКА ЛУКАСЕВИЧА

ТАБЛИЦЫ ИСТИННОСТИ ДЛЯ ЛОГИЧЕСКИХ СВЯЗОК Базовые операции в трехзначной логике Лукасевича – отрицание и импликация.

АКСИОМАТИЗАЦИЯ ВАЙСБЕРГА W1. (x  y)  ((y  z)  (x  z)) W2. x  ( y  x) W3. ( x   y)  (y  x) W4. ((x   x)  x)  x.

ТРЕХЗНАЧНАЯ ЛОГИКА КЛИНИ K3 – простейший пример параполной логики Разработка теории рекурсивных функций привела С.Клини к идее частичной функции (не всюду определенной). Отсюда третье истинностное значение может интерпретироваться как «неопределенность», «неизвестность», «неразрешимость». Здесь оно вводится не по онтологическим соображениям ,как у Лукасевича, а скорее по эпистемологическим. Закон материальной импликации x  y =  x  y

ТРЕХЗНАЧНАЯ ЛОГИКА ГЕЙТИНГА H3 – простейший пример интуиционистской логики Трехзначная логика А.Гейтинга (совпадающая с трехзначной логикой К.Геделя) является простейшим примером интуиционистской логики. Интуиционизм как логико-математическое направление настаивает на необходимости признания асимметрии между истиной и ложью. По мнению интуиционистов, из ложности отрицания данного суждения нельзя делать вывод об истинности этого суждения.В классической двузначной логике справедливо утверждение: (p   p) = (  p p) Идея о том, что второй член этой конъюнкции должен быть отброшен, восходит к основоположнику математического интуиционизма Л.Брауэру

БЕСКОНЕЧНОЗНАЧНАЯ ЛОГИКА ЛУКАСЕВИЧА L Она является исторически первым примером нечеткой логики с континуумом значений истинности. Ее логическая матрица имеет вид  LML =  [0,1],,,{1}, где   унарная операция отрицания, а   бинарная операция импликации, определяемые как  x = 1  x, x y = min(1, 1 x + y). Операции дизъюнкции и конъюнкции вводятся следующим образом x  y = (x y)  y = max (x,y), x  y = ( x   y) = min(x,y).  

Д.А.БОЧВАР: ОСНОВНЫЕ НАУЧНЫЕ КОНЦЕПЦИИ 1. Построение трехзначной логики парадоксов (работы по формализации парадокса лжеца и других семантических парадоксов средствами специальной трехзначной логики) 2. Идея различения внутренних и внешних логических связок, а следовательно, построения двух уровней языка – внутреннего языка, в котором выражаются некоторые факты, но нет доказательств, и внешнего языка, в котором доказываются утверждения, в том числе, о формулах внутреннего языка (парадоксальная формула принадлежит внутреннему языку, а утверждение ее бессмысленности – внешнему). 3. Рассмотрение многозначных логик как фрагментов формализованной семантики (Принцип: сначала семантика, а затем – формальная логическая конструкция). Это означает интерпретируемость истинностных значений в содержательных терминах (например, порождение истинностных значений высказываний посредством правил правдоподобного вывода). Оно опирается на тезис Д.А.Бочвара об адекватности многозначных логик базам данных с неполной информацией.

ОСНОВНЫЕ ТРЕХЗНАЧНЫЕ ЛОГИКИ Логика Бочвара B3 LMB3 = {1, 0.5, 0}, {, ,  , B}, {1} 0.5 – «бессмыслица», «абсурд». Внутренние связки

ДВА УРОВНЯ ЛОГИКИ БОЧВАРА ВНЕШНИЕ СВЯЗКИ

Д.А. БОЧВАР – РОДОНАЧАЛЬНИК ГЕОМЕТРИКО-АНАЛИТИЧЕСКОГО ПОДХОДА В НЕЧЕТКОЙ ЛОГИКЕ Бочвар Д.А. К общей теории логических матриц с континуумом валентностей// Исследования по теории множеств и неклассическим логикам. – М.: Наука, 1976. – С.198-220. В 1976 г. за несколько лет по появления первых работ по формированию и использованию треугольных норм и конорм в нечеткой логике (в том числе, параметрических функций, таких как семейства норм Гамахера, Сугено, Франка и др.) и более чем за 20 лет до выхода в свет работ П.Хаека по представлению нечетких логик как континуальных логик, порожденных с помощью непрерывных треугольных норм Д.А.Бочвар предложил набросок общей теории логических матриц с континуумом валентностей (т.е. по сути, вариант теории параметризованных нечетких логик), в русле которой в бесконечнозначную логику были впервые введены нелинейные функции отрицания и импликации. В результате были построены семейства гиперболических, параболических, эллиптических логик: гиперболические логики как расширения бесконечнозначных логик Лукасевича и Геделя. Впоследствии Григолия Р.Ш. и Финн В.К. ввели аппарат Bn-алгебр (квазиалгебр), которые соответствуют n-значной логике Бочвара.

ПАРАМЕТРИЧЕСКИЕ БЕСКОНЕЧНОЗНАЧНЫЕ ЛОГИКИ: Различные геометрические интерпретации бесконечнозначных семантик А. Гиперболические логики задаются логическими матрицами, для которых операции отрицания nH(x) и импликации IH(x,y) представляют собой уравнения гипербол или поверхностей гиперболического типа соответственно LMHL=  [0,1], {1}, nH, IH, I. Обобщение логики Лукасевича 1. Семейство параметрических отрицаний nH(x) = k (1 – x)/ (1 + x) 2. Семейство импликаций IH(x, y) = 1, если x y k[(1–(x – y)/k+(x – y)], если xy При k nH(x)  1– x (линейное отрицание Лукасевича) IH(x,y)  min {1, 1 – x+y} (импликация Лукасевича)

ПАРАМЕТРИЧЕСКИЕ БЕСКОНЕЧНОЗНАЧНЫЕ ЛОГИКИ (продолжение): II. Обобщение логики Геделя LMHL*=  [0,1], {1}, n*H, I*H, 1*. Семейство параметрических отрицаний n*H(x) = [(1-x) / (1+x)]k 2*. Семейство параметрических импликаций I*H(x,y) = 1, если x  y (k+1)y/(k+x), если x  y При k n*H(x)  1, если x =0 (отрицание Геделя) 0, если x 0 I*H(x,y)  1, если x y y, если x y (импликация Геделя)

ПСЕВДОФИЗИЧЕСКИЕ ЛОГИКИ Д.А.ПОСПЕЛОВА Псевдофизическая логика (ПФЛ) – это логика, отражающая восприятие субъектом или искусственной системой закономерностей внешней физической среды. Особенностью ПФЛ является наличие нечетких шкал, на которые проецируются объекты. Примерами ПФЛ являются временные логики, пространственные логики, логики действий и т.п. [Толковый словарь по ИИ, 1992, с.45-46] Псевдофизические логики – класс логических систем, имеющих следующие особенности: 1. В качестве пропозициональных переменных используются лингвистические переменные (ЛП) Л.Заде, имеющие в качестве значений либо слова естественного языка, либо нечеткие множества, соответствующие этим словам, а также числовые (базовые) переменные. Например, в частотной логике И.В.Ежковой и Д.А.Поспелова (1977) в качестве ЛП берется «Частота события» с множеством значений {никогда, чрезвычайно редко, редко, ни часто, ни редко, часто, очень часто, почти всегда, всегда}, а в качестве числовой переменной {0, 1/5, 2/5, 3/5, 4/5, 1}. 2. На множестве значений для всех переменных имеются порядковые шкалы с отношением строгого порядка. Точнее для ЛП существуют порядковые шкалы, а для числовых переменных – метрические шкалы. 3. Выводы, используемые в псевдофизических логиках, учитывают порядковые и метрические шкалы, а также расположение событий на них. Первые работы по ПФЛ появились в 1975 г. [Представление знаний в человеко-машинных и робототехнических системах, т.А, 1984, с.48-50]

ПСЕВДОФИЗИЧЕСКИЕ ЛОГИКИ (ПРОДОЛЖЕНИЕ) По аналогии с современной психофизической схемой и в отличие от классической аристотелевской логики псевдофизические логики описывают не идеальный платоновский мир, а восприятие реального физического мира конкретным субъектом (агентом). Псевдофизическая логическая система представляет собой семейство взаимосвязанных логических подсистем, которые можно отнести к двум основным уровням. На первом уровне находятся пространственная, временная, каузальная логика, а также логика действий. На втором, более высоком уровне находятся логика оценок, логика мнений, логика норм и пр. Следует отметить, что логики первого уровня непосредственно связаны с взаимодействием агентов (например, роботов) с внешней средой. Псевдофизические логики опираются на специальные шкалы: как порядковые, так и метрические. Взаимосвязь между шкалами задается с помощью нечеткого отношения моделирования (А.Н.Аверкин) Суть псевдофизических логик составляет работа с событиями (т.е. с формулами, соотнесенными с отметками на шкалах). Взаимное положение событий на множестве шкал, возможные перемещения по шкалам и связь этих перемещений с изменениями на других шкалах позволяют описать те процессы вывода, которые характерны для псевдофизических систем.

ПСИХО-ЛОГИКА: ПОЛЯРНЫЕ ШКАЛЫ СИСТЕМА ОППОЗИЦИОННЫХ ШКАЛ – ОБЪЕКТИВНАЯ ОСНОВА ПОСТРОЕНИЯ ОБРАЗА МИРА (ПО А.Н.Леонтьеву) ОЦЕНИВАНИЕ НА ПОЛЯРНЫХ ШКАЛАХ – ВАЖНЕЙШИЙ СПОСОБ ФОРМИРОВАНИЯ ЧЕЛОВЕЧЕСКИХ ЗНАНИЙ В мышлении человека порядо ксоздается из хаоса путем формирования системы оппозиционных (полярных) шкал и различения некоторых объектов с помощью набора оценок на этих шкалах. У оппозиционной шкалы всегда есть два конца (полюса) и середина (нейтральная точка), которая делит всю шкалу на две части – положительную и отрицательную -1 0 +1 A– A0 A+ В середине шкалы происходит переключение с одного типа оценок на другой.

НЕКОТОРЫЕ ИНТЕРЕСНЫЕ ПРОСТРАНСТВА E, СВЯЗАННЫЕ С ОППОЗИЦИОННЫМИ ШКАЛАМИ И МНОГОЗНАЧНЫМИ ЛОГИКАМИ Пространство Лукасевича (Заде)