ДЗ: Вариант 12 - Задач 8-12 вариант 12
Описание
Задание № 8.
Доказать справедливость рассуждения на языке ИП. Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме.
Использовать формализацию из задания № 7
Вариант 12
Ни один торговец не покупает использованную машину для своей семьи. Некоторые люди, которые покупают использованные машины для своих семей, нечестны. Следовательно, некоторые нечестные люди не являются торговцами.
Задание № 9
III. Доказать справедливость рассуждения (взять свой вариант из задания на исчисление высказываний) методом резолюции.
Тексты задач.
Вариант 12
Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома. Если Петя поехал отдыхать на юг, то он сдал сессию вовремя. Следовательно, если Петя не сдал сессию вовремя, то ему пришлось каникулы провести дома.
Задание № 10
Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав тем самым справедливость рассуждения.
Варианты заданий.
Вариант 12
Ни один торговец не покупает использованную машину для своей семьи. Некоторые люди, которые покупают использованные машины для своих семей, нечестны. Следовательно, некоторые нечестные люди не являются торговцами.
Практическое задание 11
Введем обозначения: с – среда обитания, d– теплокровное или холоднокровное, v – класс существа. р – определяет размер существа (большое, среднее, маленькое).
Практическое задание 12
Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2. Координаты точек для каждого класса заданы в таблице (по 3 точки в каждом классе). Предварительно представьте 6 точек на плоскости. Когда решение найдено – нарисуйте прямую, разделяющую классы 1 и 2 в соответствии с полученным уравнениемПродукционные правила определяют классификацию живых существ.
Файлы условия, демо
Характеристики домашнего задания
Список файлов
- Задания 8-12.docx 100,93 Kb
anhyeuem
zzyxel
