11 Ekim 2025 tarihinde toplanan jüri, üç başvuru arasından, Dr. Öğr. Üyesi Ezgi Iraz Su’nun (Sinop Üniversitesi), “Splitting Property for Epistemic Equilibrium Logics” isimli makalesini Teo Grünberg Mantık Araştırmaları Ödülü’ne layık görmüştür.
İlgi makale, Logica Universalis isimli dergide yayımlandıktan sonra, UNILOG 2025: 8th World Congress and School on Universal Logic kapsamında gerçekleştirilecek Dünya Mantık Ödülleri Yarışması‘nda Türkiye’yi temsil edecektir.
Dr. Öğr. Üyesi Ezgi Iraz Su (Sinop Üniversitesi)
Başlık: Splitting Property for Epistemic Equilibrium Logics
Özet: 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.
Jüri Üyeleri (Soyadına göre alfabetik):
- Prof. Dr. Ahmet Ayhan Çitil (İstanbul 29 Mayıs Üniversitesi)
- Prof. Dr. H. Bülent Gözkân (Mimar Sinan Güzel Sanatlar Üniversitesi)
- Prof. Dr. David Grünberg (Orta Doğu Teknik Üniversitesi)
- Prof. Dr. Özgüç Güven (İstanbul Üniversitesi)
- Prof. Dr. M. Nazlı İnönü (İstanbul Üniversitesi)
- Prof. Dr. Halit Oğuztüzün (Orta Doğu Teknik Üniversitesi)
- Prof. Dr. Yücel Yüksel (İstanbul Üniversitesi)