Operator-based semantics for choice programs: is choosing losing? (full version)
Artificial Intelligence
2024-08-01 v1 Logic in Computer Science
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.
Cite
@article{arxiv.2407.21556,
title = {Operator-based semantics for choice programs: is choosing losing? (full version)},
author = {Jesse Heyninck},
journal= {arXiv preprint arXiv:2407.21556},
year = {2024}
}
Comments
Extended version of a paper accepted at KR 2024