home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / ai / 4197 < prev    next >
Encoding:
Internet Message Format  |  1992-11-08  |  862 b 
  1. Xref: sparky comp.ai:4197 sci.lang:7920
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!decwrl!ames!agate!doc.ic.ac.uk!uknet!yorkohm!minster!miles
  3. From: miles@minster.york.ac.uk
  4. Newsgroups: comp.ai,sci.lang
  5. Subject: disjunctive unification algorithm?
  6. Message-ID: <721238926.24524@minster.york.ac.uk>
  7. Date: 8 Nov 92 16:08:46 GMT
  8. Organization: Department of Computer Science, University of York, England
  9. Lines: 14
  10.  
  11. (I posted this earlier but our mailer may have been failed.)
  12.  
  13. Does anyone know of any code (hopefully in common lisp) to
  14. perform disjunctive unification?  I need to replace a (standard)
  15. unifier in my natural language parser.  The sort of thing that
  16. I need is:
  17.  
  18. ((N +) (or (V +) (V -))) unify ((N +) (V -)) = ((N +) (V -))
  19.  
  20. where the "or" states that the V feature can be either "+" or "-".
  21.  
  22. Thanks!
  23.  
  24. Miles
  25. miles@minster.york.ac.uk    "All is vanity".
  26.