From: Abu Abdullah <alawi2@...>
Date: 2005-07-05T04:17:32+09:00
Subject: Re: [SOLUTION] Inference Engine (#37)

Ryan Leavengood wrote:

> 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
>
>
using the quiz web page as a source for testing. and selecting from the 
available sample there, i selected the facts *2* , *1* and *6* respectivly.
and after supplying the *6th* rule, the engine should say *"Sorry, that 
contradicts what I already know."*