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

Вариант 10. Работа сдана на оценку 5.

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