TY - GEN
T1 - First-order extension of the FLP stable model semantics via modified circumscription
AU - Bartholomew, Michael
AU - Lee, Joohyung
AU - Meng, Yunsong
PY - 2011/12/1
Y1 - 2011/12/1
N2 - We provide reformulations and generalizations of both the semantics of logic programs by Faber, Leone and Pfeifer and its extension to arbitrary propositional formulas by Truszczyński. Unlike the previous definitions, our generalizations refer neither to grounding nor to fixpoints, and apply to first-order formulas containing aggregate expressions. In the same spirit as the first-order stable model semantics proposed by Ferraris, Lee and Lifschitz, the semantics proposed here are based on syntactic transformations that are similar to circumscription. The reformulations provide useful insights into the FLP semantics and its relationship to circumscription and the first-order stable model semantics.
AB - We provide reformulations and generalizations of both the semantics of logic programs by Faber, Leone and Pfeifer and its extension to arbitrary propositional formulas by Truszczyński. Unlike the previous definitions, our generalizations refer neither to grounding nor to fixpoints, and apply to first-order formulas containing aggregate expressions. In the same spirit as the first-order stable model semantics proposed by Ferraris, Lee and Lifschitz, the semantics proposed here are based on syntactic transformations that are similar to circumscription. The reformulations provide useful insights into the FLP semantics and its relationship to circumscription and the first-order stable model semantics.
UR - http://www.scopus.com/inward/record.url?scp=84864270235&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84864270235&partnerID=8YFLogxK
U2 - 10.5591/978-1-57735-516-8/IJCAI11-128
DO - 10.5591/978-1-57735-516-8/IJCAI11-128
M3 - Conference contribution
AN - SCOPUS:84864270235
SN - 9781577355120
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 724
EP - 730
BT - IJCAI 2011 - 22nd International Joint Conference on Artificial Intelligence
T2 - 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
Y2 - 16 July 2011 through 22 July 2011
ER -