Sciweavers

KR
2010
Springer

A Decidable Class of Groundable Formulas in the General Theory of Stable Models

14 years 3 months ago
A Decidable Class of Groundable Formulas in the General Theory of Stable Models
We present a decidable class of first-order formulas in the general theory of stable models that can be instantiated even in the presence of function constants. The notion of an argument-restricted formula presented here is a natural generalization of both the notion of an argument-restricted program and the notion of a semi-safe sentence that have been studied in different contexts. Based on this new notion, we extend the notion of safety defined by Cabalar, Pearce and Valverde to arbitrary formulas that allow function constants, and apply the result to RASPL-1 programs and programs with arbitrary aggregates, ensuring finite groundability of those programs in the presence of function constants. We also show that under a certain syntactic condition, argument-restricted formulas can be turned into argument-restricted programs.
Michael Bartholomew, Joohyung Lee
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where KR
Authors Michael Bartholomew, Joohyung Lee
Comments (0)