Using the Lemma 2.4, it is easy to

Using the Lemma 2.4, it is easy to show that there is no ground literal L such that the answer set S contains L and L+. In virtue of Proposition 3.3, this implies that B2 has a unique consistent answer set. Using this fact and the Lemma 2.4, it is easy to show that B2s answer to the query flies(tweety) is yes, and that the queries flies(sam) and flies(john) are answered no and unknown, respectively.

Kết quả (Việt) 1:

2.4 bổ đề bằng cách sử dụng, dễ dàng để hiển thị rằng không là đất không có chữ L như vậy mà câu trả lời đặt S chứa L và L +. 7,24 Döï Luaät 3.3, điều này ngụ ý rằng B2 có một câu trả lời phù hợp duy nhất thiết. Sử dụng thực tế này và 2.4 bổ đề, dễ dàng để hiển thị B2s câu trả lời cho truy vấn flies(tweety) là có, và rằng các truy vấn flies(sam) và flies(john) là không trả lời và không rõ, tương ứng.

Kết quả (Việt) 2:

Sử dụng bổ đề 2.4, nó rất dễ dàng để cho thấy rằng không có căn cứ đen L như vậy mà các câu trả lời đặt S chứa L và L +. Trong đức của mệnh đề 3.3, điều này hàm ý rằng B2 có một bộ câu trả lời phù hợp nhất. Sử dụng thực tế này và Bổ đề 2.4, nó rất dễ dàng để cho thấy rằng B2S câu trả lời cho các truy vấn bay (tweety) là có, và rằng các truy vấn bay (sam) và ruồi (john) đều được trả lời không có và chưa biết tương ứng.