Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores

Show full item record



Permalink

http://hdl.handle.net/10138/309057

Citation

Alviano , M , Dodaro , C , Järvisalo , M , Maratea , M & Previti , A 2018 , ' Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores ' , Theory and Practice of Logic Programming , vol. 18 , no. 3-4 , pp. 319-336 . https://doi.org/10.1017/S1471068418000145

Title: Cautious Reasoning in ASP via Minimal models and Unsatisfiable Cores
Author: Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
Contributor: University of Helsinki, Helsinki Institute for Information Technology
University of Helsinki, Helsinki Institute for Information Technology
Date: 2018-07
Language: eng
Number of pages: 18
Belongs to series: Theory and Practice of Logic Programming
ISSN: 1471-0684
URI: http://hdl.handle.net/10138/309057
Abstract: Answer Set Programming (ASP) is a logic-based knowledge representation framework, supporting-among other reasoning modes-the central task of query answering. In the propositional case, query answering amounts to computing cautious consequences of the input program among the atoms in a given set of candidates, where a cautious consequence is an atom belonging to all stable models. Currently, the most efficient algorithms either iteratively verify the existence of a stable model of the input program extended with the complement of one candidate, where the candidate is heuristically selected, or introduce a clause enforcing the falsity of at least one candidate, so that the solver is free to choose which candidate to falsify at any time during the computation of a stable model. This paper introduces new algorithms for the computation of cautious consequences, with the aim of driving the solver to search for stable models discarding more candidates. Specifically, one of such algorithms enforces minimality on the set of true candidates, where different notions of minimality can be used, and another takes advantage of unsatisfiable cores computation. The algorithms are implemented in WASP, and experiments on benchmarks from the latest ASP competitions show that the new algorithms perform better than the state of the art.
Subject: 113 Computer and information sciences
Answer Set Programming
Cautious Reasoning
Query Answering
SET PROGRAMMING COMPETITION
DISJUNCTIVE DATALOG
ANSWER SETS
MAGIC SETS
COMPUTATION
GENERATION
PARADIGM
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
paper.pdf 373.7Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record