A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)
Giovanni Amendola, Carmine Dodaro, Marco Maratea
Abstract
The issue of describing in a formal way solving algorithms in various fields such as Propositional Satisfiability (SAT), Quantified SAT, Satisfiability Modulo Theories, Answer Set Programming (ASP), and Constraint ASP, has been relatively recently solved employing abstract solvers. In this paper we deal with cautious reasoning tasks in ASP, and design, implement and test novel abstract solutions, borrowed from backbone computation in SAT. By employing abstract solvers, we also formally show that the algorithms for solving cautious reasoning tasks in ASP are strongly related to those for computing backbones of Boolean formulas. Some of the new solutions have been implemented in the ASP solver WASP, and tested.
BibTeX
@inproceedings{ijcai2020p652,
title = {A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)},
author = {Amendola, Giovanni and Dodaro, Carmine and Maratea, Marco},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI-20}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Christian Bessiere},
pages = {4716--4720},
year = {2020},
month = {7},
note = {Sister Conferences Best Papers},
doi = {10.24963/ijcai.2020/652},
url = {https://doi.org/10.24963/ijcai.2020/652},
}