Short: A deductive reasoning AI program Author: williamj@griffon.mwsc.edu (James Williams) Uploader: williamj griffon mwsc edu (James Williams) Type: text/misc Architecture: m68k-amigaos Deduce will let a user enter information as plain English sentences and then ask yes/no questions about it. Deduce will be able to determine the answers to the questions through deductive reasoning. eg Spot is a dog A dog is an animal Is spot an animal? Yes ---------------------------------------------------------------------- Changes since 1.21 ---------------------------------------------------------------------- version 1.22 (bugfix) * Fixed that enforcer hit. See up on changes for version 1.20 where it says "Fixed a bug that caused segmentation faults on a Sun Sparc Station" ? Well, that code somehow got lost and wasn't included in the Amiga version. And when I upgraded to SAS/C, it DID start causing problems. (Thanks Stefan Dube and Simon Stelling) * Fixed another problem with negative logic. Consider the following: a dog will eat dog_food a cat is not a dog will a cat eat dog_food? Deduce would answer yes. This has been fixed. (Thanks Stefan Dube) * Deduce no longer prints the blank lines in its output. (suggested by Simon Stelling)