Showing 1–2 of 2 results for author: Vanbesien, L

An epistemic logic for modeling decisions in the context of incomplete knowledge

Authors: Đorđe Marković, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker

Abstract: Substantial efforts have been made in develo** various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge. In such contexts, decisions depend on what is known or not known. We argue that none of the existing formalisms for modeling decisions are capable of correctly capturing the epi… ▽ More Substantial efforts have been made in develo** various Decision Modeling formalisms, both from industry and academia. A challenging problem is that of expressing decision knowledge in the context of incomplete knowledge. In such contexts, decisions depend on what is known or not known. We argue that none of the existing formalisms for modeling decisions are capable of correctly capturing the epistemic nature of such decisions, inevitably causing issues in situations of uncertainty. This paper presents a new language for modeling decisions with incomplete knowledge. It combines three principles: stratification, autoepistemic logic, and definitions. A knowledge base in this language is a hierarchy of epistemic theories, where each component theory may epistemically reason on the knowledge in lower theories, and decisions are made using definitions with epistemic conditions. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 9 pages, 3 figures, to be published as a poster version in the ACM/SIGAPP conference

Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory

Authors: Linde Vanbesien, Maurice Bruynooghe, Marc Denecker

Abstract: Aggregates provide a concise way to express complex knowledge. The problem of selecting an appropriate formalisation of aggregates for answer set programming (ASP) remains unsettled. This paper revisits it from the viewpoint of Approximation Fixpoint Theory (AFT). We introduce an AFT formalisation equivalent with the Gelfond-Lifschitz reduct for basic ASP programs and we extend it to handle aggreg… ▽ More Aggregates provide a concise way to express complex knowledge. The problem of selecting an appropriate formalisation of aggregates for answer set programming (ASP) remains unsettled. This paper revisits it from the viewpoint of Approximation Fixpoint Theory (AFT). We introduce an AFT formalisation equivalent with the Gelfond-Lifschitz reduct for basic ASP programs and we extend it to handle aggregates. We analyse how existing approaches relate to our framework. We hope this work sheds some new light on the issue of a proper formalisation of aggregates. This paper is under consideration for acceptance in TPLP. △ Less

Submitted 17 May, 2022; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: Paper presented at the 38th International Conference on Logic Programming (ICLP 2022), 22 pages (including supplementary material)