Resolución de Sudokus

Códigos y Documentación de un programa que resuelve Sudokus de todos los niveles de dificultad.

Desarrolladores:

Jesus Blanco Garrido

Julio Camacho Cañamón

Jose Manuel Carretero Cuenca

Corrección Actividad Académica Dirigida Voluntaria sobre Grafos (Amplitud)

La actividad corregida ha sido la asignada en el Moodle.

Está bien hecha, y gracias a la tabla de búsqueda y los gráficos utilizados con colores distintivos se comprende bastante bien.

La actividad fue realizada por:
Antonio Manuel Durán Rosal
Emilio Diaz Ruiz
Manuel Miguel Espejo Pavón

Esta actividad ha sido corregida por:

Jesús Blanco Garrido

Julio Camacho Cañamón 

Jose Manuel Carretero Cuenca

........

Actividad Académica Dirigida Voluntaria sobre Grafos

Dado el enunciado de la actividad voluntaria.

Aquí está el ejercicio resuelto usando búsqueda en profundidad.

Los autores de estos ejercicios son: Jesús Blanco Garrido, Julio Camacho Cañamón y Jose Manuel Carretero Cuenca.

Lectura bibliográfica: Aprendizaje Automático

Esta última lectura bibliográfica de la asignatura Sistemas Inteligentes enmarcada en el tema de Aprendizaje Automático versará sobre la Agenda Personalizada o Aprendiz del Calendario (Calendar Apprentice, CAP). 

Podemos situarnos en el contexto de un profesor de universidad implicado en diversos proyectos de investigación, asistencia frecuente a congresos nacionales e internacionales, comités y tribunales de proyectos fin de carrera, atender una visita inesperada de un antiguo alumno, atender el cumpleaños de su hijo, encargarse de la inspección técnica del coche, enviar un correo electrónico a sus alumnos para recordar un examen parcial, etc. 

Para organizar el tiempo y los diferentes eventos de este profesor se puede emplear un sistema aprendiz que puede agilizar la gestión de eventos, sugiriendo lugares y fechas de celebración de los mismos, valorando adecuadamente su urgencia relativa, el tipo de asistentes (alumnos de doctorado, profesores, personas ajenas a la universidad, etc), también puede gestionar la disponibilidad de una determinada sala de reuniones, el grado de ocupación asociado al período del año que se encuentra situado el evento, entre otras funciones. 

Dicho sistema también sería capaz de reorganizar las reuniones previstas en función de una situación inesperada, por ejemplo una situación familiar que requiera la asistencia urgente del interesado. A la vez, otra funcionalidad sería la de recordar automáticamente, a través de sms o correo electrónico, a los asistentes a una reunión próxima el lugar así como la fecha de celebración.

Este tipo de sistema se han construido incluendo técnicas de aprendizaje como la inducción de árboles de decisión que le permiten al sistema aprender a adaptarse a los gustos de su usuario, de tal manera que termina adquiriendo el conocimiento que subyace en las decisiones tomadas previamente por el individuo.

Para concluir cito un fragmento de los autores Mitchell et al., 1985:

Sistemas aprendices: "Consejeros interactivos basados en el conocimiento, que pueden extraer nuevo conocimiento a través de la observación directa el análisis de los pasos en la búsqueda de la solución proporcionados por el usuario a lo largo del funcionamiento regular del sistema."

Lectura bibliográfica: Marcos

A continuación os dejo mi lectura bibliográfica sobre el tema de Marcos en la asignatura de Sistemas Inteligentes:

Mi lectura bibliográfica sobre el tema de Marcos, tratará a cerca de los diferentes lenguajes de marcos que podemos utilizar.
La idea de usar un sistema de marcos para representar conocimiento declarativo, se ha encapsulado en una serie de lenguajes de representación del conocimiento orientado en marcos, cuyas características han ido evolucionando a medida que ha aumentado la comprensión de la clase de representaciones de las que se ha estado hablando.

Algunos ejemplos de estos lenguajes son el KRL (Bobrow y Winograd, 1977), FRL (Roberts y Goldstein, 1977), RLL (Greiner y Lenat, 1980), KL-ONE (Brachman, 1979; Brachman y Schmolze, 1985), KRYPTON (Brachman et al., 1985), NIKL (Kaezmarek et al., 1986), CYCL (Lenat y Guha, 1990), grafos conceptuales (Sowa, 1984), THEO (Mitchell et al., 1989) y FRAMEKIT (Nyberg, 1988).

Aunque no todos estos sistemas soportan todas las capacidades de las que se han estado hablando, los más modernos permiten elaborar una representación eficiente de muchas clases de conocimiento. Sus métodos de razonamiento incluyen la mayoría de los que se han descrito aquí, además de otros muchos, incluyendo la verificación de la subsumición, la clasificación automática y otros métodos para mantener consistencia.

Lectura bibliográfica: Redes asociativas

A continuación os dejo mi lectura bibliográfica sobre Redes asociativas, para la asignatura de Sistemas Inteligentes:

Me ha parecido interesante mencionar que gracias a la utilización de las redes bayesianas se puede filtrar el SPAM del correo electrónico con cierta seguridad, sería seguridad probabilística.
Actualmente se pueden usar listas negras para filtrar el correo, que evitan que lleguen a la bandeja de entrada correos que cumplan ciertas condiciones, como venir de un destinatario concreto, contener archivos adjuntos, ir destinados a un grupo de direcciónes, etc. Estas condiciones y los correos que las cumplen pasan a formar parte de la lista negra.
Por otra parte se podrían crear listas blancas, que solo permiten la entrada de correos que cumplan determinadas condiciones.
En cambio, el uso de redes bayesianas se basa en la probabilidad de que un correo que contiene una palabra sea SPAM. A esto va añadiendo probabilidades de que si contiene una palabra "A" también contenga una palabra "B" y sea SPAM.
También se analizan aspectos no textuales del correo, como puede ser que se haya enviado a altas horas de la noche (suele ser típico de spammer), o el porcentaje de carácteres alfanumérico, así como el número de receptores o bien el nombre del dominio de procedencia.
Existen técnicas basadas en redes bayesianas que aplican diferentes conceptos como pueden ser las de Sanami, que extraen las características típicas de un correo SPAM y las analizan. Existen otras técnicas como las de Pantel y Lin, que explicarlas se saldría de los conceptos que se quieren abarcar en la asignatura, y extendería demasiado esta lectura bibliográfica.

Lectura bibliográfica: Sistemas Expertos

A continuación os dejo mi lectura bibliográfica sobre sistemas expertos para la asignatura de Sistemas Inteligentes:

Me ha parecido interesante buscar a cerca de las primeras aplicaciones de sistemas expertos basados en reglas que se hubiesen utilizado en campos más allá de la informática.
Encontré información sobre el sistema Mycin, que basado en un motor de inferencia y cerca de unas 500 reglas sencillas y apoyandose en técnicas empíricas basadas en factores de certeza, era capaz de diagnosticar y recetar medicaciones personalizadas a pacientes con infecciones bacterianas.
El sistema llegó a tener una tasa de acierto del 65% la cual superaba la mayoría de los médicos no especializados. Siendo la tasa de los especialistas en el campo de infecciones bacterianas de un 80%.
Tal y como expuse en la primera lectura bibliográfica, este tipo de sistemas conllevan problemas éticos complejos, tales cómo la persona sobre la que recae la responsabilidad en caso de equivocación en el diagnóstico, el médico o el programador.
Por esto y sobre todo por el costoso y dificultoso mantenimiento del programa, y el tiempo dedicado a obtener información de los expertos en el campo, para generar el motor de inferencia, el sistema llegó a caer en desuso.