Newsgroups: comp.robotics
Path: brunix!uunet!wupost!csus.edu!netcom.com!nagle
From: nagle@netcom.com (John Nagle)
Subject: Re: Spatial Mapping in Robotics: Citations Wanted
Message-ID: <1993Jan17.063230.7052@netcom.com>
Keywords: prolog, spatial mapping, knowledge-based navigation
Organization: Netcom - Online Communication Services  (408 241-9760 guest) 
References: <727133163@marlin.cs.duke.edu>
Date: Sun, 17 Jan 1993 06:32:30 GMT
Lines: 19

wbb@duke.cs.duke.edu (William) writes:
>	I am interested in using multi-media, graphics techniques
>	in relation to automatic theorem-proving, in a similar
>	fashion to the way natural language is used as an inter-	
>	face to diagnostic systems.  The application I have in
>	mind is a system where a map could be given as input,
>	a request could be made for a route between two points,
>	and a route could be derived using the map, certain
>	constraints and a user model.  The output might be a map as
>	well.  The degree of sophistication required by a user model
>	and flexible route generation would require the map to be 
>	translated into some sortof intermediate form, perhaps similar 
>	to prolog clauses.  
     
       Assuming you really mean spatial maps, not topological ones,
see "Robot Motion Planning", by Jean-Claude Latombe (Kluwer, 1991, ISBN
0-7923-9129-2).

					John Nagle
