ФС с изменяющейся логикой отношений. Немонотонные модальные логики. Индуктивный (абдуктивный) вывод

Страницы работы

Содержание работы

ФС  с изменяющейся логикой отношений (cР)                 

Было – логика Аристотеля  Выводы ранга 0 – законы силлогистики: тождества, противоречия, исключенного третьего + выводы ранга 2 – силлогизмы Аристотеля. 256 модусов, из них 24 правильных. Пример.

·  Модус первой фигуры EJO:

Всякий М не есть Р                           Всякий дятел красиво не поет.

Некоторые S есть М                          Некоторые птицы - дятлы.

-----------------------------      --------------------------------------Некоторые S не есть Р                      Некоторые птицы красиво не поют.

Немонотонные модальные логики:

·    р(Х) unless q(X)®r(X),

p(Z),

r(W) ®s(W).

Не верим, что q(X) истинно Þ р(Х)®r(X)® s(Х).  Если обнаружится, что q(X) истинно, то r(X) и s(Х) отменяются.

·  логика Макдермотта-Дойла.

"X good_student(X)ÙM study_hard(X)®graduates(X)

·  A(Z) ÙB(Z) ®C(Z)

·  метапредикаты

"X bird(X)Ùnot(abnormal((X))®flies(X)

Индуктивный (абдуктивный) вывод:

·  фактор уверенности  (логика Демпстера–Шеффера, байесовские сети доверия)

·  нечеткие модели http://www.matlab.ru/fuzzylogic/book1/1.asp#1_1

ЕСЛИ  И  И … И

ИЛИ   И  И … И

ИЛИ  И  И … И  

ТО , для всех j = 1, …, m.                                           

Псевдофизические логики

 

Выводы по аналогии

Область определения источника:

ЖЕЛТЫЙ (СОЛНЦЕ)

ГОЛУБОЙ (ЗЕМЛЯ)

ГОРЯЧЕЕ_ЧЕМ (СОЛНЦЕ, ЗЕМЛЯ)

ПРИЧИНА (МАССИВНЕЕ_ЧЕМ (СОЛНЦЕ, ЗЕМЛЯ), ПРИТЯГИВАЕТ (СОЛНЦЕ, ЗЕМЛЯ))

ПРИЧИНА (ПРИТЯГИВАЕТ (СОЛНЦЕ, ЗЕМЛЯ), ВРАЩАЕТСЯ _ВОКРУГ (ЗЕМЛЯ, СОЛНЦЕ)

Область определения цели:

МАССИВНЕЕ_ЧЕМ (ЯДРО, ЭЛЕКТРОН)

ВРАЩАЕТСЯ _ВОКРУГ (ЭЛЕКТРОН, ЯДРО)

Результат:

ПРИЧИНА (МАССИВНЕЕ_ЧЕМ (ЯДРО, ЭЛЕКТРОН), ПРИТЯГИВАЕТ (ЯДРО, ЭЛЕКТРОН))

ПРИЧИНА (ПРИТЯГИВАЕТ (ЯДРО, ЭЛЕКТРОН), ВРАЩАЕТСЯ _ВОКРУГ (ЭЛЕКТРОН, ЯДРО))

Преобразование ЕЯ

Россия

= РФ

= Российская Федерация

Москва

< Россия

Германия

= ФРГ

Берлин

< Германия

K1 – квантификатор «часто», h – давление, t – температура, m – модификатор «выше нормы», r48 – отношение «причина–следствие», r49 – отношение «способствовать».

K1(mh) r49 (mt) Часто, когда давление выше нормы, температура также выше нормы

K1(mh) r48 (mt), Всегда при повышении давления выше нормы температура также превышает норму

Авиационный двигатель с системой турбонаддува, в котором использована двухконтурная схема. Двигатель установлен в хвостовой части фюзеляжа. Хвостовое оперение фюзеляжа предусматривает защиту от флаттера

Последовательность простых синтагм:

Д R3Ф  Х R1З  Д R2С  С R1ДС

Ф R2Х  З R1ФЛ  С R1Т  Д R1А

Дополнение синтагм на основе формальных преобразований:

ARB Þ BRA

Ф R3Д   А R1Д   Т R1С   ДС R1С и др.

ARB Þ BR-1A

С R2Д   Х R2Ф  и др.

AR2B Ç BR2C Þ AR1C

Д R1Т  Д R1ДС и др.

Автоматический анализ текста http://www.osp.ru/os/2003/12/048.htm

Основные парадигмы программирования

·  императивное П;

·  ООП;

·  функциональное П; действие – вызов функции, способ структурирования программы – введение имени для функции и написание для него выражения, вычисляющего ее значение; правило композиции – суперпозиция функций.

·  логическое П. Метод резолюций основан на modus ponens: (A & AÞB) Þ B) и заключается в последовательном доказательстве отдельных утверждений, входящих в посылку дизъюнкта Хорна (утверждений вида a Ü b1 & b2 & …& bn), для доказательства его следствия.

a:- b1, b2, ..., bn

·  П в ограничениях. Задача:  V = {V [1], ..., V [п]}, D = {D [1], ... , D [п]} , C = {C[1],.. .,C(т]} (параметры ограничений – подмножество V(j], j=1..n).

? (X: integer )Х>1, member (X, [1,2,3]).                                       Х=2 И Х=3.

(X, Y: integer ),Х>1, X+2=Y (X: integer )                                     Y mod 2=0.

assume Х>0. when X+1<10?                                                            Х in (0. .9) .

    

Похожие материалы

Информация о работе