What is Deduce?
Deduce is an artificial intelligence program
that performs logical deduction on input you provide it. For
example, you may enter the following two statements:
Spot is a dog
A dog is an animal
and then ask Deduce the question:
A dog is an animal
Is Spot an animal?
Deduce will respond with:
YES, SPOT IS AN ANIMAL
You can also ask it why it answered the way it did:
Why?
To which Deduce will reply:
BECAUSE:
SPOT IS A DOG
A DOG IS AN ANIMAL
SPOT IS A DOG
A DOG IS AN ANIMAL