Justified Answer Set Programming
Amr I. Hassan Amr I. Hassan · IOSR Journal of Computer Engineering · 2012
In answer set programming, the existence of an answer set for a logic program is not guaranteed.In order to remedy this problem, an incremental answer sets have been introduced.In this paper a concept of a justified answer set is introduced.The idea is to obtain a construct similar to justified extensions of default theories with a semi-monotonicity fixed point operator, and similarly to the concept of incremental answer sets to guarantee existence of an extension.Furthermore, at the level of fixed-points, we establish a one-to-one correspondence between justified answer sets of a logic program and justified extensions of the default theory.