Resumo

OSORIO, Mauricio; ZEPEDA, Claudia; NIEVES, Juan Carlos  e  CARBALLIDO, José Luis. G'₃-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'₃ which is called G'₃-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.

Palavras-chave : G'₃-stable semantics; Logic Programming; Non-Monotonic Reasoning.

        · resumo em Espanhol     · texto em Inglês     · Inglês ( pdf )