Servicios Personalizados
Revista
Articulo
Indicadores
- Citado por SciELO
- Accesos
Links relacionados
- Similares en SciELO
Compartir
Computación y Sistemas
versión On-line ISSN 2007-9737versión impresa ISSN 1405-5546
Resumen
OSORIO, Mauricio y CARBALLIDO, José Luis. A 4-Valued Logic that Extends the Paraconsistent Logic G’3. Comp. y Sist. [online]. 2023, vol.27, n.1, pp.297-302. Epub 16-Jun-2023. ISSN 2007-9737. https://doi.org/10.13053/cys-27-1-4563.
We introduce a new 4-valued logic that we call . We show that is conservative extension of the 3-valued logic , which serves as the formalism to define the p-stable semantics of logic programming. possesses two negation operators. The weak negation operator that corresponds to the negation operator of . In addition, also includes a strong negation operator that is the new feature of this logic with respect to . It is well known that allowing these two negations is very useful in knowledge representation. 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 .
Palabras llave : Knowledge representation; stable semantics; logic programming.