Busque entre los 156185 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2012-11-09T14:11:27Z | |
dc.date.available | 2012-11-09T14:11:27Z | |
dc.date.issued | 2006-08 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/23968 | |
dc.description.abstract | In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many applications in Arti cial Intelligence such as in belief revision, inconsistent knowledge reasoning, and logic programming. We have implemented the KEMS prover for mbC, a theorem prover based on the KE tableau method for mbC. We show here that the proof system on which this prover is based is sound, complete and analytic. To evaluate the KEMS prover for mbC, we devised four families of mbC-valid formulas and we present here the rst benchmark results using these families. | en |
dc.language | en | es |
dc.subject | Expert system tools and techniques | es |
dc.subject | mbC logic | en |
dc.subject | paraconsistent logic | en |
dc.title | Effective prover for minimal inconsistency logic | en |
dc.type | Objeto de conferencia | es |
sedici.identifier.isbn | 0-387-34654-6 | es |
sedici.creator.person | Neto, Adolfo Gustavo Serra Seca | es |
sedici.creator.person | Finger, Marcelo | es |
sedici.description.note | IFIP International Conference on Artificial Intelligence in Theory and Practice - Expert Systems | es |
sedici.subject.materias | Ciencias Informáticas | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Red de Universidades con Carreras en Informática (RedUNCI) | es |
sedici.subtype | Objeto de conferencia | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
sedici.date.exposure | 2006-08 | |
sedici.relation.event | 19 th IFIP World Computer Congress - WCC 2006 | es |
sedici.description.peerReview | peer-review | es |