A 4-Valued Logic that Extends the Paraconsistent Logic G’3
Document title: A 4-Valued Logic that Extends the Paraconsistent Logic G’3
Journal: Computación y sistemas
Database:
System number: 000560773
ISSN: 1405-5546
Authors: 1
2
Institutions: 1Universidad de las Américas, Puebla. México
2Benemérita Universidad Autónoma de Puebla, Puebla, Puebla. México
Year:
Season: Ene-Mar
Volumen: 27
Number: 1
Pages: 297-302
Country: México
Language: Inglés
English abstract 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
Full text: Texto completo (Ver HTML) Texto completo (Ver PDF)