Matrix proof method in annotated paraconsistent logic

The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to the particular case of sorne annotated propositi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Kaestner, Celso A. A.
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 1995
Materias:
Ciencias Informáticas
Paraconsistent Logics
ARTIFICIAL INTELLIGENCE
Annotated Logics
Thcorem Proving
Matrix Connection Method
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24320
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24320
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
Paraconsistent Logics
ARTIFICIAL INTELLIGENCE
Annotated Logics
Thcorem Proving
Matrix Connection Method
spellingShingle Ciencias Informáticas
Paraconsistent Logics
ARTIFICIAL INTELLIGENCE
Annotated Logics
Thcorem Proving
Matrix Connection Method
Kaestner, Celso A. A.
Matrix proof method in annotated paraconsistent logic
topic_facet Ciencias Informáticas
Paraconsistent Logics
ARTIFICIAL INTELLIGENCE
Annotated Logics
Thcorem Proving
Matrix Connection Method
description The matrix connection method (MCM) is an alternative procedure for theorem proving than the usual resolution technique. We already have used the MCM for finding models in a real-time knowledge-based system generator. In this paper, we adapt the MCM to the particular case of sorne annotated propositional paraconsistent logics. Further developments related to these ideas are also outlined.
format Objeto de conferencia
Objeto de conferencia
author Kaestner, Celso A. A.
author_facet Kaestner, Celso A. A.
author_sort Kaestner, Celso A. A.
title Matrix proof method in annotated paraconsistent logic
title_short Matrix proof method in annotated paraconsistent logic
title_full Matrix proof method in annotated paraconsistent logic
title_fullStr Matrix proof method in annotated paraconsistent logic
title_full_unstemmed Matrix proof method in annotated paraconsistent logic
title_sort matrix proof method in annotated paraconsistent logic
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24320
work_keys_str_mv AT kaestnercelsoaa matrixproofmethodinannotatedparaconsistentlogic
bdutipo_str Repositorios
_version_ 1764820466959122433

Ejemplares similares