¿Es la “teoría unificada de AI” del MIT realmente un gran avance?

Es una investigación interesante, pero no, probablemente no sea la “gran teoría unificada de la IA”. Sospecho que el comunicado de prensa (y la cobertura posterior) puede ser culpa de una oficina de relaciones públicas demasiado entusiasta, en lugar de Noah Goodman mismo. Sus trabajos académicos son mucho más normales y no contienen tales afirmaciones hiperbólicas.

La parte que es precisa es que encontrar alguna forma de casar la inferencia probabilística con preocupaciones simbólicas más tradicionales (como poder escribir programas o hacer inferencia lógica) es algo así como un santo grial en IA, y el lenguaje de Goodman, Church, podría decirse que es un avance en este área. Pero dudo que incluso él afirme que ha resuelto definitivamente el problema; de hecho, todavía no resuelve ningún problema de tamaño significativo en absoluto debido a su complejidad computacional.

Este documento de 2008 (en Uncertainty in AI ) incluye una explicación decente de Church sin tales afirmaciones, junto con una discusión bastante razonable de cómo es similar y diferente de otros intentos en este espacio: http://www.mit.edu / ~ ndg / papers / c …