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
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/21561
Ver los metadatos del registro completo
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 |