Você pode encontrar respostas para suas perguntas em uma edição especial recente “Sprachen der KI” (“Languages of AI”) do periódico alemão AI KI - Künstliche Intelligenz , volume 26, número 1 / fevereiro de 2012, publicado pela Springer. Eu sou o co-autor de uma parte de um documento de discussão incluído nele: “Qual idioma você usa para criar seus programas de IA e por quê?” Aqui está uma pré-impressão: http://ai.cs.unibas.ch /papers/schmid-et-al-kijournal2012.pdf
Em resumo, alguns pesquisadores de IA ainda juram pelas linguagens clássicas de AI, Lisp e Prolog. Outros usam linguagens comuns como C ++, Java ou Python. Outros ainda gostam de explorar novas linguagens de programação esotéricas.
Acredito que não há nada de especial na IA que exija linguagens de programação especiais. O que os pesquisadores em geral querem são linguagens de programação que permitam prototipagem rápida. Isso é algo que as linguagens AI antigas (Lisp, Prolog) e as mais recentes linguagens de "script" (Perl, Python, Ruby ou linguagens recentes da JVM, como Clojure) são ótimas.
Alguns pesquisadores querem ir além da prototipagem ou têm requisitos especiais (por exemplo, big data) e precisam reimplementar seus algoritmos em linguagens compiladas ou com tipos fortemente tipados como C, C ++ ou Java assim que a fase de programação exploratória terminar e eles tiverem um melhor aderência do problema. Alguns diriam que, nesse ponto (quando o problema é bem compreendido), você não está mais lidando com IA.
Voltando à sua última pergunta, todos os desenvolvimentos significativos nas novas linguagens de IA que eu conheço são inspirados na programação baseada em restrições. Alguns entraram em implementações do Prolog, como SICStus e SWI, outros geraram linguagens semelhantes ao Prolog, como Mercury e Mozart / Oz. É claro que provavelmente haverá novos desenvolvimentos significativos dos quais não estou ciente.