Набор ответов программы - почему пустой набор не является набором ответов?

Question

Меня немного смущает определение набора ответов.

S - это набор ответов P, если S - наименьшая модель P.

Когда у меня есть программа

b :- a
a.

Тогда я знаю, что мой набор ответов должен быть {a, b}, потому что a - это факт.

Что произойдет, если у меня будет что-то вроде

a :- b

На слайдах, которые я нашел, говорится, что это набор ответов.Но, насколько я понимаю, правило выполняется, когда b = true подразумевает a = true.

Так что, если я установлю a = false и b = false, то правило также будет выполнено.

Почему пустой набор не является набором ответов?(как это было бы подмножество {a})

Answer 1

Пустой набор является набором ответов a :- b..Попробуйте запустить свой пример в Интернете: https://potassco.org/clingo/run/

clingo version 5.3.0
Reading from stdin
-:1:6-7: info: atom does not occur in any rule head:
  b

Solving...
Answer: 1

SATISFIABLE

Models       : 1

(обратите внимание на пустую строку между «Ответ: 1» и «УДОВЛЕТВОРИТЬ» -> пустой набор)