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