Siri编程语言

Question

据推测,iPhone新推出的Siri功能背后的引擎已经开发了好几年(从CALO项目中衍生出来).据说他们甚至专门为它开发了一种新的编程语言.

我无法在任何地方找到相关信息.唯一可能的线索是学术论文,但我不在大学网络中,因此我无法访问其中的大多数.

有没有人有任何线索,例子,甚至模糊的东西,"它类似于Prolog"或者"它是Lisp的方言"？

Answer 1

就Siri工作而言,直接前身(http://www.sri.com/about/siri-timeline.html),Learns(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中.