×

兹马思-数学第一资源

回归xorro公司.(英语) Zbl公司 07115981
Balduccini,Marcello(ed.)等人,《逻辑程序设计与非单调推理》。第15届国际会议,LPNMR 2019,美国宾夕法尼亚州费城,2019年6月3日至7日。诉讼程序。查姆:斯普林格(ISBN 978-3-030-20527-0/pbk;978-3-030-20528-7/电子书)。计算机科学课堂讲稿11481。人工智能课堂讲稿,284-297(2019年)。
摘要:尽管奇偶性约束是许多相关推理模式(如采样或模型计数)的核心,但到目前为止,很少有人将其集成到ASP系统中。我们解决了这个缺点,并研究了实现奇偶约束的各种替代方法,从相当基本的ASP编码到更复杂的理论传播器(以Gauss-Jordan消去为特征)。它们都在xorro公司系统基于ASP系统的理论推理能力保鲜膜. 我们的比较实证研究探讨了奇偶性约束的数量和大小对性能的影响,并指出了各自实现技术的优点。最后,我们从平价约束中受益xorro公司通过对答案集进行抽样,为ASP的新应用铺平了道路。
整个系列请参见[Zbl 1410.68009].
理学硕士:
68N17 逻辑程序设计
68T27型 人工智能中的逻辑
PDF格式 BibTeX公司 XML 引用
全文: 内政部