close

Вход

Забыли?

вход по аккаунту

код для вставкиСкачать
ЛОГИКА
Задание 2.
Представьте пример (в виде таблицы) логического вывода и управления
выводом по образцу продукций, записанных в виде формул пропозиционной
логики с заданными БЗ, БД стратегией разрешения конфликтов. Порядок
сопоставления правил соответствует номерам. Изобразите также граф
решения задачи.
БЗ: 1) А—>T;
2) В^С→ D;
3) Е—> D;
4) Е—>С;
5) Е—> F;
6) F—> G;
7) D— G;
8) G —>goal;
9) I^K→ F.
БД: A, B, C.
Прямой вывод, перебор равных цен
1/--страниц
Пожаловаться на содержимое документа