ESmodels: An Epistemic Specification Solver
This work addresses the need for experimental platforms in epistemic logic programming, offering a tool for researchers in AI and logic, but it appears incremental as it builds on existing semantics and algorithms.
The paper introduces ESmodels, a solver for epistemic specifications, tackling the problem of representing and reasoning with modal operators in logic programming by proving that a single operator K can represent others via transformation rules, and discusses applications in conformant planning and constraint satisfaction.
(To appear in Theory and Practice of Logic Programming (TPLP)) ESmodels is designed and implemented as an experiment platform to investigate the semantics, language, related reasoning algorithms, and possible applications of epistemic specifications.We first give the epistemic specification language of ESmodels and its semantics. The language employs only one modal operator K but we prove that it is able to represent luxuriant modal operators by presenting transformation rules. Then, we describe basic algorithms and optimization approaches used in ESmodels. After that, we discuss possible applications of ESmodels in conformant planning and constraint satisfaction. Finally, we conclude with perspectives.