Operator-based semantics for choice programs: is choosing losing? (full version)
This work addresses a foundational problem in logic programming semantics, offering a systematic approach for researchers in the field, though it appears incremental as it builds on existing two-valued semantics.
The paper tackles the challenge of defining and comparing semantics for choice constructs in logic programming by proposing an operator-based framework, enabling a principled analysis of different semantics.
Choice constructs are an important part of the language of logic programming, yet the study of their semantics has been a challenging task. So far, only two-valued semantics have been studied, and the different proposals for such semantics have not been compared in a principled way. In this paper, an operator-based framework allow for the definition and comparison of different semantics in a principled way is proposed.