Question

What is horn clause in Artificial Intelligence?

Answer 1

Answer: A Horn clause is either a definite clause or an integrity constraint.

Info: That is, a Horn clause has either false or a normal atom as its head. Integrity constraints allow the system to prove that some conjunction of atoms is false in all models of a knowledge base - that is, to prove disjunctions of negations of atoms.

______________________________

Please mark as brainliest! i need to reach a new rank:/

Stay safe

Answer 2

Answer:

A definite clause is a Horn clause that has exactly one positive literal. A Horn clause without a positive literal is called a goal. Horn clauses express a subset of statements of first-order logic. Prolog programs are comprised of definite clauses and any question in Prolog is a goal.