home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / robotics / 3071 < prev    next >
Encoding:
Text File  |  1993-01-28  |  1.5 KB  |  33 lines
  1. Newsgroups: comp.robotics
  2. Path: sparky!uunet!math.fu-berlin.de!mailgzrz.TU-Berlin.DE!news.netmbx.de!Germany.EU.net!fuhainf!fuhainf2!gerke
  3. From: gerke@fuhainf2.fernuni-hagen.de (Michael Gerke)
  4. Subject: Re: Spatial Mapping in Robotics: Citations Wanted
  5. Message-ID: <C1IKJp.n0y@fuhainf.fernuni-hagen.de>
  6. Sender: news@fuhainf.fernuni-hagen.de (Usenet News System)
  7. Organization: FernUniversitaet Hagen
  8. X-Newsreader: TIN [version 1.1 PL8]
  9. References: <1993Jan17.063230.7052@netcom.com>
  10. Date: Wed, 27 Jan 1993 13:09:25 GMT
  11. Lines: 20
  12.  
  13. John Nagle (nagle@netcom.com) wrote:
  14. : wbb@duke.cs.duke.edu (William) writes:
  15. : >    I am interested in using multi-media, graphics techniques
  16. : >    in relation to automatic theorem-proving, in a similar
  17. : >    fashion to the way natural language is used as an inter-    
  18. : >    face to diagnostic systems.  The application I have in
  19. : >    mind is a system where a map could be given as input,
  20. : >    a request could be made for a route between two points,
  21. : >    and a route could be derived using the map, certain
  22. : >    constraints and a user model.  The output might be a map as
  23. : >    well.  The degree of sophistication required by a user model
  24. : >    and flexible route generation would require the map to be 
  25. : >    translated into some sortof intermediate form, perhaps similar 
  26. : >    to prolog clauses.  
  27. :      
  28. :        Assuming you really mean spatial maps, not topological ones,
  29. : see "Robot Motion Planning", by Jean-Claude Latombe (Kluwer, 1991, ISBN
  30. : 0-7923-9129-2).
  31.  
  32. :                     John Nagle
  33.