Newsgroups: comp.robotics
Path: brunix!uunet!math.fu-berlin.de!mailgzrz.TU-Berlin.DE!news.netmbx.de!Germany.EU.net!fuhainf!fuhainf2!gerke
From: gerke@fuhainf2.fernuni-hagen.de (Michael Gerke)
Subject: Re: Spatial Mapping in Robotics: Citations Wanted
Message-ID: <C1IKJp.n0y@fuhainf.fernuni-hagen.de>
Sender: news@fuhainf.fernuni-hagen.de (Usenet News System)
Organization: FernUniversitaet Hagen
X-Newsreader: TIN [version 1.1 PL8]
References: <1993Jan17.063230.7052@netcom.com>
Date: Wed, 27 Jan 1993 13:09:25 GMT
Lines: 20

John Nagle (nagle@netcom.com) wrote:
: 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
