СодержаниеЗадание 1. Для его выполнения необходимо использовать кванторы и операции математической логики: и перевести предложения с русского на язык предикатов.
Все суть S или P.
Нет никакого х, такого, что А(х).
Задание 2. Для выполнения необходимо из системы продукции выбрать цель, т.е. одно утверждение, стоящее в правой части, и построить цепочки вывода для прямой и обратной цепочек рассуждений.
База данных: А,С, D, E, G, H, K, L, M, J.
Цель прямой цепочки: В.
Цель обратной цепочки: F.
База правил:
Задание 1. Для его выполнения необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опровержения.
Вариант задания: Шар 2 находится всегда в том месте, где находится шар 1. Шар 3 находится в месте А. Если шар 3 находится в месте А, то шар 1 находится в месте В. Где находится шар 2?ВведениеЛабораторная работа № 1
Задание 1. Для его выполнения необходимо использовать кванторы и операции математической логики: и перевести предложения с русского на язык предикатов.
Все суть S или P.
Нет никакого х, такого, что А(х).
Решение:
Все суть S или P:
Нет никакого х, такого, что А(х) Эх
Задание 2. Для выполнения необходимо из системы продукции выбрать цель, т.е. одно утверждение, стоящее в правой части, и построить цепочки вывода для прямой и обратной цепочек рассуждений.
База данных: А,С, D, E, G, H, K, L, M, J.
Цель прямой цепочки: В.
Цель обратной цепочки: F.Литература
|
