LENGUAJES:
El Lisp (o LISP) es
una familia de lenguajes de programación de computadora de tipo funcional con
una larga historia y una sintaxis completamente entre paréntesis. Especificado
originalmente en 1958 por John McCarthy y sus colaboradores en el Instituto
Tecnológico de Massachusetts, el Lisp es el segundo más viejo lenguaje de
programación de alto nivel de extenso uso hoy en día; solamente el FORTRAN es
más viejo. Al igual que el FORTRAN, el Lisp ha cambiado mucho desde sus
comienzos, y han existido un número de dialectos en su historia. LENGUAJES El
Lisp (o LISP) es una familia de lenguajes de programación de computadora de
tipo funcional con una larga historia y una sintaxis completamente entre
paréntesis. Especificado originalmente en 1958 por John McCarthy y sus
colaboradores en el Instituto Tecnológico de Massachusetts, el Lisp es el
segundo más viejo lenguaje de programación de alto nivel de extenso uso hoy en
día; solamente el FORTRAN es más viejo. Al igual que el FORTRAN, el Lisp ha
cambiado mucho desde sus comienzos, y han existido un número de dialectos en su
historia.
LENGUAJE PROLOG:
es un lenguaje de programación creado para representar y
utilizar el conocimiento que se tiene sobre un determinado dominio. Más
exactamente, el dominio es un conjunto de objetos y el conocimiento se
representa por un conjunto de relaciones que describen las propiedades de los
objetos y sus interrelaciones. Un conjunto de reglas que describa estas
propiedades y estas relaciones es un programa PROLOG. Una definición más
accesible para el usuario común sería:
·
Prolog: es un lenguaje de programación que es usado para resolver problemas que
envuelven objetos y las relaciones entre ellos
Su definición basada en la lógica formal, permite ejecutar
estatutos que no son otra cosa que oraciones de un lenguaje lógico elemental
particular de cláusulas. Prolog por su naturaleza muestra una habilidad para
describir gramáticas, en particular gramáticas libres de contexto.
LENGUAJE CHIP:
Un lenguaje de
programación de bajo nivel es el que proporciona un conjunto de instrucciones
aritmeticológicas sin la capacidad de encapsular dichas instrucciones en
funciones que no estén ya contempladas en la arquitectura del hardware.
LENGUAJE OPS5:
El lenguaje OPS5 es
quizás el menos conocido de los nombrados. No obstante, su importancia en el
desarrollo de la inteligencia artificial fue clave dado que fue el primer
lenguaje usado con resultado de éxito en un sistema experto.
La familia de los lenguajes OPS (Oficial Production System)
fue desarrollada a finales de la década de 1970 por Charles Forgy, se trata de
un lenguaje para ingeniería cognoscitiva que aguanta el procedimiento de
representación del conocimiento en forma de reglas.
LENGUAJE SMALLTALK:
Es un lenguaje de
programación que permite realizar tareas de computación mediante la interacción
con un entorno de objetos virtuales. Metafóricamente, se puede considerar que
un Smalltalk es un mundo virtual donde viven objetos que se comunican mediante
el envío de mensajes.
Un sistema Smalltalk
está compuesto por:
- ·
Máquina virtual
- · Imagen virtual que
contiene todos los objetos del sistema
- · Lenguaje de programación
(también conocido como Smalltalk)
- · Biblioteca de Objetos
reusables
- · Opcionalmente un entorno
de desarrollo que funciona como un sistema en tiempo de ejecución
LENGUAJE HYPERCARD:
HyperCard fue una
aplicación informática de Apple Computer que se contó entre los primeros
sistemas hipermedia con éxito anteriores a la World Wide Web. Conceptualmente
se acerca a una base de datos, pues almacena información, siendo además
gráfico, flexible y capaz de crear ficheros fáciles de modificar. También
incluía HyperTalk, un lenguaje de programación potente y relativamente fácil de
usar, para manipular los datos y la interfaz de usuario. Los usuarios de
HyperCard lo usaban a menudo como un sistema de programación para el desarrollo
rápido de aplicaciones más que como base de datos.
HyperCard fue lanzado
originalmente con el System Software 6 en 1987 y retirado definitivamente del
mercado en marzo de 2004, aunque para entonces hacía muchos años que no se
actualizaba. HyperCard corre nativamente sólo en Mac OS versiones 9 y
anteriores, pero puede usarse aún en el modo Classic de Mac OS X.
LENGUAJE CLOS:
CLOS es el acrónimo
inglés de Common Lisp Object System y es una extensión de ANSI Common Lisp para
permitir la programación orientada a objetos que ha sido adoptada por otros
dialectos de Lisp como EuLisp o Emacs Lisp. 1 Inicialmente fue propuesta como
un añadido (add-on) del lenguaje, pero posteriormente CLOS fue adoptado como
parte de estándar ANSI de Common Lisp. CLOS es un lenguaje de programación
dinámico dirigido a objetos que difiere mucho de lo que podemos encontrar en
lenguajes de programación estáticos orientados a objetos como C++ o Java. CLOS
está inspirado en sistemas Lisp orientados a objetos anteriores como MIT
Flavors o Common LOOPS, aunque es más general que éstos. Precisamente la
generalidad de CLOS es la característica más difícil de obtener, aunque crear
un sistema OO en Lisp es fácil.
CARACTERÍSTICAS DE
LOS LENGUAJES DE INTELIGENCIA ARTIFICIAL.
CONOCIMIENTO ESPECIALIZADO:
El razonamiento
basado en el conocimiento, implica que estos programas incorporan factores y
relaciones del mundo real y del ámbito del conocimiento en que ellos operan. Al
contrario de los programas para propósito específico, como los de contabilidad
y cálculos científicos; los programas de Inteligencia Artificial pueden
distinguir entre el programa de razonamiento o motor de inferencia y base de
conocimientos dándole la capacidad de explicar discrepancias entre ellas.
Los conceptos de
conocimiento e inteligencia están íntimamente ligados. La inteligencia requiere
de la posesión y acceso al conocimiento. Conocimiento no debe ser confundido
con datos o información. El conocimiento incluye y requiere del uso de datos e
información. Además, combina relaciones, dependencias, y la noción del saber
con datos e información.
A veces es también
útil o más aun necesario distinguir entre conocimiento y otros términos como
creencia e hipótesis.
Esencialmente, se define como creencia a toda expresión que
tiene significado, que es coherente y puede ser representada. En consecuencia
una creencia puede ser verdadera o falsa. Hipótesis se define como una creencia
justificada que no se conoce sea verdadera. Una hipótesis es una creencia que
está respaldada por cierta evidencia, pero todavía puede resultar falsa.
Finalmente, se puede también decir que conocimiento es una creencia justificada
como verdadera.
Otros términos relacionados con el conocimiento y que son
ocasionalmente empleados son epistemología y metaconocimiento. Epistemología es
el estudio de la naturaleza del conocimiento, mientras que metaconocimiento es
conocimiento acerca del conocimiento, esto es, conocimiento acerca de lo que se
conoce.
