home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / wny / seminar / 69 next >
Encoding:
Text File  |  1993-01-22  |  1.6 KB  |  44 lines
  1. Newsgroups: wny.seminar,cs.seminar
  2. Path: sparky!uunet!psinntp!isc-newsserver!rit!rochester!pat
  3. From: pat@cs.rochester.edu
  4. Subject: Thesis Proposal-HOEBEL
  5. Message-ID: <9301221437.AA21670@slate.cs.rochester.edu>
  6. Sender: pat@cs.rochester.edu (Pat Marshall)
  7. Organization: Computer Science Department University of Rochester
  8. Distribution: wny
  9. Date: Fri, 22 Jan 93 09:37:08 -0500
  10. Lines: 32
  11.  
  12.                    University of Rochester   
  13.             THESIS PROPOSAL
  14.  
  15.  
  16. Who:    Louis Hoebel
  17.  
  18. When:     January 25th, 1:30pm 
  19.  
  20. Where:    Rm 703 Computer Studies Building
  21.  
  22.         "Temporal and Spatial Constraint 
  23.                  Propagation Management"
  24.  
  25. The problems of plan generation (PG)  and the problems of plan execution
  26. monitoring (PEM),  including updating, answering queries, and resource-
  27. bounded replanning, have different computational, reasoning and representa-
  28. tion requirements.  This proposal is for work that focuses on the computa-
  29. tional constraints of dynamic problems such as PEM for large scale, real
  30. world problems.  We present a hierarchy based model of spatial and temporal
  31. constraints useful for application to such problems. The focus of this work
  32. is to address the computational restrictions on constraint propagation
  33. necessary for anytime performance. Control of propagation through a
  34. structured hierarchy of locally compiled and cached constraints is presented.
  35. Local consistency and explicit relations are preserved while global
  36. consistency and relations are subject to effects of limited propagation.  A
  37. preliminary implementation, using MATS as the temporal reasoner, will be
  38. described.
  39.  
  40.  
  41.  
  42.  
  43.  
  44.