RTUComputer ScienceYr 2024 · Sem 62024

Q5Principles of Artificial Intelligence

Question

2 marks

What is a Horn clause?

Answer

A Horn clause is a highly restricted mathematical architecture in propositional logic consisting of a disjunction of literals with strictly at most one positive, unnegated literal.

A Horn clause mathematically forces logic into a strict "If-Then" architecture. It is written as , which logically translates to . This rigid mathematical restriction allows logic programming languages like PROLOG to execute incredibly violent and efficient Forward and Backward chaining algorithms.

Back to Paper