Archivo de la categoría ‘Síntesis, verificación y razonamiento sobre agentes inteligentes’

Contenido del curso Síntesis, Verificación y Razonamiento sobre Agentes Inteligentes

El curso es una introducción a la teoría de agentes racionales. Concretamente, se analiza con cierta profundidad el papel de diversas lógica (programación lógica, lógicas modales, etc.) en diversos tipos de agentes, destacando los agentes reactivos, deliberativos, en el razonamiento práctico, los de tipo BDI, los basados en conocimiento (GOLOG, Flux y extensiones basadas en el cálculo de fluentes), y el papel de las ontologías en el fenómeno de la comunicación en sistemas multiagente.

El contenido del curso es el siguiente:

  • Concepto de agente inteligente. Características.
  • Agentes reactivos.
  • Agentes deliberativos.
  • Introducción a la programación de agentes racionales.
  • Lógicas para la verificación de agentes racionales.
  • Sistemas multiagente.