The jury, convened on October 11, 2025, selected Asst. Prof. Ezgi Iraz Su (Sinop University) from three submissions to award the Teo Grünberg Prize for Research in Logic to her article titled “Splitting Property for Epistemic Equilibrium Logics”.
After being published in the journal Logica Universalis, the article will represent Türkiye in the World Logic Prizes Contest to be held within the scope of UNILOG 2025: 8th World Congress and School on Universal Logic.
Asst. Prof. Üyesi Ezgi Iraz Su (Sinop University)
Title: Splitting Property for Epistemic Equilibrium Logics
Abstract: Answer-set programming (ASP) is a declarative logic programming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence (AI). 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 by Pearce 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.
Jury Members (Alphabetical by surname):
- Prof. Dr. Ahmet Ayhan Çitil (İstanbul 29 Mayıs University)
- Prof. Dr. H. Bülent Gözkân (Mimar Sinan Fine Arts University)
- Prof. Dr. David Grünberg (Middle East Techical University)
- Prof. Dr. Özgüç Güven (Istanbul University)
- Prof. Dr. M. Nazlı İnönü (Istanbul University)
- Prof. Dr. Halit Oğuztüzün (Middle East Techical University)
- Prof. Dr. Yücel Yüksel (Istanbul University)