Disjunctive asp with functions: Decidable queries and effective computation*

  • Authors:

  • Mario Alviano;Wolfgang Faber;Nicola Leone

  • Affiliations:

  • Department of mathematics, university of calabria, 87036 rende (cs), italy (e-mail: alviano@mat.unical.it, faber@mat.unical.it, leone@mat.unical.it);Department of mathematics, university of calabria, 87036 rende (cs), italy (e-mail: alviano@mat.unical.it, faber@mat.unical.it, leone@mat.unical.it);Department of mathematics, university of calabria, 87036 rende (cs), italy (e-mail: alviano@mat.unical.it, faber@mat.unical.it, leone@mat.unical.it)

  • Venue:
  • Theory and Practice of Logic Programming
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Querying over disjunctive ASP with functions is a highly undecidable task in general. In this paper we focus on disjunctive logic programs with stratified negation and functions under the stable model semantics (ASPfs). We show that query answering in this setting is decidable, if the query is finitely recursive (ASPfsfr). Our proof yields also an effective method for query evaluation. It is done by extending the magic set technique to ASPfsfr. We show that the magic-set rewritten program is query equivalent to the original one (under both brave and cautious reasoning). Moreover, we prove that the rewritten program is also finitely ground, implying that it is decidable. Importantly, finitely ground programs are evaluable using existing ASP solvers, making the class of ASPfsfr queries usable in practice.