Argumentation Based on Logic Programming

Autores
García, Alejandro Javier; Simari, Guillermo Ricardo
Año de publicación
2018
Idioma
inglés
Tipo de recurso
parte de libro
Estado
versión publicada
Descripción
Among of the programming paradigms based on formal logic, Logic Programming has been a successful effort to create a declarative model of expressing computational processes producing significant theoretical and practical results; as such, the area has contributed computationally attractive systems with remarkable success in many applications. By blending concepts from the areas of Logic Programming and Argumentation, Defeasible Logic Programming (DeLP) proposes a computational reasoning system with an argumentation engine at its core capable of obtaining answers from a knowledge base which is represented with a language that uses logic programming constructs extended with defeasible rules. The careful integration of foundational intuitions and concepts from both areas has formulated a framework that inherits from the logic programming field its expressivity and computational efficiency and receives from argumentation theory a human-like reasoning model facilitating its use in applications. In this chapter, the basic elements of logic programming will be succinctly recalled, and the DeLP language will be formally introduced together with the warranting process that obtains the answers for queries. DeLP-Servers, which give possibly distributed client agents running on remote hosts the ability to consult different reasoning services are presented. Finally, some extensions and applications of DeLP are briefly described.
Fil: García, Alejandro Javier. 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. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina
Fil: Simari, Guillermo Ricardo. 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. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina
Materia
ARGUMENTATION
PROGRAMMING
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/137221
Acceder
id CONICETDig_b3787b9173811fe8cfe03102db92ad80
oai_identifier_str oai:ri.conicet.gov.ar:11336/137221
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Argumentation Based on Logic ProgrammingGarcía, Alejandro JavierSimari, Guillermo RicardoARGUMENTATIONPROGRAMMINGhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Among of the programming paradigms based on formal logic, Logic Programming has been a successful effort to create a declarative model of expressing computational processes producing significant theoretical and practical results; as such, the area has contributed computationally attractive systems with remarkable success in many applications. By blending concepts from the areas of Logic Programming and Argumentation, Defeasible Logic Programming (DeLP) proposes a computational reasoning system with an argumentation engine at its core capable of obtaining answers from a knowledge base which is represented with a language that uses logic programming constructs extended with defeasible rules. The careful integration of foundational intuitions and concepts from both areas has formulated a framework that inherits from the logic programming field its expressivity and computational efficiency and receives from argumentation theory a human-like reasoning model facilitating its use in applications. In this chapter, the basic elements of logic programming will be succinctly recalled, and the DeLP language will be formally introduced together with the warranting process that obtains the answers for queries. DeLP-Servers, which give possibly distributed client agents running on remote hosts the ability to consult different reasoning services are presented. Finally, some extensions and applications of DeLP are briefly described.Fil: García, Alejandro Javier. 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. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaFil: Simari, Guillermo Ricardo. 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. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; ArgentinaCollege PublicationsBaroni, PietroGabbay, DovGiacomin, Massimilianovan der Torre, Leendert2018info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bookParthttp://purl.org/coar/resource_type/c_3248info:ar-repo/semantics/parteDeLibroapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/137221García, Alejandro Javier; Simari, Guillermo Ricardo; Argumentation Based on Logic Programming; College Publications; 1; 2018; 409-435978-1-84890-275-6CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://www.collegepublications.co.uk/handbooks/?00003info: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-10-15T14:38:03Zoai:ri.conicet.gov.ar:11336/137221instacron: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-10-15 14:38:03.64CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Argumentation Based on Logic Programming
title Argumentation Based on Logic Programming
spellingShingle Argumentation Based on Logic Programming
García, Alejandro Javier
ARGUMENTATION
PROGRAMMING
title_short Argumentation Based on Logic Programming
title_full Argumentation Based on Logic Programming
title_fullStr Argumentation Based on Logic Programming
title_full_unstemmed Argumentation Based on Logic Programming
title_sort Argumentation Based on Logic Programming
dc.creator.none.fl_str_mv García, Alejandro Javier
Simari, Guillermo Ricardo
author García, Alejandro Javier
author_facet García, Alejandro Javier
Simari, Guillermo Ricardo
author_role author
author2 Simari, Guillermo Ricardo
author2_role author
dc.contributor.none.fl_str_mv Baroni, Pietro
Gabbay, Dov
Giacomin, Massimiliano
van der Torre, Leendert
dc.subject.none.fl_str_mv ARGUMENTATION
PROGRAMMING
topic ARGUMENTATION
PROGRAMMING
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Among of the programming paradigms based on formal logic, Logic Programming has been a successful effort to create a declarative model of expressing computational processes producing significant theoretical and practical results; as such, the area has contributed computationally attractive systems with remarkable success in many applications. By blending concepts from the areas of Logic Programming and Argumentation, Defeasible Logic Programming (DeLP) proposes a computational reasoning system with an argumentation engine at its core capable of obtaining answers from a knowledge base which is represented with a language that uses logic programming constructs extended with defeasible rules. The careful integration of foundational intuitions and concepts from both areas has formulated a framework that inherits from the logic programming field its expressivity and computational efficiency and receives from argumentation theory a human-like reasoning model facilitating its use in applications. In this chapter, the basic elements of logic programming will be succinctly recalled, and the DeLP language will be formally introduced together with the warranting process that obtains the answers for queries. DeLP-Servers, which give possibly distributed client agents running on remote hosts the ability to consult different reasoning services are presented. Finally, some extensions and applications of DeLP are briefly described.
Fil: García, Alejandro Javier. 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. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina
Fil: Simari, Guillermo Ricardo. 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. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina
description Among of the programming paradigms based on formal logic, Logic Programming has been a successful effort to create a declarative model of expressing computational processes producing significant theoretical and practical results; as such, the area has contributed computationally attractive systems with remarkable success in many applications. By blending concepts from the areas of Logic Programming and Argumentation, Defeasible Logic Programming (DeLP) proposes a computational reasoning system with an argumentation engine at its core capable of obtaining answers from a knowledge base which is represented with a language that uses logic programming constructs extended with defeasible rules. The careful integration of foundational intuitions and concepts from both areas has formulated a framework that inherits from the logic programming field its expressivity and computational efficiency and receives from argumentation theory a human-like reasoning model facilitating its use in applications. In this chapter, the basic elements of logic programming will be succinctly recalled, and the DeLP language will be formally introduced together with the warranting process that obtains the answers for queries. DeLP-Servers, which give possibly distributed client agents running on remote hosts the ability to consult different reasoning services are presented. Finally, some extensions and applications of DeLP are briefly described.
publishDate 2018
dc.date.none.fl_str_mv 2018
dc.type.none.fl_str_mv info:eu-repo/semantics/publishedVersion
info:eu-repo/semantics/bookPart
http://purl.org/coar/resource_type/c_3248
info:ar-repo/semantics/parteDeLibro
status_str publishedVersion
format bookPart
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/137221
García, Alejandro Javier; Simari, Guillermo Ricardo; Argumentation Based on Logic Programming; College Publications; 1; 2018; 409-435
978-1-84890-275-6
CONICET Digital
CONICET
url http://hdl.handle.net/11336/137221
identifier_str_mv García, Alejandro Javier; Simari, Guillermo Ricardo; Argumentation Based on Logic Programming; College Publications; 1; 2018; 409-435
978-1-84890-275-6
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://www.collegepublications.co.uk/handbooks/?00003
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
application/pdf
application/pdf
dc.publisher.none.fl_str_mv College Publications
publisher.none.fl_str_mv College Publications
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_ 1846082857386115072
score 13.22299

Publicaciones similares