Artículos de revistas
Semantica G3'-Estable e Inconsistencia
G’3-Stable Semantics and Inconsistency
Autor
Osorio, Mauricio
Zepeda, Claudia
Nieves, Juan Carlos
Carballido, José Luis
Institución
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. 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.