Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto


Mostrar registro sencillo 2004-05-06T21:23:38Z 2004-05-06T03:00:00Z 2000
dc.description.abstract Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a defeasible argumentation formalism, could take full advantage of this type of parallel evaluation to improve the computational response of its proof procedure. In a defeasible argumentation formalism, a conclusion q is accepted only when the argument A that supports q becomes a justification. To decide if an argument A is a justification a dialectical analysis is performed. This analysis considers arguments and counter-arguments. DLP extends conventional Logic Programming, capturing common sense reasoning features, and providing a knowledge representation language for defeasible argumentation. Since DLP is an extension of Logic Programming, the different types of parallelism studied for Logic Programming could be applied. We propose new sources of parallelism that can be implicitly exploited in the defeasible argumentation formalism implemented through DLP. Both the argumentation process and the dialectical analysis benefit from exploiting those sources of parallelism. en
dc.format.extent 15 p. es
dc.language en es
dc.title Parallel defeasible argumentation en
dc.type Articulo es
sedici.identifier.uri es
sedici.identifier.issn 1666-6038 es
sedici.creator.person García, Alejandro Javier es
sedici.creator.person Simari, Guillermo Ricardo es
sedici.subject.materias Ciencias Informáticas es
sedici.subject.keyword defeasible reasoning; argumentation; parallel logic programming en
sedici.description.fulltext true es Facultad de Informática es
sedici.subtype Articulo es
sedici.rights.license Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)
sedici.description.peerReview peer-review es
sedici2003.identifier ARG-UNLP-ART-0000000232 es
sedici.relation.journalTitle Journal of Computer Science & Technology es
sedici.relation.journalVolumeAndIssue vol. 1, no. 2 es
sedici.subject.acmcss98 Logic programming es
sedici.subject.acmcss98 Parallel programming es
sedici.subject.acmcss98 Distributed Artificial Intelligence es

Descargar archivos

Este ítem aparece en las siguientes colecciones:

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)