On the existence and unicity of stable models in normal residuated logic programs-CMMSE'10

Manuel Ojeda-Aciego (1) , Nicolás Madrid (1)

1 Universidad de Málaga [Málaga] = University of Málaga [Málaga]

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 t-norm, its residuated implication, and the standard negation.

Mots clés: Physical Sciences

Domaines: Informatique [cs]

Manuel Ojeda-Aciego, Nicolás Madrid. On the existence and unicity of stable models in normal residuated logic programs-CMMSE'10. International Journal of Computer Mathematics, 2011, pp.1. ⟨10.1080/00207160.2011.580842⟩. ⟨hal-00717918⟩