Which one of the following is true?
(A) The resolvent of two Horn clauses is not a Horn clause
(B) The resolvent of two Horn clauses 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 literal or null goal
Answer: (B)
Explanation:
The resolvent of two Horn clauses is not a Horn clause. False
The resolvent of two Horn clauses is a Horn clause. True
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. False
If we resolve a negated goal G against a fact or rule A to get clause C then C has positive literal or null goal. False
So, option (B) is correct.
Quiz of this Question
Whether you're preparing for your first job interview or aiming to upskill in this ever-evolving tech landscape,
GeeksforGeeks Courses are your key to success. We provide top-quality content at affordable prices, all geared towards accelerating your growth in a time-bound manner. Join the millions we've already empowered, and we're here to do the same for you. Don't miss out -
check it out now!
Last Updated :
18 Jun, 2018
Like Article
Save Article