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

2024/07/31 by Heyninck, Jesse
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.2407.21556

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.

Related

• Choice Logics and Their Computational Properties
• A Family of Descriptive Approaches To Preferred Answer Sets
• Preferred well-founded semantics for logic programming by alternating fixpoints: Preliminary report
• Truth and Preferences -- A Game Approach for Qualitative Choice Logic
• A Framework for Compiling Preferences in Logic Programs