home *** CD-ROM | disk | FTP | other *** search
/ Aminet 6 / Aminet 6 - June 1995.iso / Aminet / misc / sci / Deduce122.readme < prev    next >
Encoding:
Text File  |  1995-04-27  |  2.1 KB  |  53 lines
  1. Short:    A deductive reasoning AI program
  2. Author:   williamj@griffon.mwsc.edu (James Williams)
  3. Uploader: williamj@griffon.mwsc.edu (James Williams)
  4. Type:     text/misc
  5.  
  6. Deduce will let a user enter information as plain English sentences and
  7. then ask yes/no questions about it.  Deduce will be able to determine
  8. the answers to the questions through deductive reasoning.
  9.  
  10. eg
  11.  
  12. Spot is a dog
  13. A dog is an animal
  14. Is spot an animal?
  15.  
  16. Yes
  17.  
  18. ----------------------------------------------------------------------
  19. Changes since 1.21
  20. ----------------------------------------------------------------------
  21.  
  22. version 1.22 (bugfix)
  23.   * Fixed that enforcer hit.  See up on changes for version 1.20 where
  24.     it says "Fixed a bug that caused segmentation faults on a Sun
  25.     Sparc Station" ?  Well, that code somehow got lost and wasn't
  26.     included in the Amiga version.  And when I upgraded to SAS/C, it
  27.     DID start causing problems. (Thanks Stefan Dube and Simon Stelling)
  28.   * Fixed another problem with negative logic.  Consider the following:
  29.       a dog will eat dog_food
  30.       a cat is not a dog
  31.       will a cat eat dog_food?
  32.     Deduce would answer yes.  This has been fixed. (Thanks Stefan Dube)
  33.   * Deduce no longer prints the blank lines in its output. (suggested by
  34.     Simon Stelling)
  35.  
  36.  
  37. ============================= Archive contents =============================
  38.  
  39. Original  Packed Ratio    Date     Time    Name
  40. -------- ------- ----- --------- --------  -------------
  41.     1233     678 45.0% 07-Jun-93 12:15:42  Deduce.info
  42.    24980   14346 42.5% 07-Jun-93 12:23:48  Deduce/Deduce
  43.        7       7  0.0% 17-Mar-95 22:00:06  Deduce/Deduce!
  44.     1572     580 63.1% 17-Mar-95 22:00:06  Deduce/Deduce!.info
  45.    14879    5699 61.6% 07-Jun-93 12:15:18  Deduce/Deduce.doc
  46.     1499     579 61.3% 17-Mar-95 22:00:06  Deduce/Deduce.doc.info
  47.    14484    5804 59.9% 07-Jun-93 12:17:18  Deduce/Deduce.guide
  48.     5129    1600 68.8% 17-Mar-95 22:00:06  Deduce/Deduce.guide.info
  49.    43628   28530 34.6% 17-Mar-95 22:00:06  Deduce/reqtools.library
  50.      338     157 53.5% 17-Mar-95 22:00:06  Deduce/Sample
  51. -------- ------- ----- --------- --------
  52.   107749   57980 46.1% 14-Apr-95 20:54:42   10 files
  53.