El inters por la inteligencia articial (IA) comenz a mediados de los 1950s Parte de este inters se deriv de la lingstica , psicologa

y matemticas

Los lingistas buscaban un procesamiento en lenguaje natural. Los psiclogos estaban interesados en el almacenamiento y la recuperacin de informacin y procesos del cerebro Los matemticos estaban interesados en mecanizar ciertos procesos inteligentes

mtodo para permitir a las computadoras procesar datos simblicos en listas

John McCarthy en el otoo de 1958, y Marvin Minsky formaron el MITAI Project, con patrocinio del Laboratorio de Investigacin en Electrnica.

La versin original de LISP (List Processor) se desarroll en la IBM 704, y es uno de los lenguajes de programacin ms antiguos que todava sigue en uso.

Las funciones recursivas para procesamiento de listas acompaadas de expresiones condiciones, formaban una base ms fcil de entender

McCarthy se dio cuenta de que era posible escribir una funcin universal de LISP la cual podra interpretar cualquier otra funcin del lenguaje usando el concepto de recursividad.

Evala Expresiones Una Expresin puede ser un tomo o una Lista

Lista

Lista

Numricos
7,100,3.1542

(7 100 3.14) (a prueba)

Vacia
()

Smbolos:
a, prueba, a234

Listas con listas

(a(d e) (j i) f d)

Esperar

Lisp muestra el prompt (>)

Leer

El usuario escribe una expresin

Evaluar

Lisp la evala

Imprimir

tomos numricos
Devuelve su valor

tomos Simblicos
debern de Comenzar con : para devolver su valor, de lo contrario marcara error

Evaluacin --Resultado --Evaluacin --Resultado --Evaluacin --Resultado ---

> 100 100 > : hola mundo hola mundo > hola mundo error: unbound variable

Se usa notacin Prefija

Ejemplos
6+ 9 (+6 9) 6+ 4 (2-1) (+ 6 (* 3 (2-1)))

 (+ 6 (* 3 (21))) (+6(*3 1)) (+ 6 3) 9

(setq simbolo valor)

>(setq y 78) >y > 78

>(setq w (+3 4)) >7 > w >7

(let (ligadura) expresin)

> > > > (let (x 4)(y 6)(z 3) (+ z (* 1 y) (- 2 x)) 11 y error

(cond (exprecion logica) resultado)

> (let ((x 1)(y 2)(z 2) )) (cond (eql x y) 1) (cond (eql y z) 2) (eql (x z)3))) >2

> (setq muestra (list r m n)) > (first muestra) >r

(first (lista) )

> (setq muestra (list r m n)) > (rest muestra) > (m n)

(rest (lista) )

> (eq x x) >T >(eq y x) > NIL

(eq simbolo 1 simbolo 2 )

Solucionador General de Problemas es un

programa Informtico creado en 1959 por Herbert A. Simon, JC Shaw, y Allen Newell
Objetivo: construir una mquina capaz de resolver problemas de carcter general.

Cualquier problema simblico formalizado puede ser resuelto, por el GSP. Por ejemplo: prueba de teoremas, los problemas geomtricos y el juego de ajedrez

El GSP fue el primer programa de computadora en el que se separ el conocimiento de los problemas, de su estrategia sobre cmo resolverlos. Fue implementado en el lenguaje de programacin IPL(Information Processing Language ) de bajo nivel.
IPL-V List Structure Example Name L1 100 101 9-1 200 201 202 203 SYMB 9-1 S4 S5 0 A1 V1 A2 V2 LINK 100 101 0 200 201 202 203 0

Mientras GSP resuelve problemas simples, como las Torres de Hanoi que podran ser lo suficientemente formalizadas ,no podra solucionar cualquier problema de la vida real, porque la bsqueda pierde fcilmente en la explosin combinatoria de estados intermedios.

El usuario defina los objetos y las operaciones que se podra hacer con y sobre los objetos y el GSP generaba la heurstica mediante un anlisis de los medios y los objetivos, a fin de resolver los problemas. Para ello, se centraba en las operaciones disponibles, encontrando qu entradas eran aceptables, y qu resultados se generaban. Se creaban entonces subobjetivos para conseguir aproximarse ms y ms a la meta anteriormente definida.

El paradigma del GSP con el tiempo se convirti en la arquitectura Soar para la Inteligencia Artificial