The role of labelled deductive systems in a formal system for defeasible argumentation

There has been an increasing demand of a variety of logical systems, prompted by applications of logic in Al, logic prograrnming and other related areas. Labelled Deductive Systems (LDS) [Gab96] were developed as a flexible methodology to formalize such a kind of complex logical systems. In the las...

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: 1999
Materias:
Ciencias Informáticas
defeasible argumentation
labelled deductive systems
ARTIFICIAL INTELLIGENCE
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22256
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-22256
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
defeasible argumentation
labelled deductive systems
ARTIFICIAL INTELLIGENCE
spellingShingle Ciencias Informáticas
defeasible argumentation
labelled deductive systems
ARTIFICIAL INTELLIGENCE
Chesñevar, Carlos Iván
Simari, Guillermo Ricardo
The role of labelled deductive systems in a formal system for defeasible argumentation
topic_facet Ciencias Informáticas
defeasible argumentation
labelled deductive systems
ARTIFICIAL INTELLIGENCE
description There has been an increasing demand of a variety of logical systems, prompted by applications of logic in Al, logic prograrnming and other related areas. Labelled Deductive Systems (LDS) [Gab96] were developed as a flexible methodology to formalize such a kind of complex logical systems. In the last decade, defeasible argumentation [SL92, PV99, Ver96, BDKT97] has proven to be a confluence point for many approaches to formalizing commonsense reasoning. Different formalisms have been developed, many of them sharing cornmon fe atures. This paper outlines an argumentative LDS, in which the main issues concerning defeasible argumentation are captured within a unified logical framework. The proposed framework is defined in two stages. First, defeasible inference will be formalized by characterizing a defeasible LDS. That system wiU be then extended in order to obtain an argumentative LDS.
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 The role of labelled deductive systems in a formal system for defeasible argumentation
title_short The role of labelled deductive systems in a formal system for defeasible argumentation
title_full The role of labelled deductive systems in a formal system for defeasible argumentation
title_fullStr The role of labelled deductive systems in a formal system for defeasible argumentation
title_full_unstemmed The role of labelled deductive systems in a formal system for defeasible argumentation
title_sort role of labelled deductive systems in a formal system for defeasible argumentation
publishDate 1999
url http://sedici.unlp.edu.ar/handle/10915/22256
work_keys_str_mv AT chesnevarcarlosivan theroleoflabelleddeductivesystemsinaformalsystemfordefeasibleargumentation
AT simariguillermoricardo theroleoflabelleddeductivesystemsinaformalsystemfordefeasibleargumentation
AT chesnevarcarlosivan roleoflabelleddeductivesystemsinaformalsystemfordefeasibleargumentation
AT simariguillermoricardo roleoflabelleddeductivesystemsinaformalsystemfordefeasibleargumentation
bdutipo_str Repositorios
_version_ 1764820465474338819

Ejemplares similares