🚀 go-pugleaf

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