Interpolation in equilibrium logic and answer set programming: The propositional case

Dov Gabbay; David Pearce; Agustín Valverde

Interpolation in equilibrium logic and answer set programming: The propositional case

Dov Gabbay, David Pearce, Agustín Valverde

Research output: Contribution to conference › Paper › peer-review

Abstract

Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting.

Original language	English
State	Published - 2020
Externally published	Yes
Event	3rd Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on Logic Programming, ICLP 2010 - Edinburgh, United Kingdom Duration: 20 Jul 2010 → …

Conference

Conference	3rd Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on Logic Programming, ICLP 2010
Country/Territory	United Kingdom
City	Edinburgh
Period	20/07/10 → …

Bibliographical note

Publisher Copyright:
© 2020 Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010. All rights reserved.

Funding

⋆ Partially supported by CICyT projects TIC-2003-9001-C02 and TIN2006-15455-CO3. ⋆⋆Partially supported by CICyT project TIC-2003-9001-C01, TIN2006-15455-CO1 and Junta de Andalucia project TIC-115 4 We are very grateful to Karl Schlechta for valuable discussions on the interpolation concept for non-monotonic logics. Partially supported by CICyT projects TIC-2003-9001-C02 and TIN2006-15455-CO3. Partially supported by CICyT project TIC-2003-9001-C01, TIN2006-15455-CO1 and Junta de Andalucia project TIC-115

Funders	Funder number
Comisión Interministerial de Ciencia y Tecnología	TIC-2003-9001-C02, TIN2006-15455-CO3
Junta de Andalucía	TIC-115

Cite this

@conference{47efbc0fc55049348b00583f2718bd56,

title = "Interpolation in equilibrium logic and answer set programming: The propositional case",

abstract = "Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting.",

author = "Dov Gabbay and David Pearce and Agust{\'i}n Valverde",

note = "Publisher Copyright: {\textcopyright} 2020 Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010. All rights reserved.; 3rd Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on Logic Programming, ICLP 2010 ; Conference date: 20-07-2010",

year = "2020",

language = "אנגלית",

}

Interpolation in equilibrium logic and answer set programming: The propositional case. / Gabbay, Dov; Pearce, David; Valverde, Agustín.
2020. Paper presented at 3rd Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on Logic Programming, ICLP 2010, Edinburgh, United Kingdom.

Research output: Contribution to conference › Paper › peer-review

TY - CONF

T1 - Interpolation in equilibrium logic and answer set programming

T2 - 3rd Workshop on Answer Set Programming and Other Computing Paradigms, ASPOCP 2010 - Collocated with the International Conference on Logic Programming, ICLP 2010

AU - Gabbay, Dov

AU - Pearce, David

AU - Valverde, Agustín

PY - 2020

Y1 - 2020

N2 - Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting.

AB - Interpolation is an important property of classical and many non classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the propositional version of the non-monotonic system of equilibrium logic, establishing weaker or stronger forms of interpolation depending on the precise interpretation of the inference relation. These results also yield a form of interpolation for ground logic programs under the answer sets semantics. For disjunctive logic programs we also study the property of uniform interpolation that is closely related to the concept of variable forgetting.

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

M3 - ???researchoutput.researchoutputtypes.contributiontoconference.paper???

AN - SCOPUS:85085670757

Y2 - 20 July 2010

ER -

Interpolation in equilibrium logic and answer set programming: The propositional case

Abstract

Conference

Bibliographical note

Funding

Other files and links

Fingerprint

Cite this