задачи по интеллектуальным информационным системам

Вариант 13

Задание 6

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

а) M(Ока, Волга);

б) M(Ока, Нева);

в) xM(x,Волга).

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

2. Введен предикат (x,y) «х брат y -ка». Как записать утверждения:

а) «Петя брат Сергея»

б) «У Вани есть братья»

в) «Если Петр брат Сергея, то Сергей брат Петра»

Задание 7

Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение.

13. Каждый атлет – силён. Каждый, кто силён и интеллигентен, добьётся в жизни успеха. Петр – атлет и интеллигентен. Следовательно, Петр добьётся в жизни успеха.

Задание 10

Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.

13. Каждый атлет - силён. Каждый, кто силён и интеллигентен, добьётся в жизни успеха. Петр - атлет и интеллигентен. Следовательно, Петр добьётся в жизни успеха.

Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую.

Вариант 13

Класс 1 <8, 2> <9, 1> <8, 4>

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