From: Ryan Leavengood <mrcode@...>
Date: 2005-07-05T02:44:23+09:00
Subject: Re: [SOLUTION] Inference Engine (#37)

Nikolai Weibull wrote:
> Paolo Capriotti wrote:
> 
> 
>>On 7/4/05, Abu Abdullah <alawi2@eim.ae> wrote:
>>
>>
>>>C:\>inference
>>> > all dogs are mamals
>>>OK
>>> > all mamals are hairy animals
>>>OK
>>> > all mamals are dogs
>>>OK ------------------ ? ? ?
> 
> 
>>why not?
> 
> 
> A → B doesn't imply B ← A,
>         nikolai
> 

But here the rules are being set up, and the above relationship is being 
defined for dogs and mammals. This is not a conflicting rule. I think 
Abu sees it as a conflicting rule.

Ryan