Modeling argumentation with labeled deduction: formalization and theoretical considerations

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Chesñevar, Carlos Iván, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2001
Materias:
Ciencias Informáticas
knowledge representation
defeasible argumentation
logic programming
Labeled deduction
informática
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23289
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23289
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
knowledge representation
defeasible argumentation
logic programming
Labeled deduction
informática
spellingShingle Ciencias Informáticas
knowledge representation
defeasible argumentation
logic programming
Labeled deduction
informática
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
Modeling argumentation with labeled deduction: formalization and theoretical considerations
topic_facet Ciencias Informáticas
knowledge representation
defeasible argumentation
logic programming
Labeled deduction
informática
description In the last years there has been an increasing demand of a variety of logical systems, prompted mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive Systems (LDS) were developed as a °exible methodology to formalize such a kind of complex logical systems. During the last decade defeasible argumentation has proven to be a con°uence point for many approaches to formalizing commonsense reasoning. Di®erent formalisms have been developed, many of them sharing common features. This paper summarizes the most relevant features of LDSar, a logical framework for defeasible argumentation based on LDS. We present a syntactic characterization of the framework, and discuss some emerging properties. We also show how di®erent existing argumentation frameworks are subsumed in LDSar
format Objeto de conferencia
Objeto de conferencia
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 Modeling argumentation with labeled deduction: formalization and theoretical considerations
title_short Modeling argumentation with labeled deduction: formalization and theoretical considerations
title_full Modeling argumentation with labeled deduction: formalization and theoretical considerations
title_fullStr Modeling argumentation with labeled deduction: formalization and theoretical considerations
title_full_unstemmed Modeling argumentation with labeled deduction: formalization and theoretical considerations
title_sort modeling argumentation with labeled deduction: formalization and theoretical considerations
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23289
work_keys_str_mv AT chesnevarcarlosivan modelingargumentationwithlabeleddeductionformalizationandtheoreticalconsiderations
AT simariguillermoricardo modelingargumentationwithlabeleddeductionformalizationandtheoreticalconsiderations
bdutipo_str Repositorios
_version_ 1764820466085658625

Ejemplares similares