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

ИСПОЛЬЗОВАНИЕ В ИНФОРМАТИКЕ И ИСКУССТВЕННОМ ИНТЕЛЛЕКТЕ

{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 – «бессмыслица», «абсурд»

〈 [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)

указал еще Аристотель, который в 9-й главе своего трактата «Об истолковании» привел ставший знаменитым пример завтрашнего морского сражения.
Из этого примера следовало, что ни одно из противоречащих друг другу высказываний о будущих событиях в настоящий момент времени ни истинно, и ни ложно. Подобные высказывания лишь впоследствии обретут привычные значения истины или лжи.
Именно эта идея Аристотеля вдохновила Я.Лукасевича на создание трехзначной логики L3. В известной статье «О детерминизме» он утверждал: «Помимо истинных и ложных высказываний существуют возможные (случайные) высказывания. Иными словами, объективная возможность относится как нечто третье в добавление к существованию и несуществованию. Этим высказываниям соответствуют другие логические значения, кроме T={t}=1 и F={f}=0, по крайней мере, одно третье логическое значение I=0.5». При этом логические значения можно упорядочить по убыванию истинности: T > I > F.

Доопределение исходных связок: ⎤ 0.5 = 0.5
(1 → 0.5) = (0.5 → 0) = 0.5
(0 → 0.5) = (0.5 → 0.5) = (0.5 → 1) = 1

1

0.5

0

отрицание и импликация.

Все другие связки определяются на основе этих двух исходных связок по следующим формулам:
x ∨ y = (x → y ) → y
x ∧ y = ⎤ (⎤ x ∨ ⎤ y )
x ↔ y = (x → y ) ∧ (y → x)

→ z))
W2. x → ( y → x)
W3. (⎤ x → ⎤ y) → (y → x)
W4. ((x → ⎤ x) → x) → x.

ОПЕРАТОР СЛУПЕЦКОГО
Добавление в логику Лукасевича специального оператора нейтрализации (приведения к неопределенности) SL, предложенного Е.Слупецким, который переводит любое значение истинности в 0.5, позволяет получить функционально полную трехзначную логику.

функций привела С.Клини к идее частичной функции (не всюду определенной). Отсюда третье истинностное значение может интерпретироваться как «неопределенность», «неизвестность», «неразрешимость».
Здесь оно вводится не по онтологическим соображениям ,как у Лукасевича, а скорее по эпистемологическим.

Закон материальной импликации
x → y = ⎤ x ∨ y

(совпадающая с трехзначной логикой К.Геделя) является простейшим примером интуиционистской логики. Интуиционизм как логико-математическое направление настаивает на необходимости признания асимметрии между истиной и ложью. По мнению интуиционистов, из ложности отрицания данного суждения нельзя делать вывод об истинности этого суждения.В классической двузначной логике справедливо утверждение:
(p →⎤ ⎤ p) = (⎤ ⎤ p →p)
Идея о том, что второй член этой конъюнкции должен быть отброшен, восходит к основоположнику математического интуиционизма Л.Брауэру

континуумом значений истинности. Ее логическая матрица имеет вид
 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).
 

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

Бочвар Дмитрий Анатольевич (1903-1990)

∨ , →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} (импликация Лукасевича)

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+


В середине шкалы происходит переключение с одного типа оценок на другой.

Лукасевича (Заде)

0

1

x

Пространство Чэна

x

+1

– 1

Пространство Де Клира Каноническое биполярное
пространство

–

0

+

?

(-1, +1)

(-1, 0)

(0, +1)

(0, 0)