Default negation in Normal Logic Programs considered as minimal abduction of positive hypotheses

Logic Programs (LPs) are a practical tool for declarative knowledge representation and consist of normal rules and Integrity Constraints (ICs). Reasoning with LPs is parameterized by the particular semantics chosen. But the declaratively of the knowledge represented by an LP is restricted if the semantics chosen for the normal rules allows them to play the role ICs already can have. Namely because odd loops over negation, such as in program {p← not p}, are conducive to the absence of 2-valued semantics models. Here we propose a more flexible reading of default negation, such that NLPs always have a 2-valued model before ICs are evaluated. To wit, we do so by allowing for minimally assuming (or abducing) positive hypotheses and hence still maximising the assumption of negative hypotheses that preserve consistency. We show how that translates into a semantics for Normal Logic Programs (NLPs) – the Minimal Hypotheses (MH) semantics – which safeguards declarativity in this sense and moreover enjoys useful semantic properties such as cumulativity and relevancy, besides existence. Moreover, we introduce a program transformation which allows to compute the MH models of a program as a selection of the Stable Models of the transform.