[REBOL] Experiments in Inference
From: tbrownell::l3technology::com at: 20-Feb-2003 0:26
Here's a challenge. Inference using Rebol.
How to get from "Tweety is a canary." to "Tweety has feathers." Given the
Tweety is a canary.
Canary is a bird.
Birds have feathers.
Tweety has feathers.
Where Tweety inherits the attributes of canaries.
And Canaries inherit the attributes of birds.
And Birds have feathers.
Thus Tweety must have feathers also.
If A is part of X and X is part of Y then A is part of Y.
I considered the following...
Bird: [has "feathers"]
Tweety/has = "feathers"
But this seems rather crude, and would run out of memory in a large