Simplified Reduct for Choice Rules in ASP

Simplified Reduct for Choice Rules in ASP
复制标题

ASP 中选择规则的简化简化

DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
K. Broda
K. Broda
中科院分区：
--
文献类型：
--
作者：
Mark Law;A. Russo;K. Broda

文献摘要

被引文献

相似文献

答案集编程中选择规则的语义的DefiNitions涉及到通过发明原始程序中没有的新原子来进行翻译。在这篇报告中，我们对含有不创造新谓词的选择规则的程序提出了一种新的约简定义，并证明了对于我们所考虑的fi子集，其语义是相同的。
The accepted definitions of the semantics of choice rules in Answer Set Programming (ASP) involve a translation by inventing new atoms which do not occur in the original program. In this report, we put forward a new definition of the reduct for programs containing choice rules which does not invent new predicates and prove that the semantics are the same for the subset of ASP which we consider.