Sources of parallelism in defeasible argumentation
In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of a non-defeated argument A for...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Inglés |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24872 |
| Aporte de: |
| id |
I19-R120-10915-24872 |
|---|---|
| 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 Informática Parallelism and concurrency defeasible reasoning argumentation |
| spellingShingle |
Ciencias Informáticas Informática Parallelism and concurrency defeasible reasoning argumentation García, Alejandro Javier Simari, Guillermo Ricardo Sources of parallelism in defeasible argumentation |
| topic_facet |
Ciencias Informáticas Informática Parallelism and concurrency defeasible reasoning argumentation |
| description |
In a defeasible argumentation formalism, an argument is used as a defeasible reason for supporting conclusions. A conclusion q will be considered valid only when the argument that supports it become a justification. Building a justification involves the construction of a non-defeated argument A for q. In order to establish that A is a non-defeated argument, the system look for conterarguments that could be defeaters for A. Since defeaters are arguments, there may exist defeaters for the defeaters, an so on, thus requiring a complete dialectical analysis. The language of Deafeasible Logic Programming (an extension of logic programming) provides a knowledge representation language for defeasible argumentation.
In Logic programming, different kinds o parallelism have been studied, OR-parallelism, indepedent an dependent AND-parallelism, an also unification parallelism. All of these type of parallelism are at the language level.
In this work we introduce different kinds of parallelism that could de exploited at different levels in a defeasible argumentation system. At the language level, all types of parallelism identified for logic programming can be used. Besides, several arguments for a conclusion q can be constructed in parallel. Once an argument A for q is found, defeaters for A could be searched in parallel.
Finally, several argumentation lines in the dialectical analysis between arguments and defeaters, could be explored in parallel. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
García, Alejandro Javier Simari, Guillermo Ricardo |
| author_facet |
García, Alejandro Javier Simari, Guillermo Ricardo |
| author_sort |
García, Alejandro Javier |
| title |
Sources of parallelism in defeasible argumentation |
| title_short |
Sources of parallelism in defeasible argumentation |
| title_full |
Sources of parallelism in defeasible argumentation |
| title_fullStr |
Sources of parallelism in defeasible argumentation |
| title_full_unstemmed |
Sources of parallelism in defeasible argumentation |
| title_sort |
sources of parallelism in defeasible argumentation |
| publishDate |
1998 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24872 |
| work_keys_str_mv |
AT garciaalejandrojavier sourcesofparallelismindefeasibleargumentation AT simariguillermoricardo sourcesofparallelismindefeasibleargumentation |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466506137600 |