Formalization of argument accrual: acceptability semantics and dialectical proof procedure

Autores
Gomez Lucero, Mauro Javier
Año de publicación
2013
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of these argumentation-based formalizations do not model the notion of argument accrual, which has been recently gaining importance. This thesis defines a novel formalization of argument accrual, including a declarative characterization of this notion and an associated operational characterization addressing computation. The proposed formalization makes contributions to the existing accrual approaches, mainly concerning the answers obtained, answer explanation, accrual evaluation and comparison, and efficiency of computation.
Fil: Gomez Lucero, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentina
Materia
Argumentation
Commonsense Reasoning
Argument Accrual
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/21561

id CONICETDig_39b3d30fdb91cfab4ec69c86e0f817e7
oai_identifier_str oai:ri.conicet.gov.ar:11336/21561
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Formalization of argument accrual: acceptability semantics and dialectical proof procedureGomez Lucero, Mauro JavierArgumentationCommonsense ReasoningArgument Accrualhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of these argumentation-based formalizations do not model the notion of argument accrual, which has been recently gaining importance. This thesis defines a novel formalization of argument accrual, including a declarative characterization of this notion and an associated operational characterization addressing computation. The proposed formalization makes contributions to the existing accrual approaches, mainly concerning the answers obtained, answer explanation, accrual evaluation and comparison, and efficiency of computation.Fil: Gomez Lucero, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; ArgentinaIOS Press2013-09info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/21561Gomez Lucero, Mauro Javier; Formalization of argument accrual: acceptability semantics and dialectical proof procedure; IOS Press; AI Communications; 26; 4; 9-2013; 413-4150921-7126CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/doi/10.3233/AIC-130569info:eu-repo/semantics/altIdentifier/url/http://content.iospress.com/articles/ai-communications/aic569info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:55:59Zoai:ri.conicet.gov.ar:11336/21561instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:56:00.042CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Formalization of argument accrual: acceptability semantics and dialectical proof procedure
title Formalization of argument accrual: acceptability semantics and dialectical proof procedure
spellingShingle Formalization of argument accrual: acceptability semantics and dialectical proof procedure
Gomez Lucero, Mauro Javier
Argumentation
Commonsense Reasoning
Argument Accrual
title_short Formalization of argument accrual: acceptability semantics and dialectical proof procedure
title_full Formalization of argument accrual: acceptability semantics and dialectical proof procedure
title_fullStr Formalization of argument accrual: acceptability semantics and dialectical proof procedure
title_full_unstemmed Formalization of argument accrual: acceptability semantics and dialectical proof procedure
title_sort Formalization of argument accrual: acceptability semantics and dialectical proof procedure
dc.creator.none.fl_str_mv Gomez Lucero, Mauro Javier
author Gomez Lucero, Mauro Javier
author_facet Gomez Lucero, Mauro Javier
author_role author
dc.subject.none.fl_str_mv Argumentation
Commonsense Reasoning
Argument Accrual
topic Argumentation
Commonsense Reasoning
Argument Accrual
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of these argumentation-based formalizations do not model the notion of argument accrual, which has been recently gaining importance. This thesis defines a novel formalization of argument accrual, including a declarative characterization of this notion and an associated operational characterization addressing computation. The proposed formalization makes contributions to the existing accrual approaches, mainly concerning the answers obtained, answer explanation, accrual evaluation and comparison, and efficiency of computation.
Fil: Gomez Lucero, Mauro Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Sur; Argentina
description Argumentation is a powerful paradigm able to formalize commonsense reasoning, finding application in different domains such as automated reasoning, decision making, legal dispute, automated negotiation, etc. However, most of these argumentation-based formalizations do not model the notion of argument accrual, which has been recently gaining importance. This thesis defines a novel formalization of argument accrual, including a declarative characterization of this notion and an associated operational characterization addressing computation. The proposed formalization makes contributions to the existing accrual approaches, mainly concerning the answers obtained, answer explanation, accrual evaluation and comparison, and efficiency of computation.
publishDate 2013
dc.date.none.fl_str_mv 2013-09
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/21561
Gomez Lucero, Mauro Javier; Formalization of argument accrual: acceptability semantics and dialectical proof procedure; IOS Press; AI Communications; 26; 4; 9-2013; 413-415
0921-7126
CONICET Digital
CONICET
url http://hdl.handle.net/11336/21561
identifier_str_mv Gomez Lucero, Mauro Javier; Formalization of argument accrual: acceptability semantics and dialectical proof procedure; IOS Press; AI Communications; 26; 4; 9-2013; 413-415
0921-7126
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/doi/10.3233/AIC-130569
info:eu-repo/semantics/altIdentifier/url/http://content.iospress.com/articles/ai-communications/aic569
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv IOS Press
publisher.none.fl_str_mv IOS Press
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269376600866816
score 13.13397