| Revista: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560781 |
| ISSN: | 1405-5546 |
| Autores: | Osorio, Mauricio1 Orellano, Aldo Figallo2 Huerta, Diego1 |
| Instituciones: | 1Universidad de las Américas, Departamento de Actuaría, Física y Matemáticas, Cholula, Puebla. México 2Universidade Federal do Rio Grande do Norte, Departamento de Informatica e Matematica 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 |
| Tipo de documento: | Artículo |
| 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. |
| Disciplinas: | Ciencias de la computación, Filosofía |
| Palabras clave: | Programación, Lógica |
| Keyword: | Programming, Logic |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
