Интеллектуальные информационные системы

Вариант 3

6. 1.Пусть M(x,y) означает «река х впадает в реку y»

Что означают утверждения:

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

M(Ока, Нева)

xM(x,Волга)

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

2.Введен предикат Б(x,y) «х брат y -ка»

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

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

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

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

Задание № 7.

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

переменные, константы. С их помощью записать в виде формул посылки и

заключение.

Построим формальное представление следующего рассуждения на

естественном языке:

Ваня - мальчик, у которого нет автомобиля. Марго любит только

мальчиков, имеющих автомобили. Следовательно, Марго не любит Ваню.

ЗАДАНИЕ 10

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

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