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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Chesñevar, Carlos Iván
Formato: Articulo Revision
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
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:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9426
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
spellingShingle Ciencias Informáticas
Chesñevar, Carlos Iván
Formalizing processes in defeasible argumentation using labeled deductive systems
topic_facet Ciencias Informáticas
description 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.
format Articulo
Revision
author Chesñevar, Carlos Iván
author_facet Chesñevar, Carlos Iván
author_sort Chesñevar, Carlos Iván
title Formalizing processes in defeasible argumentation using labeled deductive systems
title_short Formalizing processes in defeasible argumentation using labeled deductive systems
title_full Formalizing processes in defeasible argumentation using labeled deductive systems
title_fullStr Formalizing processes in defeasible argumentation using labeled deductive systems
title_full_unstemmed Formalizing processes in defeasible argumentation using labeled deductive systems
title_sort formalizing processes in defeasible argumentation using labeled deductive systems
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/9426
http://journal.info.unlp.edu.ar/wp-content/uploads/formalizing.pdf
work_keys_str_mv AT chesnevarcarlosivan formalizingprocessesindefeasibleargumentationusinglabeleddeductivesystems
bdutipo_str Repositorios
_version_ 1764820491122507776

Ejemplares similares