Services on Demand
Journal
Article
Indicators
- Cited by SciELO
- Access statistics
Related links
- Similars in SciELO
Share
Computación y Sistemas
On-line version ISSN 2007-9737Print version ISSN 1405-5546
Abstract
OSORIO, Mauricio; FIGALLO-ORELLANO, Aldo and HUERTA, Diego. An Alternative Definition of Stable Models Via Łukasiewicz Logic. Comp. y Sist. [online]. 2023, vol.27, n.1, pp.303-313. Epub June 16, 2023. ISSN 2007-9737. https://doi.org/10.13053/cys-27-1-4541.
Extensions of (3-valued Gödel logic) were studied as tools for knowledge representation and nonmonotonic reasoning. One of these extensions was studied and baptized as by Osorio et al. as a tool to define semantics of logic programming. In this work, we will explore the possibility to use another fuzzy logic for knowledge representation. In particular, we show that Łukasiewicz 3-valued logic (for short, Ł3) can be used for knowledge representation based on logic programming. Firstly, we prove that the definition of stable model for Ł3 is equivalent to the obtained through for augmented programs, but when we consider more general programs we obtain more answers for stable models on Ł3 than . Finally, we present and explore a new definition of stable model based on Lukasiewicz -valued logic via the use of Monteiro-Baaz operator.
Keywords : Knowledge representation; stable semantics; Łukasiewicz logic.