Operator-Based Semantics for Choice Programs: Is Choosing Losing?

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.

Authors

• Jesse Heyninck

Keywords

• Logic programming, answer set programming-General
• Non-monotonic logics-General