Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2004-05-06T21:23:38Z
dc.date.available 2004-05-06T03:00:00Z
dc.date.issued 2000
dc.identifier.uri http://hdl.handle.net/10915/9387
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 es
dc.type Articulo es
sedici.identifier.uri http://journal.info.unlp.edu.ar/journal/journal2/papers/parallel.pdf 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.descriptores Argumentación es
sedici.subject.descriptores Programación lógica es
sedici.subject.descriptores Programación paralela es
sedici.subject.descriptores Inteligencia artificial es
sedici.subject.keyword defeasible reasoning; argumentation; parallel logic programming es
sedici.description.fulltext true es
mods.originInfo.place 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.rights.uri http://creativecommons.org/licenses/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 no. 2 es


Files in this item

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial 3.0 Unported (CC BY-NC 3.0)