Курс Интеллектуальные информационные системы .КМ-3. Логика предикатов. Логические следствия. Контрольная работа

Задание решено на оценку 5. Вариант 19

Само условие:
Задание № 6 1.Пусть M(x,y) означает «река х впадает в реку y» Что означают утверждения: M(Ока, Волга) M(Днепр, Нева) x M(x, Волга) Какие из них истинны, какие нет? 2.Введен предикат Б(x,y) «х брат y -ка» Как записать утверждения: «Петр брат Ольги» «У некоторых людей есть братья» «Если Петр брат Ольги, то Ольга – не брат Петра»
Задание № 7. Формализовать рассуждение на языке ИП: ввести необходимые предикаты, переменные, константы. С их помощью записать в виде формул посылки и заключение. Все дельфины относятся к китообразным. Ни одна рыба не является китообразной. Следовательно, ни одна рыба не является дельфином.
Задание № 8 Построить множество дизъюнктов для заданного рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения. (Рассуждение берётся из задания 7).
Практическое задание 9 Построить линейную разделяющую функцию для объектов двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую классы 1 и 2 в соответствии с полученным уравнением.
Показать/скрыть дополнительное описание