Artículo

Semantica G3'-Estable e Inconsistencia

Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN, publicado en Computación y Sistemas, y cosechado de Revistas UNAM

Procedencia del contenido

Entidad o dependencia
Centro de Investigación en Computación, Dirección General de Servicios de Cómputo Académico, IPN
Revista
Repositorio
Contacto
Revistas UNAM. Dirección General de Publicaciones y Fomento Editorial, UNAM en revistas@unam.mx

Cita

Semantica G3'-Estable e Inconsistencia. (2010). Computación y Sistemas; Vol 13, No 001, 2009. Recuperado de https://repositorio.unam.mx/contenidos/29489

Descripción del recurso

Colaborador(es)
Carballido, José Luis ; Osorio, Mauricio ; Zepeda, Claudia ; Nieves, Juan Carlos
Tipo
Artículo de Investigación
Área del conocimiento
Ciencias Sociales y Económicas
Título
Semantica G3'-Estable e Inconsistencia
Fecha
2010-04-27
Resumen
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.
Tema
Semántica : G’3-estable; Programación Lógica; Razonamiento No-monótono
Idioma
spa
ISSN
1405-5546

Enlaces