matching existing existentials in the consequent.

Consider the following:

alice a CatLover.
bob a CatLover.
bob owns fluffy.
fluffy a Cat.
{?x a CatLover} => {?x owns [a Cat]}.

As expected, cwm --think knows that alice is a CatLover, so asserts that she
owns [a Cat]:

:alice a :CatLover; :owns [a :Cat].

However, bob already owns Fluffy who is a Cat, but cwm seems to ignore this and asserts that
he owns another Cat:

:bob a :CatLover; :owns :fluffy, [a :Cat].

I ask because cwm will match existing existentials in the antecedent, so shouldn't
it also match them in the consequent, and just leave it as bob owns Fluffy without
adding another assertion?

Thanks,
- Jeff

Received on Friday, 11 April 2008 16:28:19 UTC