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; ZEPEDA, Claudia; NIEVES, Juan Carlos y CARBALLIDO, José Luis. G'3-Stable Semantics and Inconsistency. Comp. y Sist. [online]. 2009, vol.13, n.1, pp.75-86. ISSN 2007-9737.
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.
Palabras llave : G'3-stable semantics; Logic Programming; Non-Monotonic Reasoning.