Язык программирования Siri

Предположительно, двигатель за новой функцией Siri от iPhone находится в разработке уже несколько лет (порожденный проектом CALO). Говорят, что они даже разработали для него новый язык программирования.

Я не могу найти информацию об этом в любом месте. Единственные возможные выводы - это академические документы, но я не в университетской сети, поэтому у меня нет доступа к большинству из них.

Есть ли у кого-нибудь какие-либо выводы, примеры или даже что-то неопределенное, как "это похоже на Prolog" или, возможно, "это диалект Lisp"?

Ответ 1

С точки зрения работы Siri, прямой предшественник (http://www.sri.com/about/siri-timeline.html), программа персонализированного помощника, которая изучает (PAL), создала "основанную на агентах язык/рамки" SPARK (не путать с SPARK Ada). У них есть общедоступная документация на нем http://www.ai.sri.com/~spark/, https://pal.sri.com/CALOfiles/cstore/PAL-publications/calo/2005/IntrotoSPARK.pdf и http://www.ai.sri.com/pubs/files/1023.pdf (и плагин Eclipse, по-видимому). Это сильно отличается от языка программирования общего назначения. "Язык" - это скорее язык в том смысле, что он моделирует конкретный формализм для планирования и представления знаний (думаю, семантическая сеть, а не язык программирования). Сама структура размещена в Python, а иногда и в Java.

Ответ 2

От это сообщение в блоге:

Siri разработала новый язык программирования и графический интерфейс для веб-интерфейса API. Это огромно, хотя его слишком плохо, что его так рано и так скрыто.

В этом блоге есть видео, в котором показано, как владелец сайта проводит интервью с двумя важными фигурами из Siri, и они обсуждают то, о чем вы спрашивали, и многое другое.