A survey of advances in epistemic logic program solvers
This is an incremental survey for researchers in logic programming and AI, focusing on solver advancements without introducing new methods.
The paper surveys the current state of development of epistemic logic program solvers, which extend Answer Set Programming with modal operators for enhanced reasoning with incomplete information, aiming to enable practical problem-solving.
Recent research in extensions of Answer Set Programming has included a renewed interest in the language of Epistemic Specifications, which adds modal operators K ("known") and M ("may be true") to provide for more powerful introspective reasoning and enhanced capability, particularly when reasoning with incomplete information. An epistemic logic program is a set of rules in this language. Infused with the research has been the desire for an efficient solver to enable the practical use of such programs for problem solving. In this paper, we report on the current state of development of epistemic logic program solvers.