TY - GEN
T1 - First-order semantics of aggregates in answer set programming via modified circumscription
AU - Bartholomew, Michael
AU - Lee, Joohyung
AU - Meng, Yunsong
PY - 2011
Y1 - 2011
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. Similar to the first-order stable model semantics by Ferraris, Lee and Lifschitz, the reformulations presented 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. Similar to the first-order stable model semantics by Ferraris, Lee and Lifschitz, the reformulations presented 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=80051501611&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80051501611&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:80051501611
SN - 9781577354987
T3 - AAAI Spring Symposium - Technical Report
SP - 16
EP - 22
BT - Logical Formalizations of Commonsense Reasoning - Papers from the AAAI Spring Symposium, Technical Report
PB - AI Access Foundation
T2 - 2011 AAAI Spring Symposium
Y2 - 21 March 2011 through 23 March 2011
ER -