Services on Demand
Journal
Article
Indicators
Cited by SciELO
Access statistics
Related links
Similars in SciELO
Share
Computación y Sistemas
On-line version ISSN 2007-9737Print version ISSN 1405-5546
Abstract
OSORIO, Mauricio; ZEPEDA, Claudia; NIEVES, Juan Carlos and 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.
Keywords : G'3-stable semantics; Logic Programming; Non-Monotonic Reasoning.