(Para los cursos LI-TI y IA-IC) Debemos tener en cuenta que la Lógica (cualquier Lógica Matemática) tiene dos componentes fundamentales: Semántica y Sintaxis. No se puede comprender la Lógica a menos que se entiendan estas dos ideas y la relación que hay entre ellas. Así que vamos a dar esta introducción con un ejemplo que nos permita entender esta relación de la forma más directa posible. Además, el ejemplo lo veremos representado en las dos lógicas más sencillas y en las que se basa el curso: la Lógica Proposicional, y la Lógica de Primer Orden, y de esa forma también nos prepararemos para ver las ventajas e inconvenientes de usar cada una de ellas.
Introducción a la Lógica
Brevísima historia de la Lógica
(Para el curso LI-TI) Una entrada que hace un rapidísimo y breve recorrido por la historia de la Lógica orientada al curso de Lógica Informática que se imparte en el Grado de Ingeniería Informática - Tecnologías Informáticas de la Universidad de Sevilla. Traducción libre de"A Brief history of Logic" de Moshe Y. Vardi (2003).
Breve Historia de la Inteligencia Artificial
La Inteligencia Artificial es el nuevo término de moda en ciencia, tecnología y empresa, llegando a superar en muy poco tiempo a otros términos que estaban ocupando las portadas e interés público, como Big Data o Ingeniería Genética. Hoy en día no hay nueva tecnología, servicio digital o investigación puntera que no vaya asociada al (pretendido) uso de técnicas provenientes de la IA. Aunque en muchos casos son evidentes los beneficios que esta disciplina ofrece, es necesario analizar con detalle estas asociaciones para saber hasta qué punto son reales o solo son reclamos comerciales que no ofrecen un verdadero valor añadido.
Monte Carlo Tree Search in NetLogo
In this post we present a complete implementation of Monte Carlo Tree Search in NetLogo. It is based on a previous post about the fundamentals of this algorithm for solving Adversarial Searchs and also shows some examples about how to use it to create computer adversarial players for real games.
PageRank y el Surfista Aleatorio
De forma genérica, se denomina PageRank a las diversas versiones de un algoritmo de ranking de páginas web que fue diseñado por Larry Page y Sergey Brin cuando ambos estaban en la Universidad de Stanford. De hecho, además de la importancia computacional que este algoritmo tiene por el problema que resuelve, tiene una gran importancia histórica, tecnológica y social porque la creación de este algoritmo fue lo que dio origen a la creación del buscador Google. En esta entrada veremos la relación existente entre el algoritmo para calcular PageRank y el modelo del surfista aleatorio, analizando las bondades distribuidas y de extensión que tiene este modelo.
ALGUNAS ENTRADAS ANTERIORES ... AL AZAR
Teoría Algorítmica de la Información y el juego del GO
Un estudio en el que se mezclan el juego del Go, la Teoría Algorítmica de la Información y los algoritmos de Compresión de Imágenes para comparar la complejidad de las partidas en función del nivel de destreza de los jugadores. ¿Hasta qué punto podemos hacer uso de herramientas de computación teórica para comprender mejor el juego de estrategia más complejo de la actualidad?, ¿podrán ayudarnos estas herramientas a generar nuevas metodologías aplicables a los grandes retos de la Inteligencia Artificial?
Jornadas en memoria del Profesor Alejandro Fernández Margarit
Durante las últimas décadas, la Lógica Matemática ha experimentado un notable desarrollo que ha tenido como fruto numerosas aplicaciones, tanto en otras ramas de las Matemáticas (álgebra, análisis, geometría algebraica, etc.) como en las Ciencias de la Computación (complejidad computacional, razonamiento automático, agentes inteligentes, etc.). En España, el cultivo de esta disciplina también ha realizado importantes avances durantes estas décadas, gracias a la tenacidad y dedicación de investigadores como el catedrático de la Universidad de Sevilla Alejandro Fernández Margarit, fallecido en abril de 2011 a los 57 años de edad...
