A 4-Valued Logic that Extends the Paraconsistent Logic G’3
Título del documento: A 4-Valued Logic that Extends the Paraconsistent Logic G’3
Revista: Computación y sistemas
Base de datos:
Número de sistema: 000560773
ISSN: 1405-5546
Autores: 1
2
Instituciones: 1Universidad de las Américas, Puebla. México
2Benemérita Universidad Autónoma de Puebla, Puebla, Puebla. México
Año:
Periodo: Ene-Mar
Volumen: 27
Número: 1
Paginación: 297-302
País: México
Idioma: Inglés
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.
Keyword: Knowledge representation,
Stable semantics,
Logic programming
Texto completo: Texto completo (Ver HTML) Texto completo (Ver PDF)