×

兹马思-数学第一资源

mmtapi:一个通用的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服务易于实现。它基本上是无约束的,可以用特定的形式语言实例化。
mmtapi实现了MMT语言以及用于持久存储的多个后端和用于机器和用户访问的前端。此外,它还实现了多种基于MMT的知识管理服务。API和所有服务都是通用的,可以应用于MMT中表示的任何语言。插件接口允许注入单个形式语言的语法和语义特性。
整个系列请参见[Zbl 1268.68008].

理学硕士:
68T30型 知识表示
PDF格式 BibTeX公司 XML 引用
全文: 内政部