ESParser: An Epistemic Specification Grounder
Rongcun Cui, Zhizheng Zhang, Kaikai Zhao · 2012
As an extension of answer set programs, the language of epistemic specifications has gained popularity in the last years due to its strong expressive power of representing knowledge. As its semantics is defined on the grounded epistemic specifications, GROUNDING is an important stage in the evaluation of the language. Therefore, efficient grounding will promote the whole evaluation greatly. In this paper, we propose a grounding approach for epistemic specifications by using forward inference techniques. We introduce a grounding algorithm detailedly as well as the implementation of an ES grounder: ESParser. Indeed, this work is a part of our projects of an epistemic specification solver development. As to our knowledge, there is no other ES grounders published and illustrated so far.