G’3-stable semantics and inconsistency
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/15299
Tipus de documentArticle
Data publicació2009-09-01
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which is called G’3-stable semantics. This semantics defines a frame for performing non-monotonic reasoning in domains which are pervaded with vagueness and inconsistencies. In fact, we show that, by considering also a possibilistic logic point of view, one can use this extended framework for defining a possibilistic logic programming approach able to deal with reasoning, which is at the same time non-monotonic and uncertain.
CitacióOsorio, M. [et al.]. G’3-stable semantics and inconsistency. "Computación y sistemas", 01 Setembre 2009, vol. 13, núm. 1, p. 75-86.
ISSN1405-5546
Versió de l'editorhttp://revistas.unam.mx/index.php/cys/article/view/17030
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
17030-23018-1-PB.pdf | 198,3Kb | Visualitza/Obre |