On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation

In a previous work we defined a recursive warrant semantics for Defeasible Logic Programming based on a general notion of collective conflict among arguments. The main feature of this recursive semantics is that an output of a program is a pair consisting of a set of warranted and a set of blocked f...

ver descrição completa

Detalhes bibliográficos
Autores: Alsinet, Teresa, Béjar, Ramón, Godo, Lluis, Guitart, Francesc
Formato: otro
Estado:Versión aceptada para publicación
Fecha de publicación:2013
País:España
Recursos:Consejo Superior de Investigaciones Científicas (CSIC)
Repositorio:DIGITAL.CSIC. Repositorio Institucional del CSIC
OAI Identifier:oai:digital.csic.es:10261/133720
Acesso em linha:http://hdl.handle.net/10261/133720
Access Level:acceso abierto
Palavra-chave:Defeasible logic programming
Sub-problems
Multiple outputs
Experimental evaluation
Encodings
Defeasible argumentation
id ES_3e13f759650a2676db2e93314e826281
oai_identifier_str oai:digital.csic.es:10261/133720
network_acronym_str ES
network_name_str España
repository_id_str
spelling On the Implementation of a Multiple Output Algorithm for Defeasible ArgumentationAlsinet, TeresaBéjar, RamónGodo, LluisGuitart, FrancescDefeasible logic programmingSub-problemsMultiple outputsExperimental evaluationEncodingsDefeasible argumentationIn a previous work we defined a recursive warrant semantics for Defeasible Logic Programming based on a general notion of collective conflict among arguments. The main feature of this recursive semantics is that an output of a program is a pair consisting of a set of warranted and a set of blocked formulas. A program may have multiple outputs in case of circular definitions of conflicts among arguments. In this paper we design an algorithm for computing each output and we provide an experimental evaluation of the algorithm based on two SAT encodings defined for the two main combinatorial subproblems that arise when computing warranted and blocked conclusions for each output.The authors acknowledge the Spanish projects ARINF (TIN2009-14704-C03-01), TASSAT (TIN2010-20967-C04-03) and EdeTRI (TIN2012-39348-C02-01).Peer ReviewedSpringer NatureMinisterio de Economía y Competitividad (España)Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]2016201620132016info:eu-repo/semantics/otherhttp://purl.org/coar/resource_type/c_3248Postprintinfo:eu-repo/semantics/acceptedVersioninfo:eu-repo/semantics/bookParthttp://hdl.handle.net/10261/133720reponame:DIGITAL.CSIC. Repositorio Institucional del CSICinstname:Consejo Superior de Investigaciones Científicas (CSIC)InglésSíinfo:eu-repo/semantics/openAccessoai:digital.csic.es:10261/1337202026-05-22T06:33:51Z
dc.title.none.fl_str_mv On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
title On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
spellingShingle On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
Alsinet, Teresa
Defeasible logic programming
Sub-problems
Multiple outputs
Experimental evaluation
Encodings
Defeasible argumentation
title_short On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
title_full On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
title_fullStr On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
title_full_unstemmed On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
title_sort On the Implementation of a Multiple Output Algorithm for Defeasible Argumentation
dc.creator.none.fl_str_mv Alsinet, Teresa
Béjar, Ramón
Godo, Lluis
Guitart, Francesc
author Alsinet, Teresa
author_facet Alsinet, Teresa
Béjar, Ramón
Godo, Lluis
Guitart, Francesc
author_role author
author2 Béjar, Ramón
Godo, Lluis
Guitart, Francesc
author2_role author
author
author
dc.contributor.none.fl_str_mv Ministerio de Economía y Competitividad (España)
Consejo Superior de Investigaciones Científicas [https://ror.org/02gfc7t72]
dc.subject.none.fl_str_mv Defeasible logic programming
Sub-problems
Multiple outputs
Experimental evaluation
Encodings
Defeasible argumentation
topic Defeasible logic programming
Sub-problems
Multiple outputs
Experimental evaluation
Encodings
Defeasible argumentation
description In a previous work we defined a recursive warrant semantics for Defeasible Logic Programming based on a general notion of collective conflict among arguments. The main feature of this recursive semantics is that an output of a program is a pair consisting of a set of warranted and a set of blocked formulas. A program may have multiple outputs in case of circular definitions of conflicts among arguments. In this paper we design an algorithm for computing each output and we provide an experimental evaluation of the algorithm based on two SAT encodings defined for the two main combinatorial subproblems that arise when computing warranted and blocked conclusions for each output.
publishDate 2013
dc.date.none.fl_str_mv 2013
2016
2016
2016
dc.type.none.fl_str_mv info:eu-repo/semantics/other
http://purl.org/coar/resource_type/c_3248
Postprint
info:eu-repo/semantics/acceptedVersion
dc.type.openaire.fl_str_mv info:eu-repo/semantics/bookPart
format other
status_str acceptedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/10261/133720
url http://hdl.handle.net/10261/133720
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_ 1869406495747080192
score 15.198674

Registos relacionados