Operator-based semantics for choice programs: is choosing losing? (full version)

TL;DR

This paper introduces an operator-based framework to define and compare different semantics for choice constructs in logic programming, addressing the lack of a unified approach.

Contribution

It proposes a novel operator-based framework that enables systematic definition and comparison of multiple semantics for choice programs.

Findings

Framework allows principled comparison of semantics

Facilitates understanding of choice construct behavior

Addresses gap in logic programming semantics

Abstract

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.