Descubriendo la Inteligencia Artificial – 006

Introducción I.A.
Enfoque: Lógica
Descubriendo la Inteligencia Artificial - 006

3 Grandes Enfoques
- Búsquedas en Grafos

- Probabilidad (Incertidumbre)

- Lógica
Descubriendo la Inteligencia Artificial - 006

Enfoque: Lógica
- Lógica Proposicional
- Lógica de 1 Orden
er

- Lógicas Modal, Temporal y Difusa

- Representación del Conocimiento
- Planificación
- Aprendizaje Basado en el Conocimiento
- Tratamiento Lógico del Lenguaje
Descubriendo la Inteligencia Artificial - 006

Lógica Proposicional
- Sintaxis y Semántica: Tablas de Verdad
- Base de Conocimiento
- Inferencia Lógica Proposicional
- Equivalencia, Validez y Satisfacibilidad
- Resolución y Forma Normal Conjuntiva
- Encadenamiento: Hacia Delante y Atrás
- Backtracking
- Algoritmos de Búsqueda Local
Descubriendo la Inteligencia Artificial - 006

Lógica de 1 Ordener

- Sintaxis y Semántica: Cuantificadores

- Reglas de Diagnóstico y Causales
- Ingeniería del Conocimiento
- Inferencia Lógica: Unificación
- Encadenamiento: Hacia Delante y Atrás
- Programación Lógica: Prolog y CLIPS
- Resolución: Skolem
- Agentes Lógicos
Descubriendo la Inteligencia Artificial - 006

Otras Lógicas
- Lógicas de Orden Superior
- Lógica Modal
- Lógica Temporal
- Lógica No Monotónica
- Lógica por Defecto
- Lógica Difusa:
· Conjuntos Difusos
· Inferencia Difusa
· Fuzzy CLIPS
Descubriendo la Inteligencia Artificial - 006

Representar el Conocimiento
- Ingeniería del Conocimiento: Ontologías
- Taxonomías: Categorías y Objetos
- Acciones, Situaciones y Eventos: Marcos
- Eventos y Objetos Mentales: Creencias
- Reglas, Redes Semánticas y Lógica Descriptiva
- Razonamiento por Defecto y No Monotónico
- Incertidumbre y Factores de Certeza
- Sistemas Expertos
- Modelo Probabilista Racional
Descubriendo la Inteligencia Artificial - 006

Planificación
- Algoritmos de Planificación: STRIPS y ADL
- Espacio de Estados
- Planificación de Orden Parcial
- Grafos de Planificación: GRAPHPLAN
- Planificación Lógica Proposicional: SATPLAN
- Redes Jerárquicas de Tareas
- Planificación Condicional
- Vigilancia de Ejecución y Replanificación
- Planificación Continua y Multiagente
Descubriendo la Inteligencia Artificial - 006

Aprendizaje Inductivo
- Tipos de Razonamiento y Aprendizaje
- Árboles de Decisión: ID3
- Árboles de Regresión: M5
- Conjuntos de Hipótesis: Boosting
- Listas de Decisión: K-DL y K-DT
- Mejor Hipótesis Actual
- Espacio de Versiones y AQ
- Explicaciones e Información Relevante
- Programación Lógica Inductiva: FOIL
Descubriendo la Inteligencia Artificial - 006

Tratamiento Lógico del

Lenguaje
- Gramáticas: Jerarquía de Chomsky
- Análisis Léxico
- Análisis Sintáctico
- Análisis Semántico
- Gramática Causal Definida
- Ambigüedad
- Inducción Gramatical
Descubriendo la Inteligencia Artificial - 006

Despedida
- ¡Participa y Colabora!
- Dale a “Me Gusta”
- Suscríbete al Canal
- Deja tus Comentarios

José Luis Iglesias Feria