Сири язык программирования
Предполагается, что движок, стоящий за новой функцией Siri в iPhone, разрабатывался в течение нескольких лет (порожден проектом CALO). Говорят, что они даже разработали новый язык программирования специально для него.
Я не могу найти информацию об этом нигде. Единственными возможными руководителями являются научные статьи, но я не в сети университетов, поэтому у меня нет доступа к большинству из них.
Есть ли у кого-нибудь какие-либо выводы, примеры или даже что-то расплывчатое, как "это похоже на Пролог" или, возможно, "это диалект Лиспа"?
2 ответа
С точки зрения работы Siri, прямой предшественник ( http://www.sri.com/about/siri-timeline.html), программа "Персонализированный ассистент, который учится (PAL)", действительно создал "агентский язык / каркас" "ИСКРА (не путать с ИСКРО Ада). У них есть общедоступная документация по этому 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.
Siri разработала новый язык программирования и графический интерфейс для API веб. Это огромно, хотя очень плохо, что это так рано и так скрыто.
В этом посте есть видео, в котором владелец сайта берет интервью у двух важных фигур из Siri, они обсуждают то, о чем вы спрашивали, и многое другое.