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:
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