Revista: | Computación y sistemas |
Base de datos: | |
Número de sistema: | 000560773 |
ISSN: | 1405-5546 |
Autores: | Osorio, Mauricio1 Carballido, José Luis2 |
Instituciones: | 1Universidad de las Américas, Puebla. México 2Benemérita Universidad Autónoma de Puebla, Puebla. México |
Año: | 2023 |
Periodo: | Ene-Mar |
Volumen: | 27 |
Número: | 1 |
Paginación: | 297-302 |
País: | México |
Idioma: | Inglés |
Tipo de documento: | Artículo |
Resumen en inglés | We introduce a new 4-valued logic that we call M 4 M 4. We show that M 4 M 4 is conservative extension of the 3-valued logic G ′ 3, which serves as the formalism to define the p-stable semantics of logic programming. M 4 M 4 possesses two negation operators. The weak negation operator that corresponds to the negation operator of G ′ 3. In addition, M 4 M 4 also includes a strong negation operator that is the new feature of this logic with respect to G ′ 3. It is well known that allowing these two negations is very useful in knowledge representation. M 4 M 4 can be used as the formalism to define the p-stable semantics as well as the stable semantics. We also present other suitable properties of M 4 M 4. |
Disciplinas: | Ciencias de la computación, Filosofía |
Palabras clave: | Teoría de la computación, Lógica |
Keyword: | Computer theory, Logic |
Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |