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. Semantica G3 '-Estable e Inconsistencia. Comp. y Sist. [online]. 2009, vol.13, n.1, pp.75-86. ISSN 1405-5546.

Presentamos un resumen acerca de cómo realizar razonamiento no-monótono basado en lógicas paraconsistentes. En particular, mostramos que es posible definir una semántica de programación lógica basada en la lógica paraconsistente G'3, la cual es llamada semántica G'3-estable. Esta semántica define un marco para realizar razonamiento no-monótono en dominios los cuales están plagados de vaguedades e inconsistencias. De hecho, mostramos que al considerar también un punto de vista lógico posibilista, es posible usar la extensión de este marco de trabajo para definir un enfoque de programación lógica posibilístico que puede tratar con razonamiento que es al mismo tiempo no monótono e incierto.

Keywords : Semántica : G'3-estable; Programación lógica; Razonamiento No-Monótono.

        · abstract in English     · 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