Proof of the Soundness and Completeness of ILASP 2
Proof of the Soundness and Completeness of ILASP 2
复制标题
ILASP 2 健全性和完整性的证明
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Alex Wong
中科院分区：
文献类型：
--
作者：
Jazmin Romero;Md. Tanvir Islam;Ryan J. Taylor;Cathryn Grayson;Andrew Schoenrock;Alex Wong
在本文档中，我们提供了 ILASP2（答案集程序归纳学习）算法的健全性和完整性的证明，该算法在《学习答案集编程中的弱约束》一文中被省略。 ILASP2可以学习有普通规则、约束、选择规则和弱约束的ASP程序。
In this document we provide the proofs of soundness and completeness of the ILASP2 (Inductive Learning of Answer Set Programs) algorithm which were omitted from the paper Learning Weak Constraints in Answer Set Programming. ILASP2 can learn ASP programs with normal rules, constraints, choice rules and weak constraints.