agosto 5th, 2023
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
Posted in Investigación, Lógica, Verificación | Comments Off on Algunos detalles
marzo 21st, 2016
Hola a todos,
Ante todo muchas gracias por el apoyo y la participación en las actividades que se poco a poco se van organizando en la Escuela.
Y sobre todo, un agradecimiento especial a Irene Luque (@infusionesurban) que ha hecho un hueco en sus vacaciones y dejar de descansar y estar con los suyos para venir a contarnos lo que está haciendo.
Con respecto a la charla, creo que fue muy ilustrativa de la necesidad que tiene la sociedad de colaborar con la Ingeniería Informática y de que los “Informáticos” se deben de abrir cada día más a la aplicabilidad de sus conocimientos a cualquier campo, por lejano que parezca.
Muchas gracias.
Pd: Próximamente, curso de NetLogo y de Processing.
Posted in Charla, Investigación, Smart City | Comments Off on Charla Smart
marzo 25th, 2015
Me han enviado hoy un artículo por correo (bueno, el enlace) de uno de los precursores involuntarios de la Inteligencia Artificial.
Como tiene que haber gente para todo… hay gente que hasta abandona su casa para dedicarse a aprender lógica…
En fin… Leerlo… que no tiene desperdicio.
Un genio vagabundo amante de la lógica, el padre incomprendido de la cibernética
Posted in General, Investigación, Lógica | Comments Off on Algo de historia
junio 2nd, 2014
Esta semana he tenido el placer de dar una charla en la Casa Colón, dentro de las jornadas de “Huelva – Smart City day”.
La ponencia fue sobre el trabajo que estamos desarrollando dentro del grupo de investigación (GLC – Grupo de Lógica Computacional) sobre dinámicas urbanas y sistemas de predicción, o lo que viene a ser muy parecido… Smart Cities.
Las transparencias (adjuntas debajo) tienen algunas poco texto, y la razón es que quería hacer una presentación dinámica, para un grupo de “no-técnicos” y sin cometer excesivas irregularidades.
El resultado final??… pues por el número de tarjetas de visita de personas que querían que colaborar con el grupo.. deduzco que nada mal.
Ps: Se aceptan comentarios…
Posted in Charla, General, Investigación, OpenData, Smart City | Comments Off on Huelva – Smart City day
julio 7th, 2013
Por fin la empresa JCDecaux se dignó a dar acceso a los datos de los sistemas de bicicletas que tiene implantado en un gran número de ciudades. El caso es que, desde mi punto de vista, el sistema está pagado con dinero público y el acceso a la información generada por ese sistema debería de ser pública también.
La empresa ha puesto un portal (https://developer.jcdecaux.com/) con la información necesaria para construir un cliente que consulte los datos, diferenciando los datos estáticos de los dinámicos, y para estos últimos obliga a registrarte para sacar una “apiKey” que identifique al usuario.
Yo, continuando con mis “pinitos” en python, he implementado las funciones que aparecen en la web para consultarlas, y lo he puesto para descargar, por si alguien quiere sacar datos y es una forma de primer paso.
Un saludo
Posted in General, Investigación, OpenData | Comments Off on Acceso a las bicis…
julio 6th, 2013
La semana que viene (del 9 al 12 de Julio) asistiré al I Congreso Internacional de la HDH: Humanidades Digitales Hispánicas que se celebrará en A Coruña, con la aportación:
Extracción y organización del conocimiento de etiquetados. Aplicación a etiquetados en repositorios digitales sobre arte – Galán-Páez, Juan; Joaquín Borrego-Díaz y Gonzalo A. Aranda-Corral.
En esta aportación vamos a presentar como usar técnicas de aprendizaje conceptual (automático) a repositorios de arte, de forma que podemos organizar el conocimiento obteniendo jerarquías de conceptos e, incluso, ayudando a los expertos en arte a descubrir posibles patrones ocultos en las grandes cantidades de datos.
Desde mi punto de vista, al igual que en la entrada del “Periodismo de Datos“, el futuro de la informática, y más en concreto de la Inteligencia Artificial, está en la hibridación de ésta con otras muy diferentes disciplinas para la búsqueda de nuevos conocimientos y nuevas soluciones, y a su vez poderse enriquecer de ellas también.
Ya os contaré más a la vuelta.
Posted in Congreso, Investigación | Comments Off on HDH 2013: Humanidades Digitales Hispánicas
diciembre 19th, 2012
He tardado en hacer un pequeño resumen de mi experiencia en las II Jornadas Gobierno Abierto y Opendata Sevilla.. pero aquí está.
Bueno, la verdad es que fue… SUPER INTERESANTE!!… y creo que nuestros alumnos se deberían de enterar que este tipo de iniciativas existen!! (paradójicamente uno de los responsables de OpenData Sevilla es un ex-alumno de la uhu)
Como cosas interesantes… el concepto de informática como disciplina transversal… pero incluso a un nivel profundo. Es decir, informática NO significa “procesador de textos”… eso es “utillería”. Informática es algo más… teoría de grafos… bases de datos… datamining… representación del conocimiento… etc y curiosamente quien BIEN lo ha visto, y rápido, son los periodistas.
Sí, los periodistas… que están creando en otras universidades (extranjeras, claro) lo que se está denominando “data journalism”… y que para ello consiste en “contar las historias que están detras de los datos”. (si las hay)… 
y que tienen un manejo (y asimilación) de muchísimos conceptos informatico-matemáticos… que son capaces de traducirlos en literatura (periodística), o mejor… en INFORMACIÓN (y algunas veces diría que en CONOCIMIENTO)
Desde el punto de vista del open-goverment, hubo intervenciones muy buenas, contando experiencias ya existentes, sobre todo en el País Vasco, donde nos llevan UNA GRAN VENTAJA.. y donde dicen (con datos) haber mejorado la gestión pública y la conexión con el ciudadano. Estuvo realmente bien, aunque eché de menos a alguien que no estuviera de acuerdo con esta filosofía.. para contrastar, pero claro.. quién va a estar en contra de la transparencia??
A la sesión del hackaton me fue imposible quedarme, pero según me han contado posteriormente se vieron proyectos bastante buenos y curiosos… usando dos datasets a disposición de los participantes: Adopta una playa y otro de la UPO (no se muy bien qué).
Saludos…
Posted in Charla, Investigación, OpenData | Comments Off on Reflexión sobre las II jornadas OpenData…
agosto 9th, 2010
Es lo que se impone hoy día: la transversalidad !
La mayoría de los campos de investigación que antes estaban bastante focalizados en un tema y con un conjunto reducido de técnicas hiper-especializadas, se están abriendo a la colaboración entre campos, incluso muy dispares, de la ciencia.
Acabo de leer uno de ellos, donde egiptólogos y robóticos están colaborando para tratar de descubrir más cosas y llegar donde nadie a llegado. El objetivo de esta colaboración consiste en la utilización de un robot autónomo (creado por la Univ de Leeds) y que “explore” a partir de ciertos pasillos que son imposible para los científicos. Una aplicación DIRECTA del típico ejercicio del robot explorador!
El texto completo de la noticia está en: http://www.independent.co.uk/news/science/robot-to-explore-mysterious-tunnels-in-great-pyramid-2046506.html
Posted in Docencia, General, Inteligencia Artificial e Ingeniería del Conocimiento, Investigación | Comments Off on Transversalidad científica
junio 22nd, 2010
Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.
A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)
Título: Why Can’t Johnny Develop Secure Software?
http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/
Posted in General, Verificación | Comments Off on La realidad de los métodos formales… ¿nueva era?
junio 21st, 2010
Esta semana, del miércoles 23 al viernes 25, se celebra el HAIS 2010 (Hybrid Artificial Intelligence Systems) en San Sebastián.
Tenemos aceptada una publicación dentro de la “special session” 12: Hybrid Artificial Intelligence Systems Based on Lattice Theory
El título del artículo y de la charla va a ser: Reconciling Knowledge in social tagging web services, continuando con la investigación en manejo del conocimiento dentro de redes sociales. La idea es cómo obtener una agente puede obtener una base de conocimiento nueva, compatible con lo que pensaba anteriormente, y con la ayuda de otro agente. Esto permite el descubrimiento de nuevo conocimiento por parte del agente y cercano a lo que ya conocía.
Tengo la intención de ir colgando todas las transparencias de las charlas, ya que los artículos no se “puede”… al menos las transparencias si!
Si queréis más información del congreso: http://www.ehu.es/ccwintco/hais2010/
Posted in agentes, Charla, Congreso, Investigación | Comments Off on Congreso: HAIS 2010