Formalización y generalización del manejo de preferencias en servicios de razonamiento rebatible
Esta tesis aborda el estudio, diseño y formalización de herramientas computacionales concretas para seleccionar y cambiar el criterio de preferencia entre argumentos que es utilizado por el sistema de Programación Lógica Rebatible (DeLP) requerido para decidir derrotas al analizar ataques entre a...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | tesis doctoral |
| Lenguaje: | Español |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://repositoriodigital.uns.edu.ar/handle/123456789/3935 |
| Aporte de: |
| Sumario: | Esta tesis aborda el estudio, diseño y formalización de herramientas computacionales
concretas para seleccionar y cambiar el criterio de preferencia entre argumentos que es
utilizado por el sistema de Programación Lógica Rebatible (DeLP) requerido para decidir
derrotas al analizar ataques entre argumentos. Para lograr esto, se proponen varios servicios
de razonamiento basados en DeLP que disponen de distintos criterios y permiten
llevar a cabo esta tarea de diferentes maneras. Como parte de la contribución, se propone
un servicio que utiliza expresiones condicionales para programar cómo seleccionar el
criterio que mejor se ajusta a las preferencias del usuario o a una situación en particular.
Por otra parte, en la tesis se aborda también la definición de un servicio con mecanismos
que permiten no solo seleccionar sino también combinar criterios. Estos mecanismos permiten
que sea posible comparar argumentos considerando de manera simultánea más de
un criterio.
Como se detalla a continuación, DeLP ha demostrado ser de gran utilidad en diferentes
dominios de aplicación [CCS05, RGS07, GCS08, GGS10]. Los formalismos propuestos
incorporan herramientas concretas para tratar el manejo de múltiples criterios de preferencia
entre argumentos, lo cual no ha sido considerado hasta el momento por otros
trabajos. En consecuencia, los resultados obtenidos en esta tesis brindan una contribución importante a los desarrollos en la comunidad de argumentación, particularmente en
el campo de los sistemas basados en Programación Lógica Rebatible, significando además
un aporte dentro del área de Inteligencia Artifcial en las Ciencias de la Computación. |
|---|