ASP Solving for Expanding Universes
Résumé
Over the last years, Answer Set Programming has significantly extended
its range of applicability, and moved beyond solving static problems to
dynamic ones, even in online environments. However, its nonmonotonic nature
as well as its upstream instantiation process impede a seamless integration of new
objects into its reasoning process, which is crucial in dynamic domains such as
logistics or robotics. We address this problem and introduce a simple approach
to successively incorporating new information into ASP systems. Our approach
rests upon a translation of logic programs and thus refrains from any dedicated algorithms.
We prove its modularity as regards the addition of new information and
show its soundness and completeness.We apply our methodology to two domains
of the Fifth ASP Competition and evaluate traditional one-shot and incremental
multi-shot solving approaches.