The expressive power of “possible-is-certain” semantics

Abstract

The partial stable models of a logic program form a class of models that include the (unique) well-founded model, total stable models and other two interesting subclasses: maximal stable models and least undefined stable models. As stable models different from the wellfounded are not unique, DATALOG¬ queries do not in general correspond to functions. The question is: what is the expressive powers of the various types of stable models when they are restricted to the class of all functional queries? The paper shows that this power does not go in practice beyond the one of stratified queries, except for least undefined stable models which, instead, capture the whole boolean hierarchy \(\mathcal{B}\mathcal{H}\). Finally, it is illustrated how the latter result can be used to design a ”functional” language which, by means of a disciplined usage of negation, allows to achieve the desired level of expressiveness up to \(\mathcal{B}\mathcal{H}\)so that exponential time resolution is eventually enabled only for hard problems.