Options
A) The resolvent of two horn clause is not a horn clause.
B)The resolvent of two horn clause is a horn clause.
C) If we resolve a negated goal G against a fact or rule A to get clause C Then C has positive literal or non null goal.
D) if we resolve a negated goal G against a fact or rule A to get clause C then C has positive literals or null goal.
Answer B.
A) The resolvent of two horn clause is not a horn clause.
B)The resolvent of two horn clause is a horn clause.
C) If we resolve a negated goal G against a fact or rule A to get clause C Then C has positive literal or non null goal.
D) if we resolve a negated goal G against a fact or rule A to get clause C then C has positive literals or null goal.
Answer B.
No comments:
Post a Comment
Note: only a member of this blog may post a comment.