In the field of Answer Set Programming (ASP), two logic programs are strongly equivalent if they are ordinarily equivalent under any extensions. This property provides a theoretical foundation for studying many aspects of logic programs such as program simplification and transformation etc. Therefore, strong equivalence has been investigated extensively for ASP and its extensions such as LPMLN. In this paper, we present a syntactic approach to studying the strong equivalence of logic programs, which provides several interesting results and would help us understand the strong equivalence from a new perspective. Firstly, we present the notions of independent sets and five kinds of syntactic transformations (S-* transformations) for logic programs. And we investigate the strong equivalence (SE) and non-strong equivalence (NSE) preserving properties of the S-* transformations in the contexts of ASP and LPMLN. Secondly, based on the properties of the S-* transformations, we present a fully automatic algorithm to discover syntactic conditions that preserve strong equivalences (SE-conditions) of ASP and LPMLN programs. To discover the SE-conditions efficiently, we present four kinds of approaches to improve the algorithm. Thirdly, we present a preliminary method to simplify the discovered SE-conditions and report the simplified SE-conditions of several kinds of LPMLN programs. After that, we present a discussion on the discovered SE-conditions and some existing problems. Finally, we present a comparison between SE-conditions discovering approaches in this paper and in the related work.


翻译:在“答案设置”编程(ASP)领域,两个逻辑程序如果在任何扩展中通常等效(ASP),则两个逻辑程序是相当的。这一属性为研究逻辑程序的许多方面,例如程序简化和变换等,提供了一个理论基础。因此,对ASP及其扩展(LPMLN)进行了广泛调查,对ASP及其扩展(LPMLN)进行了强有力的等同性。在本文中,我们提出了一个研究逻辑程序强烈等同性的综合方法,它提供了几个有趣的结果,并将帮助我们从新的角度理解强烈等同性。首先,我们介绍了独立成套和五种合成转换(S-*变换)的概念,为逻辑程序提供了理论基础。我们研究了强等等(SES)和非等等等等等(NSE)在ASP和LPMN背景下维护S*变换的特性。第二,根据S-*转换的特性,我们提出了一个完全自动的算法,以发现从新的角度来保持亚SP和LPMN方案的强等同性(SE-M)的等同性条件(SE-M)概念,我们提出了四种比较方法,我们在SEE-SE-L最后的文件中发现了一些变现后,我们发现了一些SE-rismacrodrodrodrodrodrodrop(SE-s),我们提出了一种初步方法。我们提出了一种方法。

0
下载
关闭预览

相关内容

iOS 8 提供的应用间和应用跟系统的功能交互特性。
  • Today (iOS and OS X): widgets for the Today view of Notification Center
  • Share (iOS and OS X): post content to web services or share content with others
  • Actions (iOS and OS X): app extensions to view or manipulate inside another app
  • Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
  • Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
  • Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
  • Custom Keyboard (iOS): system-wide alternative keyboards

Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
【硬核书】矩阵代数基础,248页pdf
专知会员服务
83+阅读 · 2021年12月9日
【杜克-Bhuwan Dhingra】语言模型即知识图谱,46页ppt
专知会员服务
65+阅读 · 2021年11月15日
【微众银行】联邦学习白皮书_v2.0,48页pdf,
专知会员服务
165+阅读 · 2020年4月26日
【新书】Python编程基础,669页pdf
专知会员服务
193+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
msf实现linux shell反弹
黑白之道
49+阅读 · 2019年8月16日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
计算机 | CCF推荐期刊专刊信息5条
Call4Papers
3+阅读 · 2019年4月10日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
AI/ML/DNN硬件加速设计怎么入门?
StarryHeavensAbove
10+阅读 · 2018年12月4日
(OpenCV/Keras)用手势控制的计算器
机器学习研究会
3+阅读 · 2018年3月4日
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
【推荐】免费书(草稿):数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
The Approximate Degree of Bipartite Perfect Matching
VIP会员
相关VIP内容
【硬核书】矩阵代数基础,248页pdf
专知会员服务
83+阅读 · 2021年12月9日
【杜克-Bhuwan Dhingra】语言模型即知识图谱,46页ppt
专知会员服务
65+阅读 · 2021年11月15日
【微众银行】联邦学习白皮书_v2.0,48页pdf,
专知会员服务
165+阅读 · 2020年4月26日
【新书】Python编程基础,669页pdf
专知会员服务
193+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
相关资讯
msf实现linux shell反弹
黑白之道
49+阅读 · 2019年8月16日
Hierarchically Structured Meta-learning
CreateAMind
26+阅读 · 2019年5月22日
计算机 | CCF推荐期刊专刊信息5条
Call4Papers
3+阅读 · 2019年4月10日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
AI/ML/DNN硬件加速设计怎么入门?
StarryHeavensAbove
10+阅读 · 2018年12月4日
(OpenCV/Keras)用手势控制的计算器
机器学习研究会
3+阅读 · 2018年3月4日
【计算机类】期刊专刊/国际会议截稿信息6条
Call4Papers
3+阅读 · 2017年10月13日
【推荐】免费书(草稿):数据科学的数学基础
机器学习研究会
20+阅读 · 2017年10月1日
Top
微信扫码咨询专知VIP会员