herramientas SBC

Herramientas para Desarrollo de SBC
Para pasar desde el diseño abstracto hasta un sistema implementado y listo para ser ejecutado en una computadora, se debe expresar en una forma que el sistema computacional entienda. Para ello se puede utilizar un lenguaje programación o un sistema especialmente diseñado para desarrollar SBC. La pregunta inmediata es ¿Cuál de ellos utilizar? En lassiguientes secciones se puede encontrar una posible respuesta.
Lenguajes de Programación
En principio, cualquier lenguaje de programación puede ser utilizado. Siendo así de amplio el espectro del cual se puede escoger un lenguaje para programar un SBC, se debe considerar como factor importante de decisión, la extensión en la cual el lenguaje cubre o se adecua a los requerimientos de diseño. Atendiendo ala forma de estructurar sus instrucciones, se los puede dividir en:
IMPERATIVOS: PASCAL, C/C++.
FUNCIONALES: LISP.
DECLARATIVOS: PROLOG, CHIP, OPS5.
ORIENTADOS A OBJETOS: SmallTalk, Hypercard, CLOS.
Tradicionalmente LISP y PROLOG han sido los lenguajes que se han utilizado para la programación de SBC. Estos lenguajes ofrecen características especialmente diseñadas para manejar problemasgeneralmente encontrados en IA. Por este motivo se los conoce como lenguajes de IA.
Una de las principales características que comparten los lenguajes LISP y PROLOG, como consecuencia de su respectiva estructura, es que pueden ser utilizados para escribir programas capaces de examinar a otros programas, incluyendo a ellos mismos. Esta capacidad se requiere, por ejemplo, para hacer que el programaexplique sus conclusiones. Esto sólo puede hacerse si el programa tiene la capacidad de examinar su propio modo de operación.
Lisp
Su nombre se deriva de LIStProcessor. LISP fue el primer lenguaje para procesamiento simbólico. John McCarthy lo desarrolló en 1958, en el Instituto de Tecnología de Massachusetts (MIT), inicialmente como un lenguaje de programación con el cual los investigadorespudieran implementar eficientemente programas de computadora capaces de razonar. Rápidamente LISP se hizo popular por su capacidad de manipular símbolos y fue escogido para el desarrollo de muchos sistemas de IA.
Existen varios dialectos de LISP en el mercado informático, sin embargo COMMON LISP puede considerarse como el estándar de facto. Actualmente, LISP se lo utiliza en varios dominios queincluyen la escritura de compiladores, sistemas para diseño VLSI, sistemas para diseño mecánico asistido por computadora (AUTOCAD), animaciones gráficas y sistemas basados en conocimiento.

Prolog
PROgramming in LOGic (PROLOG), es otro de los lenguajes de programación ampliamente utilizados en IA. PROLOG fue desarrollado en Francia, en 1973 por Alain Colmenauer y su equipo de investigación en laUniversidad de Marseilles. Inicialmente fue utilizado para el procesamiento de lenguaje natural, pero posteriormente se popularizó entre los desarrolladores de aplicaciones de IA por su capacidad de manipulación simbólica. Utilizando los resultados del grupo francés, Robert Kowalski de la Universidad de Edimburgo, en Escocia, desarrolló la teoría de la programación lógica. La sintaxis propuesta porEdimburgo, se considera el estándar de facto del PROLOG.
A partir de 1981 tuvo una importante difusión en todo el mundo, especialmente porque los japoneses decidieron utilizar PROLOG para el desarrollo de sus sistemas de computación de quinta generación. Actualmente existen varios dialectos del PROLOG para diferentes plataformas.
OPS5
OfficialProductionSystem5 (OPS5), es un lenguaje paraingeniería cognoscitiva que soporta el método de representación del conocimiento en forma de reglas. Incorpora un módulo unificador, un intérprete que incluye un mecanismo de encadenamiento progresivo, y herramientas para edición y depuración de los programas. OPS5 es un miembro de la familia de lenguajes de programación desarrollados en la Universidad Carnegie - Mellon. Varias compañías han...