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:
“On a huge hill,
Cragged, and steep, Truth stands, and he that will
Reach her, about must, and about must go;
And what the hill’s suddenness resists, win so;
Yet strive so, that before age, death’s twilight,
Thy Soul rest, for none can work in that night.
To will, implies delay, therefore now do:
Hard deeds, the body’s pains; hard knowledge too
The mind’s endeavours reach, and mysteries
Are like the Sun, dazzling, yet plain to all eyes.”
—John Donne (1572–1631)