♟️ Parte 01 — IA simbólica, búsqueda, lógica y planificación

Nivel: fundamentos · Duración sugerida: 4–5 semanas · Clases: 12

Recorre la primera gran tradición de la IA: representar problemas de forma explícita y resolverlos mediante búsqueda, reglas, restricciones y planes.

🧭 Secuencia de la parte

flowchart LR
    L013["013<br/>Espacios de estados<br/>y formulación de<br/>problemas"]
    L014["014<br/>Búsqueda en anchura<br/>y profundidad"]
    L015["015<br/>Costo uniforme, búsqueda<br/>voraz y A*"]
    L016["016<br/>Diseño y validación<br/>de heurísticas"]
    L017["017<br/>Juegos: minimax y<br/>poda alfa-beta"]
    L018["018<br/>Problemas de satisfacción<br/>de restricciones"]
    L019["019<br/>Lógica proposicional e<br/>inferencia"]
    L020["020<br/>Lógica de primer<br/>orden y unificación"]
    L021["021<br/>Representación del conocimiento<br/>y ontologías"]
    L022["022<br/>Sistemas expertos y<br/>motores de reglas"]
    L023["023<br/>Planificación clásica con<br/>STRIPS y PDDL"]
    L024["024<br/>Proyecto: asistente neuro-simbólico<br/>explicable"]
    L013 --> L014
    L014 --> L015
    L015 --> L016
    L016 --> L017
    L017 --> L018
    L018 --> L019
    L019 --> L020
    L020 --> L021
    L021 --> L022
    L022 --> L023
    L023 --> L024

📚 Clases

ID Tema Laboratorio Horas
013 Espacios de estados y formulación de problemas search 4
014 Búsqueda en anchura y profundidad search 4
015 Costo uniforme, búsqueda voraz y A* search 4
016 Diseño y validación de heurísticas search 4
017 Juegos: minimax y poda alfa-beta search 4
018 Problemas de satisfacción de restricciones logic 4
019 Lógica proposicional e inferencia logic 4
020 Lógica de primer orden y unificación logic 4
021 Representación del conocimiento y ontologías logic 4
022 Sistemas expertos y motores de reglas logic 4
023 Planificación clásica con STRIPS y PDDL workflow 4
024 Proyecto: asistente neuro-simbólico explicable capstone 10

📝 Evaluación de la parte

⬅️ Parte 00 — Fundamentos, historia y método científico · 🏠 Volver al programa · ➡️ Parte 02 — IA probabilística, evolutiva y de decisión