Effective prover for minimal inconsistency logic

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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Neto, Adolfo Gustavo Serra Seca, Finger, Marcelo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2006
Materias:
Ciencias Informáticas
Expert system tools and techniques
mbC logic
paraconsistent logic
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23968
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23968
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Expert system tools and techniques
mbC logic
paraconsistent logic
spellingShingle Ciencias Informáticas
Expert system tools and techniques
mbC logic
paraconsistent logic
Neto, Adolfo Gustavo Serra Seca
Finger, Marcelo
Effective prover for minimal inconsistency logic
topic_facet Ciencias Informáticas
Expert system tools and techniques
mbC logic
paraconsistent logic
description 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.
format Objeto de conferencia
Objeto de conferencia
author Neto, Adolfo Gustavo Serra Seca
Finger, Marcelo
author_facet Neto, Adolfo Gustavo Serra Seca
Finger, Marcelo
author_sort Neto, Adolfo Gustavo Serra Seca
title Effective prover for minimal inconsistency logic
title_short Effective prover for minimal inconsistency logic
title_full Effective prover for minimal inconsistency logic
title_fullStr Effective prover for minimal inconsistency logic
title_full_unstemmed Effective prover for minimal inconsistency logic
title_sort effective prover for minimal inconsistency logic
publishDate 2006
url http://sedici.unlp.edu.ar/handle/10915/23968
work_keys_str_mv AT netoadolfogustavoserraseca effectiveproverforminimalinconsistencylogic
AT fingermarcelo effectiveproverforminimalinconsistencylogic
bdutipo_str Repositorios
_version_ 1764820466437980160

Ejemplares similares