First-order extension of the FLP stable model semantics via modified circumscription

Michael Bartholomew, Joohyung Lee, Yunsong Meng

Research output: Chapter in Book/Report/Conference proceedingConference contribution

15 Citations (Scopus)

Abstract

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.

Original languageEnglish (US)
Title of host publicationIJCAI International Joint Conference on Artificial Intelligence
Pages724-730
Number of pages7
DOIs
StatePublished - 2011
Event22nd International Joint Conference on Artificial Intelligence, IJCAI 2011 - Barcelona, Catalonia, Spain
Duration: Jul 16 2011Jul 22 2011

Other

Other22nd International Joint Conference on Artificial Intelligence, IJCAI 2011
CountrySpain
CityBarcelona, Catalonia
Period7/16/117/22/11

Fingerprint

Semantics
Electric grounding
Syntactics

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Bartholomew, M., Lee, J., & Meng, Y. (2011). First-order extension of the FLP stable model semantics via modified circumscription. In IJCAI International Joint Conference on Artificial Intelligence (pp. 724-730) https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-128

First-order extension of the FLP stable model semantics via modified circumscription. / Bartholomew, Michael; Lee, Joohyung; Meng, Yunsong.

IJCAI International Joint Conference on Artificial Intelligence. 2011. p. 724-730.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bartholomew, M, Lee, J & Meng, Y 2011, First-order extension of the FLP stable model semantics via modified circumscription. in IJCAI International Joint Conference on Artificial Intelligence. pp. 724-730, 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, 7/16/11. https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-128
Bartholomew M, Lee J, Meng Y. First-order extension of the FLP stable model semantics via modified circumscription. In IJCAI International Joint Conference on Artificial Intelligence. 2011. p. 724-730 https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-128
Bartholomew, Michael ; Lee, Joohyung ; Meng, Yunsong. / First-order extension of the FLP stable model semantics via modified circumscription. IJCAI International Joint Conference on Artificial Intelligence. 2011. pp. 724-730
@inproceedings{e910552c63b8453aa8c32bb9f9c26ffe,
title = "First-order extension of the FLP stable model semantics via modified circumscription",
abstract = "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.",
author = "Michael Bartholomew and Joohyung Lee and Yunsong Meng",
year = "2011",
doi = "10.5591/978-1-57735-516-8/IJCAI11-128",
language = "English (US)",
isbn = "9781577355120",
pages = "724--730",
booktitle = "IJCAI International Joint Conference on Artificial Intelligence",

}

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

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

SN - 9781577355120

SP - 724

EP - 730

BT - IJCAI International Joint Conference on Artificial Intelligence

ER -