home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / comp / ai / 4210 < prev    next >
Encoding:
Internet Message Format  |  1992-11-09  |  797 b 
  1. Xref: sparky comp.ai:4210 sci.lang:7933
  2. Newsgroups: comp.ai,sci.lang
  3. Path: sparky!uunet!brunix!brunix!mj
  4. From: mj@cs.brown.edu (Mark Johnson)
  5. Subject: Re: disjunctive unification algorithm?
  6. Message-ID: <1992Nov9.185526.23125@cs.brown.edu>
  7. Sender: news@cs.brown.edu
  8. Organization: Brown University Department of Computer Science
  9. References: <721238926.24524@minster.york.ac.uk>
  10. Date: Mon, 9 Nov 1992 18:55:26 GMT
  11. Lines: 14
  12.  
  13. In article <721238926.24524@minster.york.ac.uk> miles@minster.york.ac.uk writes:
  14. >... The sort of thing that I need is:
  15. >
  16. >((N +) (or (V +) (V -))) unify ((N +) (V -)) = ((N +) (V -))
  17. >
  18. >where the "or" states that the V feature can be either "+" or "-".
  19.  
  20. Why not just leave out the V in the first FS entirely?
  21.  
  22. Mark
  23.  
  24. Mark Johnson
  25. Cognitive Science, Box 1978
  26. Brown University
  27.