Generalized abstract argumentation: Handling arguments in FOL fragments

Autores
Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo
Año de publicación
2009
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
Generalized argumentation frameworks relate formulae in classical logic to arguments based on the Dung's classic framework. The main purpose of the generalization is to provide a theory capable of reasoning (following argumentation technics) about inconsistent knowledge bases (KB) expressed in FOL fragments. Consequently, the notion of argument is related to a single formula in the KB. This allows to share the same primitive elements from both, the framework (arguments) and, the KB (formulae). A framework with such features would not only allow to manage a wide range of knowledge representation languages, but also to cope with the dynamics of knowledge in a straightforward manner. © 2009 Springer Berlin Heidelberg.
Fil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Materia
Reasoning Over Inconsistency
First-Order Logic
Argumentation
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/71098

id CONICETDig_b818e012a3ca162901ff727bd3c8e899
oai_identifier_str oai:ri.conicet.gov.ar:11336/71098
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Generalized abstract argumentation: Handling arguments in FOL fragmentsMoguillansky, Martin OscarRotstein, Nicolas DanielFalappa, Marcelo AlejandroSimari, Guillermo RicardoReasoning Over InconsistencyFirst-Order LogicArgumentationhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1Generalized argumentation frameworks relate formulae in classical logic to arguments based on the Dung's classic framework. The main purpose of the generalization is to provide a theory capable of reasoning (following argumentation technics) about inconsistent knowledge bases (KB) expressed in FOL fragments. Consequently, the notion of argument is related to a single formula in the KB. This allows to share the same primitive elements from both, the framework (arguments) and, the KB (formulae). A framework with such features would not only allow to manage a wide range of knowledge representation languages, but also to cope with the dynamics of knowledge in a straightforward manner. © 2009 Springer Berlin Heidelberg.Fil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaFil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; ArgentinaSpringer2009-06info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/71098Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Generalized abstract argumentation: Handling arguments in FOL fragments; Springer; Lecture Notes in Computer Science; 5590 LNAI; 6-2009; 144-1550302-9743CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/chapter/10.1007/978-3-642-02906-6_14info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-02906-6_14info: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-03T10:07:10Zoai:ri.conicet.gov.ar:11336/71098instacron: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 10:07:10.358CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Generalized abstract argumentation: Handling arguments in FOL fragments
title Generalized abstract argumentation: Handling arguments in FOL fragments
spellingShingle Generalized abstract argumentation: Handling arguments in FOL fragments
Moguillansky, Martin Oscar
Reasoning Over Inconsistency
First-Order Logic
Argumentation
title_short Generalized abstract argumentation: Handling arguments in FOL fragments
title_full Generalized abstract argumentation: Handling arguments in FOL fragments
title_fullStr Generalized abstract argumentation: Handling arguments in FOL fragments
title_full_unstemmed Generalized abstract argumentation: Handling arguments in FOL fragments
title_sort Generalized abstract argumentation: Handling arguments in FOL fragments
dc.creator.none.fl_str_mv Moguillansky, Martin Oscar
Rotstein, Nicolas Daniel
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author Moguillansky, Martin Oscar
author_facet Moguillansky, Martin Oscar
Rotstein, Nicolas Daniel
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author_role author
author2 Rotstein, Nicolas Daniel
Falappa, Marcelo Alejandro
Simari, Guillermo Ricardo
author2_role author
author
author
dc.subject.none.fl_str_mv Reasoning Over Inconsistency
First-Order Logic
Argumentation
topic Reasoning Over Inconsistency
First-Order Logic
Argumentation
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv Generalized argumentation frameworks relate formulae in classical logic to arguments based on the Dung's classic framework. The main purpose of the generalization is to provide a theory capable of reasoning (following argumentation technics) about inconsistent knowledge bases (KB) expressed in FOL fragments. Consequently, the notion of argument is related to a single formula in the KB. This allows to share the same primitive elements from both, the framework (arguments) and, the KB (formulae). A framework with such features would not only allow to manage a wide range of knowledge representation languages, but also to cope with the dynamics of knowledge in a straightforward manner. © 2009 Springer Berlin Heidelberg.
Fil: Moguillansky, Martin Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Rotstein, Nicolas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Falappa, Marcelo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
Fil: Simari, Guillermo Ricardo. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Ciencia e Ingeniería de la Computación. Laboratorio de Investigación y Desarrollo en Inteligencia Artificial; Argentina
description Generalized argumentation frameworks relate formulae in classical logic to arguments based on the Dung's classic framework. The main purpose of the generalization is to provide a theory capable of reasoning (following argumentation technics) about inconsistent knowledge bases (KB) expressed in FOL fragments. Consequently, the notion of argument is related to a single formula in the KB. This allows to share the same primitive elements from both, the framework (arguments) and, the KB (formulae). A framework with such features would not only allow to manage a wide range of knowledge representation languages, but also to cope with the dynamics of knowledge in a straightforward manner. © 2009 Springer Berlin Heidelberg.
publishDate 2009
dc.date.none.fl_str_mv 2009-06
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/71098
Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Generalized abstract argumentation: Handling arguments in FOL fragments; Springer; Lecture Notes in Computer Science; 5590 LNAI; 6-2009; 144-155
0302-9743
CONICET Digital
CONICET
url http://hdl.handle.net/11336/71098
identifier_str_mv Moguillansky, Martin Oscar; Rotstein, Nicolas Daniel; Falappa, Marcelo Alejandro; Simari, Guillermo Ricardo; Generalized abstract argumentation: Handling arguments in FOL fragments; Springer; Lecture Notes in Computer Science; 5590 LNAI; 6-2009; 144-155
0302-9743
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://link.springer.com/chapter/10.1007/978-3-642-02906-6_14
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-02906-6_14
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
application/pdf
dc.publisher.none.fl_str_mv Springer
publisher.none.fl_str_mv Springer
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_ 1842269991926235136
score 13.13397