A logical framework for modeling argumentation using labelled deduction

Classical methods for representing and reasoning with knowledge rely on the assumption that the available information is complete, certain and consistent. In real-world problems this is usually not the case, and Al has long dealt with the issue of finding a suitable formalization for commonsense rea...

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: 2000
Materias:
Ciencias Informáticas
Frameworks
ARTIFICIAL INTELLIGENCE
Logical Framework
Modeling Argumentation
Labelled Deduction
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22095
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22095
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
Frameworks
ARTIFICIAL INTELLIGENCE
Logical Framework
Modeling Argumentation
Labelled Deduction
spellingShingle Ciencias Informáticas
Frameworks
ARTIFICIAL INTELLIGENCE
Logical Framework
Modeling Argumentation
Labelled Deduction
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
A logical framework for modeling argumentation using labelled deduction
topic_facet Ciencias Informáticas
Frameworks
ARTIFICIAL INTELLIGENCE
Logical Framework
Modeling Argumentation
Labelled Deduction
description Classical methods for representing and reasoning with knowledge rely on the assumption that the available information is complete, certain and consistent. In real-world problems this is usually not the case, and Al has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation [SL92, CMLOO, PV99] has proven to be a successful approach in many respects, since it naturally resembles many aspects of human commonsense reasoning. Our intention is to find a logical framework in which the diverse aspects of defeasible argumentation can be formally captured, in order to analyze their emerging properties. The issue of defining a logical framework for defeasible argumentation with labels has been tackled before in alternative ways. Hunter proposed a framework for characterizing structural information using labelled formulas combined with argumentation [Hun94]. Fox & Parsons [FP97] defined a Logic of Argumentation, a qualitative approach to decision making which makes use of labelled formulac, presented as an altemative to standard formalisms in order to overcome some of the limitations imposed by them. Our approach focuses on formalizing an argunentative framework using Defeasible Logic Programming [Gar97] as a theoretical basis, combined with labelled deductive systems [Gab96]. In this presentation we describe the main aspects of our formalization.
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 A logical framework for modeling argumentation using labelled deduction
title_short A logical framework for modeling argumentation using labelled deduction
title_full A logical framework for modeling argumentation using labelled deduction
title_fullStr A logical framework for modeling argumentation using labelled deduction
title_full_unstemmed A logical framework for modeling argumentation using labelled deduction
title_sort logical framework for modeling argumentation using labelled deduction
publishDate 2000
url http://sedici.unlp.edu.ar/handle/10915/22095
work_keys_str_mv AT chesnevarcarlosivan alogicalframeworkformodelingargumentationusinglabelleddeduction
AT simariguillermoricardo alogicalframeworkformodelingargumentationusinglabelleddeduction
AT chesnevarcarlosivan logicalframeworkformodelingargumentationusinglabelleddeduction
AT simariguillermoricardo logicalframeworkformodelingargumentationusinglabelleddeduction
bdutipo_str Repositorios
_version_ 1764820465513136129

Ejemplares similares