Programación Lógica y Recuperación de Información

Uno de los artículos incluidos en el último número de Biblos (Revista Electrónica de Ciencias de la Información; nº 20, octubre - diciembre 2004), lleva por título "Ensayo de un sistema de extracción de información (técnica de inteligencia artificial) en un centro de información especializado en sanidad vegetal." (el artículo en sí está en formato PDF). Escrito por Ingrid Paz García (Cuba), en él se detalla un sistema experto aplicado a la extracción de información de artículos de carácter científico, cuya temática versa en este caso sobre la sanidad vegetal. La extracción de información -una de las tareas más relevantes dentro de lo que se ha dado en conocer como minería de datos [1 -PDF-] [2] [3] [4] [5] o data mining-, añade complementariamente, a las técnicas clásicas de la recuperación de información, otras propias del ámbito de la inteligencia artificial, que permiten obtener hechos (datos relevantes) a partir de los documentos recuperados.

Por cierto, y en relación con el data mining, hay muchos expertos en la materia a los que no les gusta la traducción literal "minería de datos"; prefieren expresiones más ajustadas al sentido y uso original del término anglosajón tales como "explotación de datos" o "descubrimiento de datos", por ejemplo.

El sistema experto descrito en el artículo, utilizado para la extracción de información relevante de artículos de contenido científico-técnico, recibe la denominación SEISAV (Sistema de Extracción de Información en Sanidad Vegetal), y está basado en el sistema CRYSTAL (Universidad de Massachussets), orientado al tratamiento de textos exclusivamente en inglés, por lo que ha sido convenientemente adaptado para trabajar con las particularidades lingüísticas del idioma castellano, y dotado de mayores posibilidades de uso. Induce (construye) automáticamente reglas de análisis de los textos a partir de un entrenamiento previo (método de "Entrenamiento automático"), si bien estas reglas pueden ser construidas manualmente por un experto familiarizado en este tipo de sistemas, y en el dominio específico de aplicación (método de "Ingeniería por Conocimiento").

El sistema CRYSTAL es un shell (entorno de desarrollo) diseñado originalmente para trabajar bajo MS-DOS, comercializado en Europa por Intelligent Environments. Sin embargo, nuevos entornos (AM para Windows) relegaron el desarrollo de CRYSTAL como producto comercial en los años 90 del siglo pasado.

El funcionamiento del sistema, y varios ejemplos de uso, están perfectamente explicados en el artículo, de forma bastante amena, con un nivel de complejidad muy asequible incluso para las personas sin conocimientos previos en relación con los sistemas expertos [1] [2] [3] [4] [5] [6] [7], que hace que sea una lectura más que recomendable para toda persona interesada en la puesta en marcha de estos sistemas aplicados al tratamiento documental y la gestión de la información de carácter significativo (en contraposición a la recuperación y tratamiento de información en "bruto").

[0] comentarios | # | lista |

En Proofs and Logic Solving Book Reviews, se listan todas las reseñas publicadas en la web de la Mathematical Association of America (MAA Online), dentro de la sección Read This! - The MAA Online book review column, sobre monografías cuya temática principal gira en torno a la lógica y la demostración, así como disciplinas conexas de la matemática, como por ejemplo la teoría de conjuntos. Para localizar reseñas sobre otras temáticas del ámbito de estudio de las matemáticas, acudir al índice por temas.

También son destacables en la web de MAA Online, las breves columnas mensuales (en el menú desplegable de la izquierda del portal de entrada, están recogidas bajo el epígrafe "Publications, Columns"), escritas por diversos autores sobre toda clase de temas relacionados con el amplio universo de las matemáticas, como por ejemplo la de Keith Devlin, la más veterana de todas, publicada bajo el epígrafe Devlin's Angle; este autor, y sobre el tema de la lógica y la deducción, tiene alguna cosa interesante, como son los breves comentarios The mathematics of human thought, Laws of Thought y Are Mathematicians Turning Soft?, entre otros.

Actualización (07/01/2005): en el artículo de este mes (enero 2005), Last doubts removed about the proof of the Four Color Theorem, K. Devlin da cuenta de nuevas aportaciones en la demostración, mediante medios informáticos, del Problema de los Cuatro Colores [1] [2] [3], un clásico en el campo de la lógica deductiva, la demostración matemática, la topología, y la combinatoria, y hace un repaso a las diversas conjeturas que este problema a suscitado a lo largo del tiempo. Este problema se puede definir, brevemente, mediante el siguiente enunciado:

"En un plano o en una esfera no se necesitan más de cuatro colores para colorear un mapa de manera que dos regiones vecinas, es decir, que compartan una frontera y no únicamente un punto, no queden coloreadas del mismo color"

[Fuente]

John McCarthy, uno de los pioneros de la Inteligencia Artificial, analizó, en el artículo Coloring Maps and the Kowalski Doctrine (1982), un programa escrito en Prolog, y sus algoritmos subyacentes, que resolvía este problema aplicando la metodología de la programación lógica a demostraciones matemáticas anteriores, alcanzadas tras el enunciado del problema en la segunda mitad del siglo XIX.

[0] comentarios | # | lista |