2009 | OriginalPaper | Buchkapitel
On the Declarative Semantics of Multi-Adjoint Logic Programs
verfasst von : P. Julián, G. Moreno, J. Penabad
Erschienen in: Bio-Inspired Systems: Computational and Ambient Intelligence
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
The notion of least Herbrand model has been traditionally accepted as the declarative semantics for programs in the context of pure logic programming. Some adaptations of this concept, using model-theory, were made for a few number of fuzzy logic programming frameworks in the recent years. Unfortunately, this is not the case of multi-adjoint logic programming, one of the most expressive, powerful approaches for fuzzifying logic programming. To fulfill this gap, in this paper we propose a declarative semantics for such kind of fuzzy logic programs based on the so-called least fuzzy Herbrand model. We prove and important “minimality” property of our construction which can not trivially be inherited from pure logic programming. Moreover, apart from relating our notion with other existing procedural and fix-point semantics (what is also instrumental to prove its properties), we provide evident cases where our construction exists even when the rest of the aforementioned fuzzy semantics remain undefined.