Query
?-
flies(A).
A = tweety ?
Model
MODEL:
flies(tweety) , bird(tweety) , not ab(tweety) , not penguin(tweety) , not wounded_bird(tweety) , -ab(B │{B \= john,B \= sam}) , not ab(B │{B \= john,B \= sam}) , not penguin(B │{B \= john,B \= sam}) , not wounded_bird(B │{B \= john,B \= sam}) , not ab(B │{B \= john,B \= sam}) , not penguin(B │{B \= john,B \= sam}) , not wounded_bird(B │{B \= john,B \= sam}) , not -ab(john) , ab(john) , wounded_bird(john) , not -ab(sam) , ab(sam) , penguin(sam) , -penguin(C │{C \= sam}) , not penguin(C │{C \= sam}) , not penguin(C │{C \= sam}) , not -penguin(sam) , -wounded_bird(D │{D \= john}) , not wounded_bird(D │{D \= john}) , not wounded_bird(D │{D \= john}) , not -wounded_bird(john) , -bird(E │{E \= john,E \= sam,E \= tweety}) , not bird(E │{E \= john,E \= sam,E \= tweety}) , not penguin(E │{E \= john,E \= sam,E \= tweety}) , not wounded_bird(E │{E \= john,E \= sam,E \= tweety}) , not bird(E │{E \= john,E \= sam,E \= tweety}) , not penguin(E │{E \= john,E \= sam,E \= tweety}) , not wounded_bird(E │{E \= john,E \= sam,E \= tweety}) , not -bird(john) , bird(john) , not -bird(sam) , bird(sam) , not -bird(tweety) , -flies(F │{F \= john,F \= sam,F \= tweety}) , -bird(F │{F \= john,F \= sam,F \= tweety}) , not bird(F │{F \= john,F \= sam,F \= tweety}) , not penguin(F │{F \= john,F \= sam,F \= tweety}) , not wounded_bird(F │{F \= john,F \= sam,F \= tweety}) , not flies(F │{F \= john,F \= sam,F \= tweety}) , not bird(F │{F \= john,F \= sam,F \= tweety}) , not penguin(F │{F \= john,F \= sam,F \= tweety}) , not wounded_bird(F │{F \= john,F \= sam,F \= tweety}) , -flies(john) , not flies(john) , -flies(sam) , not flies(sam) , not -flies(tweety)
Justification
-
There is a conclusion of flies, for tweety
-
There is a conclusion of bird, for tweety
-
There is no conclusion of ab, for tweety
-
1) There is no conclusion of ab, for tweety
-
There is no conclusion of penguin, for tweety
-
1) There is no conclusion of penguin, for tweety
-
2) There is no conclusion of ab, for tweety
-
There is no conclusion of wounded_bird, for tweety
-
1) There is no conclusion of wounded_bird, for tweety
-
The global constraints hold
-
Let's see each non-monotonic-rule
-
For the rule number 1
-
There is no contradiction
-
For any possible value
-
There is no contradiction, for B not equal john, and not equal sam
-
There is a conclusion of -ab, for B not equal john, and not equal sam
-
There is no conclusion of ab, for B not equal john, and not equal sam
-
1) There is no conclusion of ab, for B not equal john, and not equal sam
-
There is no conclusion of penguin, for B not equal john, and not equal sam
-
1) There is no conclusion of penguin, for B not equal john, and not equal sam
-
2) There is no conclusion of ab, for B not equal john, and not equal sam
-
There is no conclusion of wounded_bird, for B not equal john, and not equal sam
-
1) There is no conclusion of wounded_bird, for B not equal john, and not equal sam
-
There is no conclusion of ab, for B not equal john, and not equal sam
-
1) There is no conclusion of ab, for B not equal john, and not equal sam
-
There is no conclusion of penguin, for B not equal john, and not equal sam
-
1) There is no conclusion of penguin, for B not equal john, and not equal sam
-
2) There is no conclusion of ab, for B not equal john, and not equal sam
-
There is no conclusion of wounded_bird, for B not equal john, and not equal sam
-
1) There is no conclusion of wounded_bird, for B not equal john, and not equal sam
-
There is no contradiction, for john
-
There is no conclusion of -ab, for john
-
1) There is no conclusion of -ab, for john
-
There is a conclusion of ab, for john
-
There is a conclusion of wounded_bird, for john
-
There is no contradiction, for sam
-
There is no conclusion of -ab, for sam
-
1) There is no conclusion of -ab, for sam
-
There is a conclusion of ab, for sam
-
There is a conclusion of penguin, for sam
-
For the rule number 2
-
There is no contradiction
-
For any possible value
-
There is no contradiction, for C not equal sam
-
There is a conclusion of -penguin, for C not equal sam
-
There is no conclusion of penguin, for C not equal sam
-
1) There is no conclusion of penguin, for C not equal sam
-
There is no conclusion of penguin, for C not equal sam
-
1) There is no conclusion of penguin, for C not equal sam
-
There is no contradiction, for sam
-
There is no conclusion of -penguin, for sam
-
1) There is no conclusion of -penguin, for sam
-
There is a conclusion of penguin, for sam, as we saw before
-
For the rule number 3
-
There is no contradiction
-
For any possible value
-
There is no contradiction, for D not equal john
-
There is a conclusion of -wounded_bird, for D not equal john
-
There is no conclusion of wounded_bird, for D not equal john
-
1) There is no conclusion of wounded_bird, for D not equal john
-
There is no conclusion of wounded_bird, for D not equal john
-
1) There is no conclusion of wounded_bird, for D not equal john
-
There is no contradiction, for john
-
There is no conclusion of -wounded_bird, for john
-
1) There is no conclusion of -wounded_bird, for john
-
There is a conclusion of wounded_bird, for john, as we saw before
-
For the rule number 4
-
There is no contradiction
-
For any possible value
-
There is no contradiction, for E not equal john, not equal sam, and not equal tweety
-
There is a conclusion of -bird, for E not equal john, not equal sam, and not equal tweety
-
There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
2) There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
There is no conclusion of penguin, for E not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of penguin, for E not equal john, not equal sam, and not equal tweety
-
3) There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
There is no conclusion of wounded_bird, for E not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of wounded_bird, for E not equal john, not equal sam, and not equal tweety
-
There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
2) There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
There is no conclusion of penguin, for E not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of penguin, for E not equal john, not equal sam, and not equal tweety
-
3) There is no conclusion of bird, for E not equal john, not equal sam, and not equal tweety
-
There is no conclusion of wounded_bird, for E not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of wounded_bird, for E not equal john, not equal sam, and not equal tweety
-
There is no contradiction, for john
-
There is no conclusion of -bird, for john
-
1) There is no conclusion of -bird, for john
-
There is a conclusion of bird, for john
-
There is a conclusion of wounded_bird, for john, as we saw before
-
There is no contradiction, for sam
-
There is no conclusion of -bird, for sam
-
1) There is no conclusion of -bird, for sam
-
There is a conclusion of bird, for sam
-
There is a conclusion of penguin, for sam, as we saw before
-
There is no contradiction, for tweety
-
There is no conclusion of -bird, for tweety
-
1) There is no conclusion of -bird, for tweety
-
There is a conclusion of bird, for tweety, as we saw before
-
For the rule number 5
-
There is no contradiction
-
For any possible value
-
There is no contradiction, for F not equal john, not equal sam, and not equal tweety
-
There is a conclusion of -flies, for F not equal john, not equal sam, and not equal tweety
-
There is a conclusion of -bird, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
2) There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of penguin, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of penguin, for F not equal john, not equal sam, and not equal tweety
-
3) There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of wounded_bird, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of wounded_bird, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of flies, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of flies, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
2) There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of penguin, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of penguin, for F not equal john, not equal sam, and not equal tweety
-
3) There is no conclusion of bird, for F not equal john, not equal sam, and not equal tweety
-
There is no conclusion of wounded_bird, for F not equal john, not equal sam, and not equal tweety
-
1) There is no conclusion of wounded_bird, for F not equal john, not equal sam, and not equal tweety
-
There is no contradiction, for john
-
There is a conclusion of -flies, for john
-
There is a conclusion of ab, for john, as we saw before
-
There is no conclusion of flies, for john
-
1) There is no conclusion of flies, for john
-
There is a conclusion of bird, for john, as we saw before
-
There is a conclusion of ab, for john, as we saw before
-
There is no contradiction, for sam
-
There is a conclusion of -flies, for sam
-
There is a conclusion of ab, for sam, as we saw before
-
There is no conclusion of flies, for sam
-
1) There is no conclusion of flies, for sam
-
There is a conclusion of bird, for sam, as we saw before
-
There is a conclusion of ab, for sam, as we saw before
-
There is no contradiction, for tweety
-
There is no conclusion of -flies, for tweety
-
1) There is no conclusion of -flies, for tweety
-
There is no conclusion of ab, for tweety, as we saw before
-
2) There is no conclusion of -flies, for tweety
-
There is no conclusion of -bird, for tweety, as we saw before