Por favor utiliza este link para citar o compartir este documento: http://repositoriodigital.academica.mx/jspui/handle/987654321/9984
Título: G’3-Stable Semantics and Inconsistency
Semantica G3'-Estable e Inconsistencia
Autores: 
Palabras clave: G’3-stable semantics; Logic Programming; Non-Monotonic Reasoning
Semántica : G’3-estable; Programación lógica; Razonamiento No-Monótono
Fecha de publicación: 10-Sep-2011
Editorial: Computación y Sistemas
Descripción: 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.
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.
Other Identifiers: http://revistas.unam.mx/index.php/cys/article/view/17030
Aparece en las Colecciones:Computación y Sistemas

Archivos de este documento:
No hay archivos asociados a este documento.


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.