SciELO - Scientific Electronic Library Online

 
vol.13 issue1Pattern Recognition for Micro Workpieces ManufacturingUsing Simulated Annealing with a Neighborhood Heuristic for Roll Cutting Optimization author indexsubject indexsearch form
Home Pagealphabetic serial listing  

Services on Demand

Journal

Article

Indicators

Related links

  • Have no similar articlesSimilars in SciELO

Share


Computación y Sistemas

Print 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 1405-5546.

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.

        · abstract in Spanish     · text in English     · English ( pdf )

 

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License