Credulous Resolution for Answer Set Programming
Abstract
The paper presents a calculus based on resolution for credulous reasoning in Answer Set Programming. The new approach allows a top-down and goal directed resolution, in the same spirit as traditional SLD-resolution. The proposed credulous resolution can be used in query-answering with nonground queries and with non-ground, and possibly infinite, programs. Soundness and completeness results for the resolution procedure are proved for large classes of logic programs. The resolution procedure is also extended to handle some traditional syntactic extensions used in Answer Set Programming, such as choice rules and constraints. The paper also describes an initial implementation of a system for credulous reasoning in Answer Set Programming.
Cite
Text
Bonatti et al. "Credulous Resolution for Answer Set Programming." AAAI Conference on Artificial Intelligence, 2008.Markdown
[Bonatti et al. "Credulous Resolution for Answer Set Programming." AAAI Conference on Artificial Intelligence, 2008.](https://mlanthology.org/aaai/2008/bonatti2008aaai-credulous/)BibTeX
@inproceedings{bonatti2008aaai-credulous,
title = {{Credulous Resolution for Answer Set Programming}},
author = {Bonatti, Piero A. and Pontelli, Enrico and Son, Tran Cao},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2008},
pages = {418-423},
url = {https://mlanthology.org/aaai/2008/bonatti2008aaai-credulous/}
}