agosto 8th, 2023

APLI2

Hola, Ahora bastante pronto… así es la vida.. INESPERADA!

Bueno, Hoy tenía la exposición de mi trabajo sobre APLI2 y LLMs, pero la realidad manda, y los dos estudiantes de máster tienen su fecha de entrega el próximo 19 (de agosto, sí).., y ellos eran prioridad.

Ya tengo hecha la presentación y la subiré cuando la presente dentro del grupo de trabajo. Antes me parece una descortesía.

En fin, creo que hay material SUFICIENTE para escribir un artículo de docencia y por supuesto para la charla que daré también en el seminario SIAUS, cuando corresponda. Usaré este último para darle los últimos retoques.

 

Saludos.

agosto 5th, 2023

Algunos detalles

Hola de nuevo!

No estoy siendo muy constante… pero mucho más de lo que era antes, así que, voy a considerarlo un éxito (el que no se consuela es porque no quiere).

Hoy escribo para contar algo muuuuy breve, pero creo que, a la par, importante.

Últimos hitos conseguidos:

  • Acabo de instalar, recompilando desde cero, Prover9 y Mace4 en mi MacBook Pro 2020- MacOs Ventura 13.4.1 – 22F82.
    Creo que va bastante bien, y me va a servir por si quiero hacer más cosas con APLI2 y para empezar a hacer cosas con ABC.
  • A principios de semana instalé una librería de Python para manejar Prolog, de manera bastante ágil desde Python.
    La librería se llama PySwip y la instalación no ha estado libre de problemas. De hecho, en el Mac parece ser que trae un bug de fábrica… y no se debe de instalar con el método habitual de pip. Si lo has hecho y no te va, desinstálalos y prueba a hacer esto:

    python3 -mpip install git+https://github.com/yuce/pyswip@master#egg=pyswip --user

    Además de meter 2 lineas en el ~/.zshrc

    export PATH=$PATH:/Applications/SWI-Prolog.app/Contents/MacOS
    export DYLD_FALLBACK_LIBRARY_PATH=/Applications/SWI-Prolog.app/Contents/Frameworks
    
    
    
    
    
    

    Bueno… y por último, me han ofrecido pertenecer oficialmente al proyecto ABC de la Universidad de Edinburgh… TODO UN ORGULLO (no hay que explicar que acepté…no?)

Saludos.

Gonzalo

julio 18th, 2023

Mes y medio…

Hola a tod@s,
Un poco perdido desde la última vez, pero no he parado!
La verdad es que están siendo semanas intensas y de muchas vivencias, personales y de trabajo).

Con respecto al trabajo, ya que ahora no me da tiempo a comentar mucho más, he de decir que en APLI2 estoy realizando muchas experimentaciones y sacando algunas conclusiones interesantes.

He traducido toda la base de datos de preguntas y símbolos al inglés, para posteriormente hacérselo pasar a ChatGPT y que trate de formalizarlo.
El resultado ha sido considerablemente peor que en Español. ¿la razón?… pues creo que se pierde mucho en la traducción de los textos y, sobre todo, de los símbolos por separado. Creo que el sistema no coge suficiente información de contexto para hacer una buena traducción del lenguaje.
No es que no sea inglés, pero seguramente se pierda mucha intencionalidad lógica que hay detrás las frases.

Para constatar eso, vamos a realizar dos experimentos más.. uno con las versiones originales de los problemas que podamos encontrar… y otra con problemas nuevos, sin traducir al español… a ver si mejora el resultado.

Otra cosa tremenda ha sido el encontrar un paper de los griegos que continuaron con FITS y KRRT… Éstos definen un sistema experto para calificar las dificultades de los enunciados y fórmulas a formalizar.
Me lo he implementado entero y ahora me queda ver la tasa de acierto/fallo si se alinea de alguna manera con esta dificultad.
También me gustaría extender el sistema experto para categorizar las fórmulas de Proposicional, ya que el paper se focaliza en las de Primer Orden.

y nada…. AL TORO!!

Saludos.
Gonzalo

junio 26th, 2023

Tercera semana

Pues nada… aquí seguimos… Cogiendo velocidad de crucero!.

La semana pasada pude avanzar bastante en el tema científico, y estuve trabajando, principalmente, sobre Paella(c) y APLI2… y haciendo avances interesantes.

En Paella(c) me metí en un buen jardín, y es que para terminar la parte de Full me puse a analizar código anterior… y ME PUSE A CAMBIARLO!. El caso es que el Interface de Usuario lo he refactorizado y separado en nuevas clases y creo que va a ser más fácil de mantener y ampliar en nuevos casos.

Estoy también pensando en un nuevo “sabor” y tratar de meter parte de la LPO (Datalog) dentro de Paella… pero es una idea solamente, todavía.

Con respecto al APLI2, hice todas las preguntas al ChatGPT que teníamos en la base de datos y tenemos resultados… no tan espectaculares como en otras áreas. Queda analizarlos un poco mas en profundidad.

Por último, asistí a unos pocos de seminarios (es lo realmente interesante de estar fuera, asistir a lo que de otra forma sería DIFICIL!)… y la verdad es que ES INTERESANTÍSIMO!

Como no podía ser de otra forma, los LLMs están pegando por aquí también y la gente realiza múltiples trabajos, tratando de aplicarlo a todos los campos. De todos ellos, al final, yo he extraído una conclusión que creo que es interesante…. “La pregunta es casi más importante que la respuesta”. Es decir, para que el sistema te responda algo interesante tenemos que hacerle la pregunta de una manera concreta… si no, puede “alucinar” y darte cualquier respuesta.

El problema, y es lo que tratamos de mostrar con el experimento de APLI2, es que las respuestas que da no tienen ninguna confianza lógica. Es una construcción de frases probabilísticas que, aunque “suenen bonito” pueden ser totalmente falsas.

Hasta ahora, la mayoría de la gente juega con estos LLMs y les hacen preguntas que conocen las respuestas y les resulta curioso el someter a examen a estos sistemas. Eso está bien, pero… que pasaría si le hiciéramos una pregunta IMPORTANTE de la cuál realmente no sabríamos la respuesta… ¿NOS FIARIAMOS DE SU RESPUESTA?

Esta semana que entra se plantea INTERESANTE… tengo visita de España y haremos otro tipo de investigación TAMBIÉN!

G

junio 20th, 2023

Despegando…

Hola a todos,
Pues YA PASÓ LA SEGUNDA SEMANA!!

Lo digo así porque era la semana de MI PRESENTACIÓN!… y en la que debía de dar el “Do de pecho”… y mostrar lo mejor mí y de Paella(c).

En fin, que la presentación fue el miércoles y hasta esa fecha estuve “TOTALLY FOCUSED ON”… y pasando los marrones (tareas de Huelva) hacia delante. Pero claro… el jueves LLEGÓ!… y me he pasado el resto de la semana “achicando historias”.

La charla quedó BIEN!… creo que se entendió… la asistencia no fue masiva, como 12 personas, pero daba gusto hablar ante un público que sabía lógica (y seguramente, mucho más que yo!). Extrayendo conclusiones, me he llevado un par de comentarios que os iré revelando poco a poco y que creo que serán fructíferos para Paella(c) y para todos nosotros.

En fin, científicamente no he avanzado demasiado, pero la verdad es que el final de la semana me dio tiempo a corregir un MONTÓN DE COSAS y casi ponerme al dia de tareas de gestión… aunque no todas.

Bueno… hasta la próxima.
Gonzalo

junio 12th, 2023

Aterrizaje…

Después de tanto tiempo sin escribir, pues nada, me voy a dedicar a predicar con el ejemplo. A mis alumnos de TFG y TFM siempre les digo que se abran un blog para ir contando (desordenadamente) las cosas que van haciendo a lo largo de todo el trayecto… porque después le resultará más fácil hacer la memoria final.

Pues eso voy a hacer. Como ya sabréis, me he venido a (Universidad de) Edimburgo a realizar una estancia PostDoc con el Prof. Alan Bundy, y voy a estar por aquí unos 6 meses.

Esta semana pasada HA SIDO INTENSA!… y ha tenido un poco de todo… TRABAJO pendiente de la UHU, asistencia virtual a una charla sobre LLMs aplicados a la docencia, algo de desarrollo de APIs a LLMs y su aplicación a APLI2…  Pero también ha tenido 2 tours turísticos (uno de la uni y otro de la ciudad)… y como no… ALGO DE MORRIÑA!

Pero bueno… ahora a enfrentar la semana … QUE PROMETE!

octubre 17th, 2019

El siguiente reto…

Hola,
Ya está planteado uno de los siguientes GRANDES retos para la IA… GANAR EL IMO!

Primero se empezó con los juegos de mesa… las damas, el ajedrez, el go… (algunos mejor que otros)…
Luego fue el Jeopardy, juego donde lo que había que adivinar era la pregunta a la respuesta que te daban, y donde la máquina consiguió batir al humano “en su campo”… Esto se consideró como uno de los grandes logros de la IA y se abría la puerta, al menos al pensamiento popular, a que la IA estaba a punto de ser mejor que el humano en todo, hasta razonando.

Ahora se plantea un nuevo reto, y este creo yo que SI representa un GRAN AVANCE en la IA y sobre todo en la capacidad de razonamiento de las máquinas… el IMO Grand Challenge . Este consiste en desarrollar una máquina que sea capaz de ganar la medalla de ORO en la olimpiada matemática, con las mismas reglas que los humanos.

Si se consigue esto, o mejor dicho, cuando se consiga, habremos dado UN PASO DE GIGANTE hacía la automatización del razonamiento, o lo que es lo mismo, la inteligencia de las máquinas.

 

junio 30th, 2019

Algo muy básico…

(lo he visto por internet y no se la fuente original… que el autor me perdone por no citarlo!)

image1

junio 14th, 2018

Diálogos entre Arquitectura, Ciudad y Computación

Hola a todos,

Estamos organizando un Curso de Verano de la UNIA donde tratamos de confluir la Arquitectura y la Computación, tomando como referencia la Ciudad.

Échale un vistazo y VENTE!!! Creo que será de mucho provecho para todos!

(Por favor, difundir! )

Visitar Web

UNIA.1 UNIA.2

 

junio 26th, 2017

Vídeo “Captura la bandera”

Hola a todos,

Este año, en la asignatura de Sistemas Inteligentes, nuestro amigo Daniel Morueta nos ha realizado un video con la ejecución de partidas de la plataforma multiagentes CTF.

Espero que os guste.