Xplain
Logic
объяснимый вывод
Спросить
Граф аргументации
Правила
Песочница
скрыть факты
Напишите правила и посмотрите граф без сохранения модуля.
r1 : bird(X) => flies(X). r2 : penguin(X) => -flies(X). r3 : penguin(X) -> bird(X). f1 :=> penguin(tweety). f2 :=> bird(polly). sup(r2, r1).
Построить граф
Сохранить как модуль…
Обозначения
принят (in)
отвергнут (out)
не определён (und)
атака
опирается на
Объяснение
Нажмите на узел графа, чтобы увидеть, почему аргумент принят или отвергнут.