Formalización de sistemas argumentativos con ataque y soporte a inferencias
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 for...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | tesis doctoral |
| Lenguaje: | Español |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/537 |
| Aporte de: |
| Sumario: | 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. |
|---|