据说,iPhone新的Siri功能背后的引擎已经开发了几年(源自CALO项目)。据说他们甚至为此开发了一种新的编程语言。
我找不到任何相关信息。唯一可能的线索是学术论文,但我没有接入大部分学术论文的大学网络。
是否有人有任何线索、例子,或者甚至是一些模糊的信息,比如“它类似于Prolog”,或者“它是Lisp的一个方言”?
据说,iPhone新的Siri功能背后的引擎已经开发了几年(源自CALO项目)。据说他们甚至为此开发了一种新的编程语言。
我找不到任何相关信息。唯一可能的线索是学术论文,但我没有接入大部分学术论文的大学网络。
是否有人有任何线索、例子,或者甚至是一些模糊的信息,比如“它类似于Prolog”,或者“它是Lisp的一个方言”?
就Siri工作而言,直接的前身(http://www.sri.com/about/siri-timeline.html)是Personalized Assistant that 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中。