modified on 20 feb 2013 at 13:31 ••• 4.677 views

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

De Master

Contenido

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.

Programa de la asignatura

Página Web

Espacio de enseñanza virtual de la Universidad de Sevilla.