home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / ai / 4773 < prev    next >
Encoding:
Internet Message Format  |  1993-01-07  |  977 b 
  1. Path: sparky!uunet!munnari.oz.au!yoyo.aarnet.edu.au!aegir!dhj
  2. From: dhj@adl.dmt.csiro.au (Dennis Jarvis)
  3. Newsgroups: comp.ai
  4. Subject: truth maintenance
  5. Keywords: truth maintenance, scheduling
  6. Message-ID: <270@aegir.adl.dmt.csiro.au>
  7. Date: 6 Jan 93 23:25:31 GMT
  8. Organization: CSIRO Division of Manufacturing Technology, Adelaide, Australia
  9. Lines: 10
  10.  
  11. I am looking for references to work which has used truth maintenance systems
  12. in the solution of scheduling problems. Applications in manufacturing would be
  13. a bonus ... I am interested in using a TMS to provide explanations / detect
  14. constraint violations for an interactive scheduling environment.
  15. If there is sufficient interest, I will post a summary.
  16. -----------------------------------------------------------------------------
  17. Dennis Jarvis,        CSIRO Division of Manufacturing Technology,
  18.             PO Box 4, Woodville, South Australia 5011, Australia.
  19. PHONE: +61 8 268 0156
  20. FAX  : +61 8 268 6757   Internet  : dhj@adl.dmt.csiro.au
  21.