Formalizing processes in defeasible argumentation using labeled deductive systems
This paper summarizes the main results developed in the author's PhD Thesis. The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework for defeasible argumentation call...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Articulo Revision |
| Lenguaje: | Español |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9426 http://journal.info.unlp.edu.ar/wp-content/uploads/formalizing.pdf |
| Aporte de: |
| Sumario: | This paper summarizes the main results developed in the author's PhD Thesis.
The main goal of the Thesis is to provide a formalization of defeasible argumentation oriented towards its computational treatment. In order to do this, an LDS-based logical framework for defeasible argumentation called LDSar has been developed. The object language is that of logic programming, complemented with labels that identify distinguished elements for representing knowledge and performing inference. |
|---|