Video

Unknown · 0:00

Esta charla técnica presenta modelos formales de cooperación entre agentes de IA basados en lógica modal y teoría de la prueba, mostrando cómo agentes que "leen el código fuente" del oponente pueden lograr cooperación...

Read the full summary on tuber