Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)

Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)

Yi-Dong Shen, Thomas Eiter

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Journal track. Pages 5060-5064. https://doi.org/10.24963/ijcai.2017/722

Epistemic negation 'not' along with default negation 'neg' plays a key role in knowledge representation and nonmonotonic reasoning. However, the existing approaches behave not satisfactorily in that they suffer from the problems of unintended world views due to recursion through the epistemic modal operator K or M ( K F and M F are shorthands for (neg not F) and (not neg F), respectively). In this paper we present a general approach to epistemic negation which is free of unintended world views and thus offers a solution to the long-standing problem of epistemic specifications which were introduced by Gelfond 1991 over two decades ago.
Keywords:
Knowledge Representation, Reasoning, and Logic: Non-monotonic Reasoning
Knowledge Representation, Reasoning, and Logic: Knowledge Representation Languages