t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework

The aim of this paper is to propose an argumentation-based defeasible logic, called t-DeLP, that focuses on forward temporal reasoning for causal inference. We extend the language of the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of basic...

Descripción completa

Detalles Bibliográficos
Autores: Pardo, Pere, Godo, Lluis
Tipo de recurso: artículo
Estado:Versión aceptada para publicación
Fecha de publicación:2013
País:España
Institución:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/249927
Acceso en línea:http://hdl.handle.net/10261/249927
Access Level:acceso abierto
Palabra clave:Logic programming
Temporal reasoning
Argumentation
Non-monotonic logic
id ES_45e5d6d89d57115bf623ae7cd79bcd8e
oai_identifier_str oai:digital.csic.es:10261/249927
network_acronym_str ES
network_name_str España
repository_id_str
spelling t-DeLP: an argumentation-based Temporal Defeasible Logic Programming frameworkPardo, PereGodo, LluisLogic programmingTemporal reasoningArgumentationNon-monotonic logicThe aim of this paper is to propose an argumentation-based defeasible logic, called t-DeLP, that focuses on forward temporal reasoning for causal inference. We extend the language of the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of basic temporal facts and (strict or defeasible) durative rules. Facts and rules combine into durative arguments representing temporal processes. As usual, a dialectical procedure determines which arguments are undefeated, and hence which literals are warranted, or defeasibly follow from the program. t-DeLP, though, slightly differs from DeLP in order to accommodate temporal aspects, like the persistence of facts. The output of a t-DeLP program is a set of warranted literals, which is first shown to be non-contradictory and be closed under sub-arguments. This basic framework is then modified to deal with programs whose strict rules encode mutex constraints. The resulting framework is shown to satisfy stronger logical properties like indirect consistency and closure.This work has been partially supported by the Spanish MICINN projects CONSOLIDERINGENIO 2010 Agreement Technologies CSD2007-00022 and ARINF TIN2009-14704-C03-03, with FEDER funds of the EU, and by the Generalitat de Catalunya grant 2009-SGR-1434.Peer reviewedSpringer NatureMinisterio de Ciencia e Innovación (España)Generalitat de CatalunyaGodo, Lluís [0000-0002-6929-3126]Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]202120212013info:eu-repo/semantics/articlehttp://purl.org/coar/resource_type/c_6501Postprintinfo:eu-repo/semantics/acceptedVersionhttp://hdl.handle.net/10261/249927reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)InglésSíinfo:eu-repo/semantics/openAccessoai:digital.csic.es:10261/2499272026-05-22T06:33:51Z
dc.title.none.fl_str_mv t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
title t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
spellingShingle t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
Pardo, Pere
Logic programming
Temporal reasoning
Argumentation
Non-monotonic logic
title_short t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
title_full t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
title_fullStr t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
title_full_unstemmed t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
title_sort t-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework
dc.creator.none.fl_str_mv Pardo, Pere
Godo, Lluis
author Pardo, Pere
author_facet Pardo, Pere
Godo, Lluis
author_role author
author2 Godo, Lluis
author2_role author
dc.contributor.none.fl_str_mv Ministerio de Ciencia e Innovación (España)
Generalitat de Catalunya
Godo, Lluís [0000-0002-6929-3126]
Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]
dc.subject.none.fl_str_mv Logic programming
Temporal reasoning
Argumentation
Non-monotonic logic
topic Logic programming
Temporal reasoning
Argumentation
Non-monotonic logic
description The aim of this paper is to propose an argumentation-based defeasible logic, called t-DeLP, that focuses on forward temporal reasoning for causal inference. We extend the language of the DeLP logical framework by associating temporal parameters to literals. A temporal logic program is a set of basic temporal facts and (strict or defeasible) durative rules. Facts and rules combine into durative arguments representing temporal processes. As usual, a dialectical procedure determines which arguments are undefeated, and hence which literals are warranted, or defeasibly follow from the program. t-DeLP, though, slightly differs from DeLP in order to accommodate temporal aspects, like the persistence of facts. The output of a t-DeLP program is a set of warranted literals, which is first shown to be non-contradictory and be closed under sub-arguments. This basic framework is then modified to deal with programs whose strict rules encode mutex constraints. The resulting framework is shown to satisfy stronger logical properties like indirect consistency and closure.
publishDate 2013
dc.date.none.fl_str_mv 2013
2021
2021
dc.type.none.fl_str_mv info:eu-repo/semantics/article
http://purl.org/coar/resource_type/c_6501
Postprint
info:eu-repo/semantics/acceptedVersion
format article
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/249927
url http://hdl.handle.net/10261/249927
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Sí
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Springer Nature
publisher.none.fl_str_mv Springer Nature
dc.source.none.fl_str_mv reponame:DIGITAL.CSIC. Repositorio Institucional del CSIC
instname:Consejo Superior de Investigaciones Científicas (CSIC)
instname_str Consejo Superior de Investigaciones Científicas (CSIC)
reponame_str DIGITAL.CSIC. Repositorio Institucional del CSIC
collection DIGITAL.CSIC. Repositorio Institucional del CSIC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869407192870813696
score 15,812429

Similares en LA Referencia