On the existence and unidty of stable models in normal residuated logic programs

摘要

We introduce a sufficient condition which guarantees the existence of stable models for a normal residuated logic program interpreted on the truth-space [0,1]~n. Specifically, the continuity of the connectives involved in the program ensures the existence of stable models. Then, we study conditions which guarantee the uniqueness of stable models in the particular case of the product f-norm, its residuated implication and the standard negation.