Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Computación y Sistemas
versão On-line ISSN 2007-9737versão impressa ISSN 1405-5546
Resumo
OSORIO, Mauricio; ZEPEDA, Claudia; NIEVES, Juan Carlos e CARBALLIDO, José Luis. Semantica G3 '-Estable e Inconsistencia. Comp. y Sist. [online]. 2009, vol.13, n.1, pp.75-86. ISSN 2007-9737.
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.
Palavras-chave : Semántica : G'3-estable; Programación lógica; Razonamiento No-Monótono.