ALPSolver: A Solver for Assumable Logic Programming
Zhizheng Zhang, Jiayi Chen, Huangdezhong Tian · 2024
Assumable Logic Programming (ALP), an extension of Answer Set Programming (ASP), has been theoretically demonstrated to possess significant advantages in addressing problems involving incomplete information. Therefore, the development of ALP solvers is urgently needed to facilitate further research and applications. This paper proposes a solving algorithm named Answer Set Based View Search (ASBVS) and its optimization to compute the results of ALP programs. Based on this, the ALPSolver has been implemented and integrated into an online platform for public use. This paper experimentally validates the correctness of the solving algorithm and confirms the advantages of ALP in handling default information, indirect exception and abductive reasoning. Additionally, the experimental results demonstrate the effectiveness of the optimization algorithm, with a notable increase in efficiency as the problem scale increases.