Carregant...
Carregant...

Vés al contingut (premeu Retorn)

G’3-stable semantics and inconsistency

Autor
Osorio, M.; Zepeda, C.; NIEVES, J. C.; Carballido, J.
Tipus d'activitat
Article en revista
Revista
Computación y sistemas
Data de publicació
2009-09-01
Volum
13
Número
1
Pàgina inicial
75
Pàgina final
86
Repositori
http://hdl.handle.net/2117/15299 Obrir en finestra nova
URL
http://revistas.unam.mx/index.php/cys/article/view/17030 Obrir en finestra nova
Resum
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 framewor...
Citació
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.
Grup de recerca
KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic

Participants

  • Osorio Galindo, Mauricio  (autor)
  • Zepeda, Claudia  (autor)
  • Nieves Sánchez, Juan Carlos  (autor)
  • Carballido, José Luis  (autor)

Arxius