To access the full text documents, please follow this link: http://hdl.handle.net/2117/15299

G’3-stable semantics and inconsistency
Osorio, Mauricio; Zepeda, Claudia; Nieves Sánchez, Juan Carlos; Carballido, José Luis
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic
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.
Peer Reviewed
À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
info:eu-repo/semantics/publishedVersion
Article
         

Show full item record

Related documents

Other documents of the same author

Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Carballido, José Luis
Osorio, Mauricio; Nieves Sánchez, Juan Carlos; Gómez Sebastià, Ignasi
Aulinas, Montse; Nieves Sánchez, Juan Carlos; Cortés García, Claudio Ulises; Poch, Manel
Palau, Manel; Gómez Sebastià, Ignasi; Ceccaroni, Luigi; Vázquez Salceda, Javier; Nieves Sánchez, Juan Carlos
 

Coordination

 

Supporters