Historia Medica

Lenguajes Lógicos
Otra forma de razonar para resolver problemas en matemáticas se fundamenta en la
lógica de primer orden. El conocimiento básico de las matemáticas se puede representar
en la lógica en forma de axiomas, a los cuales se añaden reglas formales para deducir
cosas verdaderas (teoremas). Gracias al trabajo de algunos matemáticos, de finales de
siglo pasado y principios de éste,se encontró la manera de automatizar
computacionalmente el razonamiento lógico -particularmente para un subconjunto
significativo de la lógica de primer orden- que permitió que la lógica matemática diera
origen a otro tipo de lenguajes de programación, conocidos como lenguajes lógicos.
También se conoce a estos lenguajes, y a los funcionales, como lenguajes declarativos,
porque parasolucionar un problema el programador solo tiene que describirlo con
axiomas y reglas de deducción en el caso de la programación lógica y con funciones en
el caso de la programación funcional.
En los lenguajes lógicos se utiliza el formalismo de la lógica para representar el
conocimiento sobre un problema y para hacer preguntas que se vuelven teoremas si se
demuestra que se pueden deducir a partirdel conocimiento dado en forma de axiomas y
de las reglas de deducción estipuladas. Así se encuentran soluciones a problemas
formulados como preguntas. Con base en la información expresada dentro de la lógica
de primer orden, se formulan las preguntas sobre el dominio del problema y el intérprete
del lenguaje lógico trata de encontrar la respuesta automáticamente. El conocimiento
sobre elproblema se expresa en forma de predicados (axiomas) que establecen
relaciones sobre los símbolos que representan los datos del dominio del problema.
El PROLOG surgió a principio de los 70 y es el primer lenguaje lógico. Las
aplicaciones en la Inteligencia Artificial lo mantienen vivo y útil.
En el caso de la programación lógica, el trabajo del programador es la buena
descripción del problema enforma de hechos y reglas. A partir de ésta se pueden
encontrar muchas soluciones dependiendo de como se formulen las preguntas (metas),
que tienen sentido para el problema. Si el programa está bien definido, el sistema
encuentra automáticamente las respuestas a las preguntas formuladas. En este caso ya
no es necesario definir el algoritmo de solución, como en la programación imperativa,“Historia de la programación”
Inteligencia en Redes de
Comunicaciones
-3- Jessica Rivero Espinosa
lo fundamental aquí es expresar bien el conocimiento sobre el problema. En
programación lógica, al igual que en programación funcional, el programa, en este caso
los hechos y las reglas, están muy alejados del modelo von Neumann que posee la
máquina en la que tienen que ser interpretados; por lo que laeficiencia de la ejecución
es inferior a la de un programa equivalente en lenguaje imperativo. Sin embargo, para
cierto tipo de problemas, la formulación del programa mismo puede ser mucho más
sencilla y natural.
Lenguajes Orientados a Objetos
A mediados de los años 60 se empezó a usar las computadoras para la simulación de
problemas del mundo real. Pero el mundo real está lleno deobjetos, en la mayoría de
los casos complejos, los cuales difícilmente se traducen a los tipos de datos primitivos
de los lenguajes imperativos. Así surgió el concepto de objeto y sus colecciones (clases
de objetos), que permitieron introducir abstracciones de datos a los lenguajes de
programación. La posibilidad de reutilización del código y sus indispensables
modificaciones, se reflejaron en laidea de las jerarquías de herencia de clases. También
surgió el concepto de polimorfismo introducido vía procedimientos virtuales. Todos
estos conceptos (que hoy identificamos como conceptos del modelo de objetos) fueron
presentados en el lenguaje Simula 67, desde el año 1967, aunque este lenguaje estaba
enfocado a aplicaciones de simulación discreta.
Fue en los años 80 cuando surgieron...