×

MMT API:一个通用的MKM系统。 (英语) Zbl 1390.68626号

Carette,Jacques(编辑)等人,《智能计算机数学》。MKM、Calculemus、DML以及2013年系统和项目,作为2013年CICM的一部分,于2013年7月8日至12日在英国巴斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-39319-8/pbk)。计算机科学讲座笔记7961。《人工智能课堂讲稿》,339-343(2013)。
概要:MMT语言已经发展成为一种用于形式化数学知识的可扩展表示和交换语言。它允许对几乎所有声明性语言的语法和语义进行自然表示,同时使基于MMT的MKM服务易于实现。它基本上不受约束,可以用特定的形式语言进行实例化。
MMT API实现了MMT语言以及用于持久存储的多个后端,以及用于机器和用户访问的前端。此外,它还实现了多种基于MMT的知识管理服务。API和所有服务都是通用的,可以应用于MMT中表示的任何语言。插件接口允许注入单个形式语言的语法和语义特性。
关于整个系列,请参见[Zbl 1268.68008号].

MSC公司:

68立方英尺 知识表示
PDF格式BibTeX公司 XML格式引用