UHU – Gonzalo A. Aranda-Corral

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.

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

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

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

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!

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.

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

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

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.

Desde hace tiempo me mueve el tema de las competiciones de videojuegos usando Bots de inteligencia Artificial, pero nunca he tenido un gran tiempo para dedicárselo.

Ahora tampoco, pero me ha llamado la atención de que están naciendo una gran cantidad de competiciones y de muy diversas naturalezas.

Al principio era, básicamente, realizar un jugador que lo hiciera medianamente bien, luego se fue ampliando a que hubiese varios de ellos y se coordinasen de alguna manera.

Ahora son de casi cualquier cosa, datamining, refuerzo, genéticos…  hasta generación de niveles automática.

Esta es una relación de competiciones que me han llegado esta semana:

• AAIA’17 Game related Data Mining challenge
  • AAIA’17 Data Mining Challenge is the fourth data mining competition organized within the framework of International Symposium Advances in Artificial Intelligence and Applications (https://fedcsis.org/2017/aaia). This time, the task is to come up with an efficient prediction model which would help AI to play the game of Hearthstone: Heroes of Warcraft. The competition is kindly sponsored by Silver Bullet Solutions and Polish Information Processing Society (PTI).
    https://knowledgepit.fedcsis.org/contest/view.php?id=120
• Game Data Mining Competition
  • In game analytics field, the game data mining has been recognized as one of the important tools to understand game players’ behaviors. It can help game companies predict players’ churn/retention or purchase behaviors from game log data. Although the game log data mining is so important in game AI community, there are few public datasets available to researchers and it limits the growth of the field. In this competition, participants can access to the big game log data recorded by NCSOFT, one of the biggest game companies in South Korea. The goal of this competition is to predict the game players’ engagement to commercial MMORPG game from the massive game log data. Especially, the game has experienced the change of payment policy from fixed charge system to free-to-play. This competition will evaluate entries’ robust performance to make predictions on test datasets.
    https://cilab.sejong.ac.kr/gdmc2017/
• The Ms. Pac-Man Vs Ghost Team Competition
  • This is a partially observable challenge to write either the best Ms. Pac-Man or Ghost Team agents.
    http://www.pacmanvghosts.co.uk/index.html
• The Text-Based Adventure AI Competition is running again this year at CIG in New York.
  • We are seeking participants keen to develop AIs that can play classic text-based adventure games (e.g. Zork).
    http://atkrye.github.io/IEEE-CIG-Text-Adventurer-Competition/

¿Alguien se anima?