[SOLUTION] Inference Engine (#37)

[Paolo Capriotti]

My solution can be found here:
http://linuz.sns.it/~capriotti/ruby/inference.rb

Paolo Capriotti

 

[Abu Abdullah]

My solution can be found here:
http://linuz.sns.it/~capriotti/ruby/inference.rb

Paolo Capriotti


C:\>inference
all dogs are mamals OK
all mamals are hairy animals OK
all mamals are dogs

OK ------------------ ? ? ?

 

[Paolo Capriotti]

C:\>inference
OK ------------------ ? ? ?

why not?

Paolo

 

[Nikolai Weibull]

why not?

A =E2=86=92 B doesn't imply B =E2=86=90 A,
nikolai

--=20
Nikolai Weibull: now available free of charge at http://bitwi.se/!
Born in Chicago, IL USA; currently residing in Gothenburg, Sweden.
main(){printf(&linux["\021%six\012\0"],(linux)["have"]+"fun"-97);}

 

[Ryan Leavengood]

Paolo Capriotti wrote:
=20
=20
=20
=20
A =E2=86=92 B doesn't imply B =E2=86=90 A,
nikolai
=20

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

Ryan

 

[Abu Abdullah]

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

Ryan

using the quiz web page as a source for testing. and selecting from the=20
available sample there, i selected the facts *2* , *1* and *6* respectivl=
y.
and after supplying the *6th* rule, the engine should say *"Sorry, that=20
contradicts what I already know."*

 

[James Edward Gray II]

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."*

You skipped the rules that makes it a contradiction:

No cats are dogs. (After: All cats are mammals.)

James Edward Gray II

 

[C Erler]

------=_Part_14793_15202935.1120573882843
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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."*

You know that not all mammals are dogs. How does the computer ? Let's say I
enter :
All prime numbers are noncomposite.
All prime numbers are nonfactorable.
All noncomposites are prime numbers.
This is of the same form as the example given and would not be a
contradiction. The computer does not know anything about dogs or prime
numbers except what you tell it. All it can look at is the form of what
you've typed in. If the forms don't clearly indicate contradiction, the
computer does not know there is one.
Also, making the computer say "Contradiction" with that small amount of
information would mean that you could never effectively say that two names
(dogs and mammals or prime numbers and noncomposites) refer to the same
thing, even though that happens in real life.

------=_Part_14793_15202935.1120573882843--