Arquitecturas paralelas de computador especializadas en procesos de búsqueda en espacios de estados

Resumen

Cada vez se concede mayor importancia a las aplicaciones simbólicas de los computadores en particular a las relacionadas con el área de la inteligencia artificial. En este campo las investigaciones han estado centradas durante muchos años en el desarrollo de algoritmos y programas; sin embargo en la actualidad se concede también una gran importancia al desarrollo de máquinas especializadas en el procesamiento simbólico. El trabajo que aquí se resume aborda el diseño de computadores paralelos especializados en los procesos de búsqueda en espacios de estados que son la base de un elevado numero de aplicaciones de la inteligencia artificial. En el se desarrolla una arquitectura genérica para los procesos de búsqueda basada en un multicomputador en el que las unidades elementales de procesamiento están realizadas mediante transputers un nuevo procesador diseñado específicamente para construir este tipo de sistemas (los multicomputadores). La arquitectura genérica desarrollada no tendría ningún interés si no fuera para aplicarla a problemas de búsqueda concretos. La adaptación de dicha arquitectura a cada problema particular puede resultar en principio muy compleja y por esta razón se ha desarrollado en el trabajo una metodología para el diseño de sistemas multicomputador empleando el lenguaje Occam como herramienta básica. La metodología es valida para sistemas multicomputador en general y no solo para los dedicados a resolver problemas de búsqueda. Por ultimo para detallar los aspectos del diseño de una arquitectura concreta se ha aplicado la metodología propuesta a la realización de una maquina especializada en resolver problemas de encaminamiento en particular el diseño automático del conexionado de un circuito impreso mediante técnicas de búsqueda heurística.