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.