home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 June / SIMTEL_0692.cdr / msdos / educatin / csa.arc / CSA.TXT < prev    next >
Text File  |  1987-05-21  |  699b  |  27 lines
  1. improvments to csa
  2.  
  3. 1. syn and ant functions
  4.  
  5. (syn rich wealthy)
  6. (ant rich poor)
  7. (syn rich (not poor))
  8. (syn rich (well off))
  9.  
  10. builds list of ((replacement object) (replacement object))
  11. for example: ((rich wealthy) (rich (not poor)) (rich (well off)))
  12. only attempts table lookup if it could not find major/minor props
  13. does a recursive sequential list search
  14.  
  15. 2. single atom subject universal assumption
  16.  
  17. if the left of are is a single atom, then assume quantifier is ALL
  18. as in 'socrates is a mortal'
  19.  
  20.  
  21. 3. file functions
  22.  
  23. (read_syl file)     ; read in a syllogism from file
  24. (read_syn file)     ; read synonym list from file
  25. (read_ant file)     ; read antonym list from file
  26.  
  27.