DSpace DSpace UPC
  Pàgina principal | Llistar continguts | Cerca avançada | Com participar-hi Català   Castellano   English  


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; Universitat Politècnica de Catalunya. KEMLG - Grup d´Enginyeria del Coneixement i Aprenentatge Automàtic
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.
Peer Reviewed
Postprint (published version)
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:


SFX Query

Tots els ítems dipositats a UPCommons estan protegits per drets d'autor.

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius