A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)
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.
Cite
Text
Amendola et al. "A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2020. doi:10.24963/IJCAI.2020/652Markdown
[Amendola et al. "A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2020.](https://mlanthology.org/ijcai/2020/amendola2020ijcai-formal/) doi:10.24963/IJCAI.2020/652BibTeX
@inproceedings{amendola2020ijcai-formal,
title = {{A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract)}},
author = {Amendola, Giovanni and Dodaro, Carmine and Maratea, Marco},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2020},
pages = {4716-4720},
doi = {10.24963/IJCAI.2020/652},
url = {https://mlanthology.org/ijcai/2020/amendola2020ijcai-formal/}
}