| Títol: | G’3-stable semantics and inconsistency |
| Autor: | Osorio, Mauricio
Zepeda, Claudia
Nieves Sánchez, Juan Carlos
Carballido, José Luis |
| Altres autors/autores: | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
| Matèries: | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement
G’3-stable semantics
Logic programming
Non-monotonic reasoning
Programació lògica
Lògica no-monòtona |
| Tipus de document: | Article |
| Descripció: | 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. |
| Altres identificadors i accés: | Osorio, M. [et al.]. G’3-stable semantics and inconsistency. "Computación y sistemas", 01 Setembre 2009, vol. 13, núm. 1, p. 75-86.
1405-5546
http://hdl.handle.net/2117/15299 |
| Disponible al dipòsit: | E-prints UPC
|
| Comparteix: |
|
Tots els ítems dipositats a UPCommons estan protegits per drets d'autor.
|
