Formalizing defeasible argumentation using a labeled deductive system

In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical syste...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Articulo
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
Inteligencia artificial
argumetation frameworks; lebeled deductive systems
Argumentación
Informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/9406
http://journal.info.unlp.edu.ar/wp-content/uploads/pap21.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-9406
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
Inteligencia artificial
argumetation frameworks; lebeled deductive systems
Argumentación
Informática
spellingShingle Ciencias Informáticas
Inteligencia artificial
argumetation frameworks; lebeled deductive systems
Argumentación
Informática
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
Formalizing defeasible argumentation using a labeled deductive system
topic_facet Ciencias Informáticas
Inteligencia artificial
argumetation frameworks; lebeled deductive systems
Argumentación
Informática
description In the last years there has been and increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming an other related areas. Labeled Deductive Systems (LDS) were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing common features. This paper presents a formalization of an LDS for defeasible argumentation, in wich the main issues concerning defeasible argumentation are captured a unified logical framework.The propose framework is defined in two stages. First, defeasible inference will be formalized by characterizing and argumentative LDS. That system will be then extended in order to capture conflict among arguments using a dialectal approach. We also present some logical properties emerging from the proposed framework, discussing also its semantical characterization.
format Articulo
Articulo
author Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_facet Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
author_sort Chesñevar, Carlos Iván
title Formalizing defeasible argumentation using a labeled deductive system
title_short Formalizing defeasible argumentation using a labeled deductive system
title_full Formalizing defeasible argumentation using a labeled deductive system
title_fullStr Formalizing defeasible argumentation using a labeled deductive system
title_full_unstemmed Formalizing defeasible argumentation using a labeled deductive system
title_sort formalizing defeasible argumentation using a labeled deductive system
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/9406
http://journal.info.unlp.edu.ar/wp-content/uploads/pap21.pdf
work_keys_str_mv AT chesnevarcarlosivan formalizingdefeasibleargumentationusingalabeleddeductivesystem
AT simariguillermoricardo formalizingdefeasibleargumentationusingalabeleddeductivesystem
bdutipo_str Repositorios
_version_ 1764820492103974913

Ejemplares similares