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:
“At no time in history ... have the people who are not fit for society had such a glorious opportunity to pretend that society is not fit for them. Knowledge of the slums is at present a passport to society—so much the parlor philanthropists have achieved—and all they have to do is to prove that they know their subject. It is an odd qualification to have pitched on; but gentlemen and ladies are always credulous, especially if you tell them that they are not doing their duty.”
—Katharine Fullerton Gerould (1879–1944)