Matrix proof method in annotated paraconsistent logic
- Autores
- Kaestner, Celso A. A.
- Año de publicación
- 1995
- Idioma
- inglés
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- 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.
Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Paraconsistent Logics
ARTIFICIAL INTELLIGENCE
Annotated Logics
Thcorem Proving
Matrix Connection Method - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24320
Ver los metadatos del registro completo
| id |
SEDICI_85eed13b553210beebb0eb449a6876b7 |
|---|---|
| oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24320 |
| network_acronym_str |
SEDICI |
| repository_id_str |
1329 |
| network_name_str |
SEDICI (UNLP) |
| spelling |
Matrix proof method in annotated paraconsistent logicKaestner, Celso A. A.Ciencias InformáticasParaconsistent LogicsARTIFICIAL INTELLIGENCEAnnotated LogicsThcorem ProvingMatrix Connection MethodThe 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.Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificialRed de Universidades con Carreras en Informática (RedUNCI)1995-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf416-425http://sedici.unlp.edu.ar/handle/10915/24320enginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T10:55:49Zoai:sedici.unlp.edu.ar:10915/24320Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 10:55:50.202SEDICI (UNLP) - Universidad Nacional de La Platafalse |
| dc.title.none.fl_str_mv |
Matrix proof method in annotated paraconsistent logic |
| title |
Matrix proof method in annotated paraconsistent logic |
| spellingShingle |
Matrix proof method in annotated paraconsistent logic Kaestner, Celso A. A. Ciencias Informáticas Paraconsistent Logics ARTIFICIAL INTELLIGENCE Annotated Logics Thcorem Proving Matrix Connection Method |
| 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 |
| dc.creator.none.fl_str_mv |
Kaestner, Celso A. A. |
| author |
Kaestner, Celso A. A. |
| author_facet |
Kaestner, Celso A. A. |
| author_role |
author |
| dc.subject.none.fl_str_mv |
Ciencias Informáticas Paraconsistent Logics ARTIFICIAL INTELLIGENCE Annotated Logics Thcorem Proving Matrix Connection Method |
| topic |
Ciencias Informáticas Paraconsistent Logics ARTIFICIAL INTELLIGENCE Annotated Logics Thcorem Proving Matrix Connection Method |
| dc.description.none.fl_txt_mv |
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. Eje: 2do. Workshop sobre aspectos teóricos de la inteligencia artificial Red de Universidades con Carreras en Informática (RedUNCI) |
| 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. |
| publishDate |
1995 |
| dc.date.none.fl_str_mv |
1995-10 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
| format |
conferenceObject |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/24320 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24320 |
| dc.language.none.fl_str_mv |
eng |
| language |
eng |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
| dc.format.none.fl_str_mv |
application/pdf 416-425 |
| dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
| reponame_str |
SEDICI (UNLP) |
| collection |
SEDICI (UNLP) |
| instname_str |
Universidad Nacional de La Plata |
| instacron_str |
UNLP |
| institution |
UNLP |
| repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
| repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
| _version_ |
1844615817658892288 |
| score |
13.070432 |