| Revue: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560781 |
| ISSN: | 1405-5546 |
| Autores: | Osorio, Mauricio1 Figallo Orellano, Aldo2 Huerta, Diego1 |
| Instituciones: | 1Universidad de las Américas, Departamento de Actuaría Física y Matemáticas, México 2Universidade Federal do Rio Grande do Norte, Departamento de Informática e Matemática Aplicada, Rio Grande do Norte. Brasil |
| Año: | 2023 |
| Periodo: | Ene-Mar |
| Volumen: | 27 |
| Número: | 1 |
| Paginación: | 303-313 |
| País: | México |
| Idioma: | Inglés |
| Resumen en inglés | Extensions of G 3 (3-valued Gödel logic) were studied as tools for knowledge representation and nonmonotonic reasoning. One of these extensions was studied and baptized as G ′ 3 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 G 3 for augmented programs, but when we consider more general programs we obtain more answers for stable models on Ł3 than G 3. Finally, we present and explore a new definition of stable model based on Lukasiewicz n-valued logic via the use of Monteiro-Baaz Δ operator. |
| Keyword: | Knowledge representation, Stable semantics, Łukasiewicz logic |
| Texte intégral: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
