\input zb-basic
\input zb-ioport
\iteman{io-port 06035332}
\itemau{Madrid, Nicol\'as; Ojeda-Aciego, Manuel}
\itemti{On the existence and unicity of stable models in normal residuated logic programs.}
\itemso{Int. J. Comput. Math. 89, No. 3, 310-324 (2012).}
\itemab
Summary: 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.
\itemrv{~}
\itemcc{}
\itemut{stable models; residuated logic programming; fuzzy logic programming; existence of models; uniqueness of models}
\itemli{doi:10.1080/00207160.2011.580842}
\end