home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / lang / prolog / 2441 < prev    next >
Encoding:
Text File  |  1993-01-25  |  1.6 KB  |  41 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!Germany.EU.net!ecrc!acrab60!thom
  3. From: thom@ecrc.de (Thom Fruehwirth)
  4. Subject: Re: Definitive temporal logic source
  5. Message-ID: <1993Jan25.084436.13275@ecrc.de>
  6. Sender: news@ecrc.de
  7. Reply-To: thom@ecrc.de
  8. Organization: European Computer-Industry Research Centre GmbH.
  9. References: <1993Jan23.114811.28054@city.cs>
  10. Date: Mon, 25 Jan 1993 08:44:36 GMT
  11. Lines: 28
  12.  
  13. The foolowing paper describes an implemention of various kinds of
  14. temporal constraints with constraint handling rules (were named
  15. "constraint simplification rules" before) on top of ECRC's 
  16. Eclipse Prolog.
  17.  
  18. Temporal Reasoning with Constraint Handling Rules
  19. Thom Fruehwirth
  20.  
  21. This paper describes an application of constraint handling rules
  22. to temporal reasoning and illustrates the conceptual simplicity 
  23. and flexibility of the approach. 
  24. Following the framework of Meiri (AAAI 91), temporal reasoning 
  25. is viewed as a constraint satisfaction problem about location of 
  26. temporal variables along the time line. Temporal variables may 
  27. be points or intervals and temporal constraints are disjunctions 
  28. of qualitative or quantitative primitive binary temporal 
  29. relations.
  30. We use constraint logic programming augmented with constraint 
  31. handling rules to define a incremental, flexible general purpose 
  32. solver for disjunctive binary constraints based on path 
  33. consistency and backtrack search. We show how this approach
  34. supports rapid prototyping and experimentation with various 
  35. approaches and variants to temporal reasoning and constraint 
  36. satisfaction techniques in general.
  37.  
  38.  
  39. thom
  40.  
  41.