| Revista: | Computación y sistemas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000328692 |
| ISSN: | 1405-5546 |
| Autors: | Osorio, Mauricio1 Zepeda, Claudia2 Nieves, Juan Carlos3 Carballido, José Luis2 |
| Institucions: | 1Universidad de las Américas, Puebla. México 2Benemérita Universidad Autónoma de Puebla, Facultad de Ciencias de la Computación, Puebla. México 3Universitat Politecnica de Catalunya, Departament de Software, Barcelona. España |
| Any: | 2009 |
| Període: | Jul-Sep |
| Volum: | 13 |
| Número: | 1 |
| Paginació: | 75-86 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Enfoque: | Descriptivo, aplicado |
| Resumen en español | 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 |
| Resumen en inglés | 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 |
| Disciplines | Ciencias de la computación |
| Paraules clau: | Semántica, Programación lógica |
| Keyword: | Computer science, Semantics, Logic programming |
| Text complet: | Texto completo (Ver HTML) |
