Logica Abductiva y Lógica Paraconsistente Computacional - here

Capítulo 5
Aplicaciones de la Lógica Abductiva
Son muchas las aplicaciones de la lógica abductiva. Comencemos destacando algunas:
Visión de alto nivel: La visión artificial es usada en numerosas aplicaciones, tales como los
sistemas de vigilancia. La abducción es fundamental para el área conocida como Visión Artificial,
ya que las imágenes parciales que proporciona una cámara se explican abductivamente.
Las hipótesis explicativas son los objetos que producen tales imágenes.
Compresión del lenguaje natural. También para interpretar el lenguaje natural se utiliza
la abducción como herramienta para poder interpretar oraciones ambiguas. Las hipótesis
abductivas, serán las posibles interpretaciones y se determinan la más adecuadas por el contexto.
Traducción automática. Relacionada con la anterior. Sobre esta aplicación ha trabajado
extensamente Jerry Hobbs, el cual considera que la traducción automática requiere razonamientos
sobre el lenguaje a los niveles léxico, sintáctico, semántico, etc y, a la vez, se ajusta al
uso de técnicas basadas en la lógica abductiva ya que es preciso contemplar las complicadas
relaciones que existen entre tales niveles. En efecto, un mínimo cambio en una letra puede
hacer cambiar totalmente el significado de una frase. A su vez, la semántica de la oración
tendrá repercusiones sintácticas. La lógica abductiva, afirma Hobbs, permite solucionar de
forma elegante y potente una gran cantidad de problemas de este tipo. En su proyecto TACI-
TUS, Hobbs aplica el razonamiento abductivo para la búsqueda de explicaciones que hagan
que la forma lógica del texto sea válida (entendiendo por forma lógica del texto la traducción
a un lenguaje lógico de un texto en lenguaje natural). Para Hobbs, interpretar una sentencia
es comprobar su forma lógica junto con las restricciones que los predicados imponen en sus
argumentos; mezclar las redundancias cuando sea posible y “permitir suposiciones” cuando
sea necesario.
Se supone que tenemos una base de dato de conocimiento (hechos y reglas), que permiten
comprobar la forma lógica de una oración (que habrá sido hallada a partir de un análisis
sintáctico o semántico a partir de la oración origen). Esta base contendrá de todo tipo de
información: desde la puramente lingüística, hasta información sobre creencias, presupuestos,
y cualquiera que pueda potencialmente afectar a la traducción.
Ingeniería del software. En este área, la utilidad de la lógica abductiva se hace patente
para detectar inconsistencias, violaciones de las propiedades de los sistemas, ayudando al
63