Short: A deductive reasoning AI program Author: williamj@griffon.mwsc.edu (James Williams) Uploader: williamj@griffon.mwsc.edu (James Williams) Type: text/misc 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) ============================= Archive contents ============================= Original Packed Ratio Date Time Name -------- ------- ----- --------- -------- ------------- 1233 678 45.0% 07-Jun-93 12:15:42 Deduce.info 24980 14346 42.5% 07-Jun-93 12:23:48 Deduce/Deduce 7 7 0.0% 17-Mar-95 22:00:06 Deduce/Deduce! 1572 580 63.1% 17-Mar-95 22:00:06 Deduce/Deduce!.info 14879 5699 61.6% 07-Jun-93 12:15:18 Deduce/Deduce.doc 1499 579 61.3% 17-Mar-95 22:00:06 Deduce/Deduce.doc.info 14484 5804 59.9% 07-Jun-93 12:17:18 Deduce/Deduce.guide 5129 1600 68.8% 17-Mar-95 22:00:06 Deduce/Deduce.guide.info 43628 28530 34.6% 17-Mar-95 22:00:06 Deduce/reqtools.library 338 157 53.5% 17-Mar-95 22:00:06 Deduce/Sample -------- ------- ----- --------- -------- 107749 57980 46.1% 14-Apr-95 20:54:42 10 files