Axiomatization of Aggregates in Answer Set Programming

被引：0
作者：
Fandinno, Jorge [1 ]
Hansen, Zachary [1 ]
Lierler, Yuliya [1 ]
机构：
[1] Univ Nebraska, Omaha, NE 68182 USA
来源：
THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / THE TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE | 2022年
关键词：
VICIOUS CIRCLE PRINCIPLE; LOGIC-PROGRAMS; INTENSIONAL SETS; SEMANTICS; ASP;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper presents a characterization of logic programs with aggregates based on a many-sorted generalization of operator SM that refers neither to grounding nor to fixpoints. This characterization introduces new function symbols for aggregate operations and aggregate elements, whose meaning can be fixed by adding appropriate axioms to the result of the SM transformation. We prove that for programs without positive recursion through aggregates our semantics coincides with the semantics of the answer set solver dingo.
引用
收藏
页码：5634 / 5641
页数：8
相关论文
共 23 条
[11]   Stable models and circumscription [J].
Ferraris, Paolo ;
Lee, Joohyung ;
Lifschitz, Vladimir .
ARTIFICIAL INTELLIGENCE, 2011, 175 (01) :236-263
[12]  
Fox D., 2008, P 23 NAT C ART INT A
[13]   Abstract gringo [J].
Gebser, Martin ;
Harrison, Amelia ;
Kaminski, Roland ;
Lifschitz, Vladimir ;
Schaub, Torsten .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 :449-463
[14]   Vicious circle principle, aggregates, and formation of sets in ASP based languages [J].
Gelfond, Michael ;
Zhang, Yuanlin .
ARTIFICIAL INTELLIGENCE, 2019, 275 :28-77
[15]   Vicious Circle Principle and Logic Programs with Aggregates [J].
Gelfond, Michael ;
Zhang, Yuanlin .
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 :587-601
[16]  
Kovacs Laura, 2013, Computer Aided Verification. 25th International Conference, CAV 2013. Proceedings. LNCS 8044, P1, DOI 10.1007/978-3-642-39799-8_1
[17]  
Lee J, 2011, J ARTIF INTELL RES, V42, P125
[18]  
Lifschitz V., 2008, P 23 NATL C ARTIFICI, V3, P1594
[19]  
Lifschitz Vladimir, 2019, Answer Set Programming. Answer Set Programming
[20]   A First Order Nonmonotonic Extension of Constructive Logic [J].
David Pearce ;
Agustín Valverde .
Studia Logica, 2005, 80 (2-3) :321-346
123