TEMA 5: REPRESENTACIÓN DEL CONOCIMIENTO
E INFERENCIA CON LÓGICA PROPOSICIONAL

Pretendemos diseñar agentes que tengan representaciones del mundo, usen procesos de inferencia para derivar nuevas representaciones, y usen éstas para deducir que hacer

• Un agente basado en conocimiento
• El entorno Wumpus World
• Representación, razonamiento y lógica
• Lógica proposicional
  • Sintaxis
  • Semántica
  • Inferencia en lógica proposicional
    • Reglas de inferencia
    • Complejidad de la inferencia proposicional
• Un agente para el Wumpus Worl: adecuación epistemológica de la lógica proposicional
• About this document ...