Leandro Caniglia - self ideas asStream next

Recien me topo con el video de la excelente charla del bueno de Leandro Caniglia (que tiene pileta en el lugar de trabajo, life is not fair ;-) (la encontre indirectamente gracias a otro enlace de maese @garduino)

http://www.youtube.com/watch?v=tuOqJU9BtkQ

Una cosa que le comente a maese Caniglia en el pasillo, es la existencia de Eurisko, lo vi en los 80 en Lisp. Les dejo

http://en.wikipedia.org/wiki/Eurisko

Eurisko (Gr., I discover) is a program written by Douglas Lenat in RLL-1, a representation language itself written in the Lisp programming language. A sequel to Automated Mathematician, it consists of heuristics, i.e. rules of thumb, including heuristics describing how to use and change its own heuristics.^[1][2] Lenat was frustrated by Automated Mathematician's constraint to a single domain and so developed Eurisko; his frustration with the effort of encoding domain knowledge for Eurisko led to Lenat's subsequent (and, as of 2008, continuing) development of Cyc. Lenat envisions ultimately coupling the Cyc knowledgebase with the Eurisko discovery engine.

Eurisko entro en mi radar en un articulo del Scientific American, en 1985, que todavia conservo.

Ver el paper mas nuevo

http://web.archive.org/web/20050122170922/http://web.media.mit.edu/~haase/thesis/

por ejemplo, el programa AM (anterior a Eurisko) "inventa la cardinalidad"

http://web.archive.org/web/20050313090303/http://web.media.mit.edu/~haase/thesis/node55.html#SECTION00712000000000000000

Ese paper debe estar en PDF aca

http://dspace.mit.edu/bitstream/handle/1721.1/14257/22713693.pdf?sequence=1

Tendria que leer

http://lesswrong.com/lw/10g/lets_reimplement_eurisko/

Y para los que puedan pagarlo, hay un articulo de Lenat

http://www.sciencedirect.com/science/article/pii/000437028490016X

sobre por que AM y Eurisko funcionaron

Si, lo se, lo mio es un apostolado ;-)

Nos leemos!

Angel "Java" Lopez

@ajlopez