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:
“But there’s another knowledge that my heart destroys
As the fox in the old fable destroyed the Spartan boy’s
Because it proves that things both can and cannot be;
That the swordsmen and the ladies can still keep company;
Can pay the poet for a verse and hear the fiddle sound,
That I am still their servant though all are underground.”
—William Butler Yeats (1865–1939)