If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Chee Yap



New Approach to FIND-PATH: a Paradigmic Problem in Robotics, AI and SC (Part 1)
Speaker: Chee Yap
Courant Institute of Mathematical Sciences New York University, USA
Date: Wednesday, October 17, 2018
Place: USI Lugano Campus, room SI-006, Informatics building (Via G. Buffi 13)
Time: 15:30-16:30



We give a brief history of Path Planning, also known as FIND-PATH Problem in AI. It is a paradigmic problem of AI in two senses: first, path planning is a key characteristic of autonomous intelligence. Second, it illustrates an ongoing debate: is AI fundamentally symbolic or connectionist (numeric)? FIND-PATH has been a standard problem in the symbolic/algebraic computation literature ever since the work of Schwartz-Sharir (1983). In Symbolic Computation (SC) as in AI, there is increasing interest in numerical approaches to SC. This is a paradox since traditionally, symbolic computation is the pathway to avoid numerical error and arbitrary thresholds. The correct implementation of exact/algebraic algorithms is highly non-trivial for problems such as FIND-PATH because of numerical errors. Recently, we introduced resolution-exactness as a soft-numerical approach to FIND-PATH problems. Using our Soft Subdivision Search (SSS) framework, we have demonstrated that our theory leads to correct (validated) implementations that matches or exceeds the state-of-art performance. We have demonstrated this with a variety of robots, including spatial robots with 5 degrees-of-freedom. Finally, we outline new challenges and extensions.

This lecture will be in two parts.



Chee Yap is Professor of Computer Science at the Courant Institute of Mathematical Sciences of New York University. He has published over 190 papers in computational geometry, computer algebra, robotics, visualization and complexity theory. His book "Fundamental Problems of Algorithmic Algebra" (Oxford Press 2000) is widely cited in algebraic computation. He has a double BS degree in Computer Science and Mathematics from MIT (1972-75) and PhD in Computer Science from Yale (1975-80) under Richard Lipton. He has served on editorial boards of SIAM Journal of Computing, Journal of Symbolic Computation, Algorithmica, JCSS, IJCGA, CGTA and MCS. Recently, he was conference chairs of ISSAC 2017 and ICMS 2014.


Host: Prof. Evanthia Papadopoulou


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube