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

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