Logica Abductiva y Lógica Paraconsistente Computacional - here

64 CAPÍTULO 5. APLICACIONES DE LA LÓGICA ABDUCTIVA
depurado de los errores y en la gestión de modificación de requisitos.
Las especificaciones son la clave para el desarrollo de productos software. Existen muchas
aplicaciones del razonamiento abductivo en la ingeniería del software, entre ellas, las que
sirven como ayuda para el análisis y mantenimiento de las especificaciones de un sistema. Dada
una especificación y algunos invariantes del mismo, el mecanismo de razonamiento abductivo
puede usarse para comprobar si estos invariantes se satisfacen como dice la especificación. Para
cada invariante el razonamiento abductivo puede identificar un conjunto de contraejemplos,
si es que existen, del invariante. La información incluida en el contraejemplo depende del tipo
de especificación considerada.
Otra aplicación de la abducción en este área consiste en la modificación de especificaciones,
concretamente, detectar inconsistencias o reestablecer algunas propiedades del sistema
que hayan sido violadas tras algún cambio en las especificaciones del sistema. Esto se traduce
en una modificación de la teoría del problema (las propiedades de las que partimos). Un
problema al modificar la teoría del problema consiste en identificar los cambios que deben ser
hechos en la teoría. Por ejemplo, la incorporación de información (tales como propiedades),
que en términos lógicos quiere decir pedir que de la información deba o no deba inferirse de
una especificación dada. El uso de la abducción en este contexto es útil para interpretar los
cambios como una observación que debe ser explicada y la explicación de la observación como
cambios a realizar.
Planificación. La planificación es una de las ramas de la inteligencia artificial con más
aplicaciones industriales. El hecho observado es el objetivo que nos marcamos (al que queremos
llegar) y las hipótesis abductivas los posibles caminos para conseguirlo. La mejor explicación
será la más económica, corta,. . .
Una de las características más señaladas de la inteligencia humana es la planificación de
tareas que conduzcan a algún fin. Se conoce bien la meta y es necesario explicar o justificar
los caminos que llevarían a ella. A menudo, las acciones que se pueden escoger para obtener
esa meta perseguida no son únicas, sino alternativas. Entre las posibilidades de que se dispone,
se eligen aquellas cuya modificación comporta un cambio local, no global.
Un ámbito en el que se puede ejemplificar esta aplicación es el los bloques, popularizado
por Terry Winograd en el mundo de la IA y que recuerda a juegos que involucran piezas
geométricas, como el Tetris o el Tangran.
También en IA, el razonamiento basado en marcos incorpora ciertos aspectos de la metodología
abductiva. Esto se debe a que se comparan situaciones reales, sobre las que se deben
tomar decisiones, con patrones de diferentes situaciones prototipo que pueden estar relacionadas.
Estas decisiones no siempre forman parte una solución, es decir, no sabemos si es
correcto lo que hemos hecho, por lo tanto la experiencia es un guía del camino a seguir en la
búsqueda de la solución. Además es habitual razonar desde el objetivo hacia el estado inicial,
haciendo que se vayan consiguiendo las precondiciones necesarias para los estados anteriores
al objetivo, esto nos lleva al uso de la abducción.
Asimilación de conocimiento. Muchas de las aplicaciones de la inteligencia artificial están
relacionadas con la representación y asimilación de conocimiento. En este caso, puede emplearse
la abducción para extender la base de conocimiento, no tanto por acumulación, sino