Knowledge Representation
The fact that Horn clauses can be given a procedural interpretation and, vice versa, that goal-reduction procedures can be understood as Horn clauses + backward reasoning means that logic programs combine declarative and procedural representations of knowledge. The inclusion of negation as failure means that logic programming is a kind of non-monotonic logic.
Despite its simplicity compared with classical logic, this combination of Horn clauses and negation as failure has proved to be surprisingly expressive. For example, it has been shown to correspond, with some further extensions, quite naturally to the semi-formal language of legislation. It is also a natural language for expressing common-sense laws of cause and effect, as in the situation calculus and event calculus.
Read more about this topic: Logic Programming
Famous quotes containing the word knowledge:
“He who, in an enlightened and literary society, aspires to be a great poet, must first become a little child. He must take to pieces the whole web of his mind. He must unlearn much of that knowledge which has perhaps constituted hitherto his chief title to superiority. His very talents will be a hindrance to him.”
—Thomas Babington Macaulay (1800–1859)