TY - GEN

T1 - A decidable class of groundable formulas in the general theory of stable models

AU - Bartholomew, Michael

AU - Lee, Joohyung

PY - 2010/1/1

Y1 - 2010/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=79955751900&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79955751900&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:79955751900

SN - 9781577354512

T3 - Proceedings of the International Workshop on Temporal Representation and Reasoning

SP - 477

EP - 485

BT - Principles of Knowledge Representation and Reasoning

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 12th International Conference on Principles of Knowledge Representation and Reasoning, KR 2010

Y2 - 9 May 2010 through 13 May 2010

ER -