Students Publish Temporal Planning Research
February 19, 2018Share story
Student researchers at Harvey Mudd aren鈥檛 exactly on a mission to Mars, but their work could lead to red planet rovers learning some new tricks. In a computer science/mathematics collaboration, Amy Huang 鈥18 and Liam Lloyd 鈥18 use geometry to seek ways to embed time management and efficiency into artificial intelligence technologies, aiming to produce a set schedule that鈥檚 flexible enough to accommodate unexpected events.
Huang鈥檚 and Lloyd鈥檚 project is described in their paper, 鈥淣ew Perspectives on Flexibility in Simple Temporal Planning,鈥 which was accepted for publication and presentation at the International Conference on Automated Planning and Scheduling this summer in Delft, Netherlands.
鈥淭he project explores geometric interpretations of scheduling problems,鈥 says computer science professor Jim Boerkoel. 鈥淭he set/space of schedules that are valid possibilities can be represented using something called a simple temporal network (STN), which is a network of constraints of the form. For example, 鈥楢ctivity A must start between 8 a.m. and 10 a.m.鈥欌
Mars rovers appear in the paper as one example of the challenge presented by inflexible schedules, which, in the rover鈥檚 case, is exacerbated by the eight-minute lag for all communication links to and from Earth. Because of this, to be efficient, rovers need autonomous schedules that can be flexible when unexpected events occur.
Other potential applications for the work are somewhat more terrestrial. 鈥淥ur work could be applicable to almost any system where STNs are used,鈥 says Lloyd. 鈥淪TNs are popular on systems with low computation power, which range from Roombas to satellites.鈥
The researchers explored the idea that temporal networks of constraints could also be interpreted as geometric shapes, where each event that needs scheduling adds a new dimension. 鈥淭hese n-dimensional interpretations are actually geometric shapes, but they become very hard to visualize as we extend beyond two or three dimensions,鈥 Boerkoel says.
That鈥檚 where the students鈥 diversity of knowledge, interests and experience come in. 鈥淎 project like this highlights the value of a cross-disciplinary core that prepares students with a broad base of 无忧视频 knowledge,鈥 says Boerkoel, whose Human Experience and Agent Teamwork Laboratory at Harvey Mudd joined forces with Huang, Lloyd and mathematics professor Mohamed Omar on the project. 鈥淲e were able to push insights further than if we had attacked the problem from a computer science perspective alone.鈥
Omar agrees, noting that this type of collaboration gives mathematics and computer science more capability than either has alone. 鈥淚n this project, we were interested in finding a way to quantify the inherent flexibility of an STN,鈥 he says. 鈥淚n order to do that, we noticed that STNs could be modeled geometrically, and the mathematics of these geometric figures gave us a natural way to quantify what flexibility could be for an STN. This allowed us to use quite theoretical mathematics in a robotics setting, having potential for greater social impact.鈥
Indeed, with this research, Huang and Lloyd have begun to define what a flexibility metric should be, offering new metrics that are closer to the ideal than previous ones were.
鈥淲hile the flexibility of STNs has been written about for decades, it has always been defined in terms of some particular metric,鈥 Huang says. 鈥淭he field has not settled on a canonical metric, suggesting that measuring flexibility is difficult. We determined that the further search for flexibility metrics will benefit from a clearer target, and thus defined a set of desiderata that we feel flexibility metrics should have.鈥