基于操作符的选择程序语义：选择会输吗？(完整版）

arXiv - CS - Logic in Computer Science Pub Date : 2024-07-31 DOI:arxiv-2407.21556

Jesse Heyninck

{"title":"基于操作符的选择程序语义：选择会输吗？(完整版）","authors":"Jesse Heyninck","doi":"arxiv-2407.21556","DOIUrl":null,"url":null,"abstract":"Choice constructs are an important part of the language of logic programming,\nyet the study of their semantics has been a challenging task. So far, only\ntwo-valued semantics have been studied, and the different proposals for such\nsemantics have not been compared in a principled way. In this paper, an\noperator-based framework allow for the definition and comparison of different\nsemantics in a principled way is proposed.","PeriodicalId":501208,"journal":{"name":"arXiv - CS - Logic in Computer Science","volume":"1 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Operator-based semantics for choice programs: is choosing losing? (full version)\",\"authors\":\"Jesse Heyninck\",\"doi\":\"arxiv-2407.21556\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Choice constructs are an important part of the language of logic programming,\\nyet the study of their semantics has been a challenging task. So far, only\\ntwo-valued semantics have been studied, and the different proposals for such\\nsemantics have not been compared in a principled way. In this paper, an\\noperator-based framework allow for the definition and comparison of different\\nsemantics in a principled way is proposed.\",\"PeriodicalId\":501208,\"journal\":{\"name\":\"arXiv - CS - Logic in Computer Science\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.21556\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.21556","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

选择构造是逻辑编程语言的重要组成部分，但对其语义的研究一直是一项具有挑战性的任务。迄今为止，人们只研究过两值语义，而且还没有以一种原则性的方式对这种语义的不同提议进行比较。本文提出了一个基于操作符的框架，允许以原则性的方式定义和比较不同的语义。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

arXiv - CS - Logic in Computer Science

自引率

0.00%

发文量