Splitting Property for Epistemic Equilibrium Logics

Basit Öğe Kaydı
dc.contributor.authorSu, Ezgi Iraz
dc.date.accessioned2026-04-25T14:19:50Z
dc.date.available2026-04-25T14:19:50Z
dc.date.issued2025
dc.departmentSinop Üniversitesi
dc.description.abstractAnswer-set programming (ASP) is a declarative logic programming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence. In ASP, problems are represented as logic programs, and solutions are identified through their answer sets. Equilibrium logic (EL) is a general-purpose nonmonotonic reasoning formalism based on a monotonic logic called here-and-there logic (HT). HT is a three-valued intermediate logic that lies strictly between intuitionistic logic and classical logic. EL was originally proposed as a foundational framework of ASP, where answer sets of an ASP program are captured by the equilibrium models of the corresponding HT theory. While ASP has proven successful as a knowledge-representation formalism, it encounters specific situations where its language falls short of accurately representing and reasoning about incomplete information. Researchers now widely agree that ASP requires powerful introspective reasoning with the use of epistemic modal operators. Therefore, epistemic specifications (ES) have been proposed as extensions of ASP programs with subjective literals. These new modal constructs in the ASP language make it possible to check whether a regular literal of ASP is true in every (or some) answer set of a logic program, which is required to model incomplete information in ASP. Thus, ES programs are interpreted by world-view structures, which are essentially collections of answer sets (or equilibrium models). However, despite long-lasting debates on how to capture the intended meaning of ES programs via world views, researchers have not reached a consensus on fully satisfactory semantics. Recently, Cabalar et al. have argued that such research on ES semantics should be grounded in formal robustness rather than in test examples. Thus, inspired by ASP's foundational properties, they introduced a new structural principle called the epistemic splitting property (E-SP) and designated it as one of the compulsory criteria for epistemic ASP. However, this criterion has left several intuitive semantic approaches unsatisfactory. This paper generalises Cabalar et al.'s approach to a more comprehensive, meticulous, and conservative extension of ASP's original splitting property, thereby broadening the applicability and enhancing the efficiency of epistemic splitting property for general epistemic equilibrium logics.
dc.description.sponsorshipAssociation for Research in Logic (Turkiye); UNILOG 2025; MUR under the PRIN project PINPOINT [2020FNEB27]
dc.description.sponsorshipThis work has been partly supported by the Association for Research in Logic (Turkiye) and UNILOG 2025. The previous version of this work was partially supported by the MUR under the PRIN project PINPOINT Prot. 2020FNEB27.
dc.identifier.doi10.1007/s11787-025-00402-5
dc.identifier.endpage768
dc.identifier.issn1661-8297
dc.identifier.issn1661-8300
dc.identifier.issue4
dc.identifier.scopus2-s2.0-105023066134
dc.identifier.scopusqualityQ3
dc.identifier.startpage739
dc.identifier.urihttps://doi.org/10.1007/s11787-025-00402-5
dc.identifier.urihttps://hdl.handle.net/11486/8219
dc.identifier.volume19
dc.identifier.wosWOS:001626009600001
dc.identifier.wosqualityQ3
dc.indekslendigikaynakWeb of Science
dc.indekslendigikaynakScopus
dc.institutionauthorSu, Ezgi Iraz
dc.language.isoen
dc.publisherSpringer Basel Ag
dc.relation.ispartofLogica Universalis
dc.relation.publicationcategoryMakale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı
dc.rightsinfo:eu-repo/semantics/closedAccess
dc.snmzKA_WOS_20260420
dc.subjectEquilibrium logic
dc.subjectHere-and-there logic
dc.subjectEpistemic specifications
dc.subject(Epistemic) Splitting property
dc.subjectAnswer-set programming
dc.subject(Subjective) constraint monotonicity
dc.subjectEquilibrium logic
dc.subjectHere-and-there logic
dc.subjectModal logics S5
dc.subjectKD45
dc.subjectSW5
dc.subject(Reflexive) auto epistemic logic
dc.subjectEpistemic specifications
dc.subject(Epistemic) Splitting property
dc.subject(Subjective) constraint monotonicity
dc.titleSplitting Property for Epistemic Equilibrium Logics
dc.typeArticle

Dosyalar

Koleksiyon

WoS İndeksli Yayınlar Koleksiyonu
Scopus İndeksli Yayınlar Koleksiyonu