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
Descripción
Sumario: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.

Ejemplares similares