Next: The Features Up: Uncertainty-Valued Horn Clauses Previous: The Combination Function

Example `Pet Holder'

This section formalizes the realistic example of [2] with RELFUN's uncertainty-valued Horn clauses.

In German law, the owner of a pet is not always liable for the damage caused by his pet. The pet holder, who can be the owner, the horseman, the buyer, the finder of a deserted pet, and so on, is responsible. The problem is, that there is no sharp definition of `pet holder', so a judge has to decide with common sense who is the `pet holder'.

Harold Boley & Victoria Hall (