Mostra el registre d'ítem simple
G’3-stable semantics and inconsistency
dc.contributor.author | Osorio, Mauricio |
dc.contributor.author | Zepeda, Claudia |
dc.contributor.author | Nieves Sánchez, Juan Carlos |
dc.contributor.author | Carballido, José Luis |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
dc.date.accessioned | 2012-02-22T10:03:54Z |
dc.date.available | 2012-02-22T10:03:54Z |
dc.date.created | 2009-09-01 |
dc.date.issued | 2009-09-01 |
dc.identifier.citation | 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. |
dc.identifier.issn | 1405-5546 |
dc.identifier.uri | http://hdl.handle.net/2117/15299 |
dc.description.abstract | 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. |
dc.format.extent | 12 p. |
dc.language.iso | eng |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial::Representació del coneixement |
dc.subject.lcsh | G’3-stable semantics |
dc.subject.lcsh | Logic programming |
dc.subject.lcsh | Non-monotonic reasoning |
dc.title | G’3-stable semantics and inconsistency |
dc.type | Article |
dc.subject.lemac | Programació lògica |
dc.subject.lemac | Lògica no-monòtona |
dc.contributor.group | Universitat Politècnica de Catalunya. KEMLG - Grup d'Enginyeria del Coneixement i Aprenentatge Automàtic |
dc.description.peerreviewed | Peer Reviewed |
dc.relation.publisherversion | http://revistas.unam.mx/index.php/cys/article/view/17030 |
dc.rights.access | Open Access |
local.identifier.drac | 8787417 |
dc.description.version | Postprint (published version) |
local.citation.author | Osorio, M.; Zepeda, C.; NIEVES, J. C.; Carballido, J. |
local.citation.publicationName | Computación y sistemas |
local.citation.volume | 13 |
local.citation.number | 1 |
local.citation.startingPage | 75 |
local.citation.endingPage | 86 |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Articles de revista [1.049]
-
Articles de revista [124]