TY  - GEN
A1  - Cabalar, Pedro
A1  - Fandinno, Jorge
A1  - Schaub, Torsten H.
A1  - Schellhorn, Sebastian
T1  - Lower Bound Founded Logic of Here-and-There
T2  - Logics in Artificial Intelligence
N2  - A distinguishing feature of Answer Set Programming is that all atoms belonging to a stable model must be founded. That is, an atom must not only be true but provably true. This can be made precise by means of the constructive logic of Here-and-There, whose equilibrium models correspond to stable models. One way of looking at foundedness is to regard Boolean truth values as ordered by letting true be greater than false. Then, each Boolean variable takes the smallest truth value that can be proven for it. This idea was generalized by Aziz to ordered domains and applied to constraint satisfaction problems. As before, the idea is that a, say integer, variable gets only assigned to the smallest integer that can be justified. In this paper, we present a logical reconstruction of Aziz’ idea in the setting of the logic of Here-and-There. More precisely, we start by defining the logic of Here-and-There with lower bound founded variables along with its equilibrium models and elaborate upon its formal properties. Finally, we compare our approach with related ones and sketch future work.
Y1  - 2019
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/50588
SN  - 978-3-030-19570-0
SN  - 978-3-030-19569-4
SN  - 0302-9743
SN  - 1611-3349
VL  - 11468
SP  - 509
EP  - 525
PB  - Springer
CY  - Cham
ER  -