Файл: Решение в условии задано предикат M(x) означает х есть птица.docx

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 06.11.2023

Просмотров: 504

Скачиваний: 5

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

9 вариант

Задание 6

1. Пусть M(x) означает «х есть птица» , L(x) означает «х умеет летать» Что означают утверждения: M(орел)

 L(страус)

x M(x)


Какие из них истинны, какие нет?

Решение:

В условии задано: предикат M(x) означает «х есть птица».

Это означает, что предикат M(x), задающий принадлежность к классу птиц, имеет интерпретацию. Тогда формуле может быть приписано значение «истина» или «ложь».

M(орел)

В предикате M(x) переменная x заменена на конкретную величину (константу) : «Орел является птицей». Выражение принимает значение И.

В условии задано: предикат L(x) означает «х умеет летать».

Это означает, что предикат L(x), задающий принадлежность к умеющим летать, имеет интерпретацию. Тогда формуле может быть приписано значение «истина» или «ложь».

 L(страус)

В предикате L(x) переменная x заменена на конкретную величину (константу) : «Страус не является летающим». Выражение принимает значение И.

Рассмотрим формулу x M(x).

Предикат M(x) означает «х есть птица».

Формула не содержит ни одной константы, но переменная связана квантором:

«Найдется такой х, что х-птица». Такой формуле припишем значение Истина.

Как записать утверждения:

«Не все птицы летают» - ∀x L(M(x))

«Пингвин - птица» - M(пингвин)

«Канарейка – птица, умеющая летать» - L(M(канарейка))

дельфины

Задание 7

Все дельфины относятся к китообразным. Ни одна рыба не является китообразной. Следовательно, ни одна рыба не является дельфином. Введём предикаты, которые используются в рассуждении:

K(x) означает, что x — относится к китообразным,

D(x) — что x — является дельфином,

R(x) — что x — является рыбой.

Формализация рассуждения:

∀x (D(x) → K(x))

¬(∀x (R (x) → K (x)))

-----------------------------

¬(∀x (R (x) → D (x)))

Задание 10

Докажем рассуждение «от противного», построив логическое произведение посылок и отрицания заключения.

Посылка 1∀x (D(x) → K(x))= ∀x (¬D(x) ∨ K(x))формула преобразована к ПНФ.

Посылка 2: ¬(∀x (R (x) → K (x)))= ¬(∀x (¬R (x) ∨ K(x)))= ∃x (R (x) & ¬K(x)) формула преобразована к ПНФ.

Отрицание заключения: ∀x (R (x) → D (x)))= ∀x (¬R (x) ∨ D (x)) формула преобразована к ПНФ.

Преобразование Сколема и получение множества дизъюнктов.


Посылка 1: при отсутствии кванторов существования совпадает со Сколемовской стандартной формой. Получаем дизъюнкт:

¬D(x) ∨ K(x)

Посылка 2:

Применяем преобразование Сколема, вычёркивая квантор существования.

Получили два дизъюнкта: R (x), ¬K(x)

Отрицание заключения: при отсутствии кванторов существования совпадает со Сколемовской стандартной формой. Получаем дизъюнкт:

¬R (x) ∨ D (x)

Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества:

S = { ¬D(x) ∨ K(x), R (x), ¬K(x), ¬R (x) ∨ D (x)} содержащего четыре дизъюнкта, доказав тем самым справедливость рассуждения.

D1: ¬D(x) ∨ K(x)

D2: R (x)

D3: ¬K(x)

D4: ¬R (x) ∨ D (x)

--------------

D5: ¬D(x) (резольвента D1 и D3).

D6: ¬R (x) (резольвента D4 и D5).

D7: (резольвента D6 и D2).

Получен пустой дизъюнкт.

Задание 12

Класс1 <1 , 2> <2 , 3> <3 , 3>

Класс 2 <6 , 1 > < 7 , 2> <9 , 1>

Изобразим точки на плоскости:



Выполняем итерацию 1. Выбираем первый объект класса С1 – вектор Х1=<1 , 2>. Значение функции FX1   0  01 0 2  0, (ошибка классификации произошла в первой же точке из шести, так как точка <1 , 2> принадлежит классу 1 и функция F(<1 , 2>) должна дать значение больше нуля, а не нулевое ). Таким образом, по правилу П8 алгоритма необходима коррекция коэффициентов при значении множителя с=1. Вычисляем новые коэффициенты функции:

Получаем F1 X =1 x1  2 x2.

Выполняем итерацию 2. Вычислим последовательно значения F X  1 для элементов выборки:

F1(<1 , 2>) =1+1+4=6>0 F1(<2 , 3>) =1+2+6=9>0 F1(<3 , 3>) =1+3+6=10>0

Все элементы класса С1 распознаны правильно. Выбираем текущим класс С2.

F1(<6 , 1 >) =1+6+2=9>0 объект распознан неправильно. Необходима коррекция коэффициентов при значении множителя с=-1.

Новая функция F2 X =x2 -5x1.

Выполняем итерацию 3. Вычисляем значения функции для элементов выборки

F2(<1 , 2>) =2-5=-3<0 объект распознан неправильно. Необходима коррекция коэффициентов при значении множителя с=1.

Новая функция F3 X =1-4x1  3 x2.

Выполняем итерацию 4. Вычислим последовательно значения F X  3 для элементов выборки:

F3(<1 , 2>) =1-4+6=3>0 F3(<2 , 3>) =1-8+9=2>0 F3(<3 , 3>) =1-12+9=-2<0 объект распознан неправильно. Необходима коррекция коэффициентов при значении множителя с=-1.



Новая функция F4 X =-7x1

Выполняем итерацию 5. Вычислим последовательно значения F X  4 для элементов выборки:

F4(<1 , 2>) =-7<0 объект распознан неправильно. Необходима коррекция коэффициентов при значении множителя с=1.

Новая функция F5 X =1-6x1  2 x2.

F5(<1 , 2>) =1-6+4=-1<0 объект распознан неправильно. Необходима коррекция коэффициентов при значении множителя с=-1.

Новая функция F6 X =-7x1, данная функция равна F4 X =-7x1, невозможно получить линейную разделяющую функцию.0>1>0>1>0>3>2>1>0>1>6>3>2>1>1>1>1>9>6>3>2>1>