Mostrar el registro sencillo del ítem
dc.contributor.author
Chesñevar, Carlos Iván
dc.contributor.author
Simari, Guillermo Ricardo
dc.date.available
2019-08-29T16:34:30Z
dc.date.issued
2007-01
dc.identifier.citation
Chesñevar, Carlos Iván; Simari, Guillermo Ricardo; Modelling inference in argumentation through labelled deduction: Formalization and logical properties; Springer; Logica Universalis; 1; 1; 1-2007; 93-124
dc.identifier.issn
1661-8297
dc.identifier.uri
http://hdl.handle.net/11336/82493
dc.description.abstract
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 conflicting arguments. In this context, defeasible consequence relationships for modelling argument and warrant as well as their logical properties have gained particular attention. This article analyzes two non-monotonic inference operators C arg and C war intended for modelling argument construction and dialectical analysis (warrant), respectively. As a basis for such analysis we will use the LDS ar framework, a unifying approach to computational models of argument using Labelled Deductive Systems (LDS). In the context of this logical framework, we show how labels can be used to represent arguments as well as argument trees, facilitating the definition and study of non-monotonic inference operators, whose associated logical properties are studied and contrasted. We contend that this analysis provides useful comparison criteria that can be extended and applied to other argumentation frameworks.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Defeasible Argumentation
dc.subject
Knowledge Representation
dc.subject
Nonmonotonic Inference
dc.subject
Labelled Deduction
dc.subject.classification
Ciencias de la Computación
dc.subject.classification
Ciencias de la Computación e Información
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Modelling inference in argumentation through labelled deduction: Formalization and logical properties
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2019-08-16T15:45:39Z
dc.identifier.eissn
1661-8300
dc.journal.volume
1
dc.journal.number
1
dc.journal.pagination
93-124
dc.journal.pais
Alemania
dc.journal.ciudad
Berlin
dc.description.fil
Fil: Chesñevar, Carlos Iván. Universidad de Lleida; España. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina
dc.description.fil
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación. Instituto de Ciencias e Ingeniería de la Computación; Argentina
dc.journal.title
Logica Universalis
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11787-006-0005-4
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11787-006-0005-4
Archivos asociados