Operator-based semantics for choice programs: is choosing losing? (full version)
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866911973896093696 |
|---|---|
| author | Heyninck, Jesse |
| author_facet | Heyninck, Jesse |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_21556 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Operator-based semantics for choice programs: is choosing losing? (full version) Heyninck, Jesse Artificial Intelligence Logic in Computer Science 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. |
| title | Operator-based semantics for choice programs: is choosing losing? (full version) |
| topic | Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2407.21556 |