has a unique consistent answer set.

has a unique consistent answer set. First let us notice that the general logic program B2 is stratified with a stratification Po = {bird, penguin, woundedJ>ird}
Pi = {bird1, penguin', wounded-bird1}
P2 = {ab}
Ps = {fly', fly}

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

có một câu trả lời phù hợp duy nhất thiết. Trước tiên hãy để chúng tôi thông báo chương trình tổng hợp logic B2 phân tầng với một sự phân tầng Po = {chim, chim cánh cụt, woundedJ > ird}Pi = {bird1, chim cánh cụt ', thương bird1}P2 = {ab}PS = {bay ', bay}

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

có một bộ câu trả lời phù hợp nhất. Đầu tiên chúng ta hãy chú ý rằng nói chung chương trình logic B2 là phân tầng với một sự phân tầng Po = {chim, chim cánh cụt, woundedJ> IRD}
Pi = {bird1, chim cánh cụt ', bị thương-bird1}
P2 = {ab}
Ps = {bay', bay }