Consequence operators for defeasible argumentation: characterization and logical properties

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms h...

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
informática
ARTIFICIAL INTELLIGENCE
defeasible argumentation
knowledge representation
non-monotonic inference
labeled deduction
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23290
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23290
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
ARTIFICIAL INTELLIGENCE
defeasible argumentation
knowledge representation
non-monotonic inference
labeled deduction
spellingShingle Ciencias Informáticas
informática
ARTIFICIAL INTELLIGENCE
defeasible argumentation
knowledge representation
non-monotonic inference
labeled deduction
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
Consequence operators for defeasible argumentation: characterization and logical properties
topic_facet Ciencias Informáticas
informática
ARTIFICIAL INTELLIGENCE
defeasible argumentation
knowledge representation
non-monotonic inference
labeled deduction
description Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks. Different formalisms have been developed, most of them sharing the common notions of argument and warrant. In defeasible argumentation, an argument is a tentative (defeasible) proof for reaching a conclusion. An argument is warranted when it ultimately prevails over other con°icting arguments. In this context, defeasible consequence relationships for modeling argument and warrant as well as their logical properties have gained particular attention. This paper discusses two consequence operators for the LDSar framework for defeasible argumentation. The operators are intended for modeling argument construction and dialectical analysis (warrant), respectively. Their associated logical properties are studied and contrasted with SLD-based Horn logic. We contend that this analysis provides useful comparison criteria that can be extended and applied to other argumentation frameworks.
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 Consequence operators for defeasible argumentation: characterization and logical properties
title_short Consequence operators for defeasible argumentation: characterization and logical properties
title_full Consequence operators for defeasible argumentation: characterization and logical properties
title_fullStr Consequence operators for defeasible argumentation: characterization and logical properties
title_full_unstemmed Consequence operators for defeasible argumentation: characterization and logical properties
title_sort consequence operators for defeasible argumentation: characterization and logical properties
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23290
work_keys_str_mv AT chesnevarcarlosivan consequenceoperatorsfordefeasibleargumentationcharacterizationandlogicalproperties
AT simariguillermoricardo consequenceoperatorsfordefeasibleargumentationcharacterizationandlogicalproperties
bdutipo_str Repositorios
_version_ 1764820466090901504

Ejemplares similares