Mostrar el registro sencillo del ítem
Formalización de sistemas argumentativos con ataque y soporte a inferencias
dc.contributor.advisor | García, Alejandro Javier | |
dc.contributor.advisor | Simari, Guillermo R. | |
dc.contributor.author | Cohen, Andrea | |
dc.date | 2014-12-04 | |
dc.date.accessioned | 2014-12-22T17:23:29Z | |
dc.date.available | 2014-12-22T17:23:29Z | |
dc.date.issued | 2014 | |
dc.identifier.other | 2014-1338 | es |
dc.identifier.uri | http://repositoriodigital.uns.edu.ar/handle/123456789/537 | |
dc.description.abstract | Esta tesis comprende el estudio y formalización de herramientas para la representación de conocimiento y razonamiento en sistemas argumentativos. En particular, se proponen dos formalismos argumentativos que permiten la utilización y combinación de soporte y ataque a reglas de inferencia. Los formalismos aquí desarrollados abordan esta temática desde dos enfoques complementarios. El primero de ellos provee un marco unificado para modelar estas nociones en un contexto de argumentación abstracta, mientras que el segundo corresponde a un sistema argumentativo basado en reglas que permite expresar soporte y ataque a reglas rebatibles de un lenguaje de programación lógica. Para cada uno de los formalismos propuestos se abordaría la definición del sistema, así como también el análisis de propiedades satisfechas por el mismo. Los sistemas argumentativos definidos en esta tesis extienden a otras aproximaciones existentes en la literatura, incorporando características y elementos que aún no habían sido considerados conjuntamente por los formalismos desarrollados hasta el momento. Concretamente, los formalismos aquí propuestos incorporan en forma conjunta las nociones de backing y undercutting, de reconocida importancia en el área de argumentación. Asimismo, estos formalismos fueron concebidos de manera tal que es posible instanciar el marco argumentativo abstracto con el sistema argumentativo concreto, favoreciendo así su implementación computacional. | es |
dc.description.abstract | This thesis concerns the study and formalization of tools for knowledge representation and reasoning in argumentation systems. We propose two argumentation formalisms that allow for the consideration and combination of attack and support for inference rules. The former provides a unified framework for modeling these notions within the context of abstract argumentation, whereas the latter corresponds to a rule-based argumentation system that allows for attack and support for defeasible rules in a logic programming setting. For each of the proposed systems we provide its formal definiton, and we analyze several properties that are satisfed. The formalisms developed in this thesis extend other existing approaches in the literature by incorporating some elements and features that were not yet considered together by the formalisms developed so far. Specifically, the argumentation systems proposed here incorporate the notions of backing and undercutting in a joint manner; two notions of great importance within the community of argumentation. Also, these formalisms were conceived in such a way that it is possible to instantiate the abstract argumentation framework with the rule-based argumentation system, thus benefiting its computational implementation. | en |
dc.language.iso | spa | es |
dc.rights | Liberar contenido de archivos para acceso público. | es |
dc.subject | Ciencias de la computación | es |
dc.subject | Inteligencia artificial | es |
dc.subject | Argumentación | es |
dc.subject | Razonamiento rebatible | es |
dc.subject | Relaciones de ataque y soporte | es |
dc.title | Formalización de sistemas argumentativos con ataque y soporte a inferencias | es |
dc.type | tesis doctoral | es |
bcuns.collection.name | Biblioteca Digital Académica | es |
bcuns.collection.acronym | BDA | es |
bcuns.collection.url | http://tesis.uns.edu.ar/ | es |
bcuns.collection.institution | Biblioteca Central de la Universidad Nacional del Sur | es |
bcuns.depositorylibrary.name | Biblioteca Central de la Universidad Nacional del Sur | es |
bcuns.author.affiliation | Universidad Nacional del Sur. Departamento de Ciencias e Ingeniería de la Computación | es |
bcuns.advisor.affiliation | Universidad Nacional del Sur | es |
bcuns.defense.city | Bahía Blanca | es |
bcuns.defense.province | Buenos Aires | es |
bcuns.defense.country | Argentina | es |
bcuns.programme.name | Doctorado en Ciencias de la Computación | es |
bcuns.programme.department | Departamento de Ciencias e Ingeniería de la Computación | es |
bcuns.thesisdegree.name | Doctor en Ciencias de la Computación | es |
bcuns.thesisdegree.grantor | Universidad Nacional del Sur | es |
uns.type.publicationVersion | accepted | en |
bcuns.depositarylibrary.acronym | EUN | es |
Ficheros en el ítem
Este ítem aparece en la(s) siguiente(s) colección(ones)
-
Tesis de postgrado [1407]