92
Views
18
CrossRef citations to date
0
Altmetric
Section A

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

&
Pages 310-324 | Received 24 Sep 2010, Accepted 01 Apr 2011, Published online: 14 Jul 2011
 

Abstract

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.

2000 AMS Subject Classifications :

Acknowledgements

This work was partially supported by the Spanish Ministry of Science project TIN09-14562-C05-01 and Junta de Andalucía projects FQM-2049 and FQM-5233.

Notes

Note the overloaded use of the negation symbol, as a syntactic function in the formulas and as the algebraic negation in the truth-values.

The values are approximated to two digits precision.

If p does not appear in the head of any rule then .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.