TY - GEN
T1 - Answer set programs with one incremental variable
AU - Deng, Junjun
AU - Zhang, Yan
PY - 2014
Y1 - 2014
N2 - In the past decade, Answer Set Programming (ASP) has emerged as a popular paradigm for declarative problem solving, and a number of answer set solvers have been developed. However, most existing solvers require variables occurring in a logic program to be bounded by some finite domains, which limits their applications in one way or another. In this paper, we introduce answer set programs with one incremental variable to overcome this limitation. Based on existing ASP solving techniques, an approach to solve answer set programs with one incremental variable is proposed, and a prototype solver is then developed based on this approach. By conducting some experiments, our approach is shown to be comparable to iClingo's modular domain description approach in the incremental problem solving setting.
AB - In the past decade, Answer Set Programming (ASP) has emerged as a popular paradigm for declarative problem solving, and a number of answer set solvers have been developed. However, most existing solvers require variables occurring in a logic program to be bounded by some finite domains, which limits their applications in one way or another. In this paper, we introduce answer set programs with one incremental variable to overcome this limitation. Based on existing ASP solving techniques, an approach to solve answer set programs with one incremental variable is proposed, and a prototype solver is then developed based on this approach. By conducting some experiments, our approach is shown to be comparable to iClingo's modular domain description approach in the incremental problem solving setting.
KW - answer set programming
KW - knowledge representation
KW - logic programming
KW - problem solving
UR - http://handle.uws.edu.au:8081/1959.7/uws:29233
UR - http://bit.kuas.edu.tw/~ieaaie14/
U2 - 10.1007/978-3-319-07455-9-14
DO - 10.1007/978-3-319-07455-9-14
M3 - Conference Paper
SN - 9783319074542
SP - 128
EP - 137
BT - Modern Advances in Applied Intelligence: Proceedings of the 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014
PB - Springer
T2 - International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems
Y2 - 3 June 2014
ER -