Hi Nil,
Yes, that sounds right to me. You seem to be saying that "larger sets are
easier to describe", which might typically be the case. I can think of one
counter-example:
Imagine a star-shaped set, or maybe some complicated fractal set -- say,
the mandelbrot set. Several circles lie inside
Hi,
I wonder if the order of arguments in intensional inheritance shouldn't
be swapped. Let me recall the definitions of the various inheritances
(according to the PLN book [and coincidingly the opencog wiki])
1. Extensional Inheritance
ExtInh A B
is equivalent to
SubSet A B
2.