"When in Rome, do as the Romans do," the proverb says. But what if you're only in the Italian capital for just one day and you're keen to fit in as much of its history and culture as possible? Sure, you could take a few hours out to plan your trip or you could try to book a tour guide to take you round "The Eternal City." But now there's a third option: Tourism apps, websites and chatbots that use artificial intelligence to tailor itineraries for the user based on their preferences and time. They're rapidly popping up, so NBC News decided to put three of them to the test.

Axioms can be used to model derived predicates in domain-independent planning models. Formulating models which use axioms can sometimes result in problems with much smaller search spaces than the original model. We propose a method for automatically extracting a particular class of axioms from standard STRIPS PDDL models. More specifically, we identify operators whose effects become irrelevant given some other operator, and generate axioms that capture this relationship. We show that this algorithm can be used to successfully extract axioms from standard IPC benchmark instances, and show that the extracted axioms can be used to significantly improve the performance of satisficing planners.

Axioms can be used to model derived predicates in domain-independent planning models. Formulating models which use axioms can sometimes result in problems with much smaller search spaces than the original model. We propose a method for automatically extracting a particular class of axioms from standard STRIPS PDDL models. More specifically, we identify operators whose effects become irrelevant given some other operator, and generate axioms that capture this relationship. We show that this algorithm can be used to successfully extract axioms from standard IPC benchmark instances, and show that the extracted axioms can be used to significantly improve the performance of an IP-based planner.