ASP Solving for Expanding Universes

Abstract : 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.
Type de document :
Communication dans un congrès
F. Calimeri and G. Ianni and M. Truszczyski. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. Springer, 9345, 2015, lnai
Liste complète des métadonnées

https://hal.inria.fr/hal-01187005
Contributeur : René Quiniou <>
Soumis le : mardi 25 août 2015 - 18:26:00
Dernière modification le : mercredi 16 mai 2018 - 11:23:02

Identifiants

  • HAL Id : hal-01187005, version 1

Citation

Martin Gebser, Toni Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub. ASP Solving for Expanding Universes. F. Calimeri and G. Ianni and M. Truszczyski. Proceedings of the Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15), 2015, Lexington, United States. Springer, 9345, 2015, lnai. 〈hal-01187005〉

Partager

Métriques

Consultations de la notice

397