它是怎么开始的？

• 使用webALT项目:

• 旨在提供多语种的用于中等教育的简单数学练习库。

• GF选择的工具
  • 当时还不够成熟
  • 芬兰语编译花费了数小时

语法框架：GF公司

GF标志

• 开发语言语法
  • BNF、yacc等。
• 函数式语言
  • lisp、haskell等。
• 自然语言处理框架
  • 基于类型理论

数学文法图书馆

• 一些基本数学对象内容词典.

• 目前有15种语言：马特巴尔

• 可在svn://molto项目.eu/mgl

数学文法图书馆

mgl结构

其他上层

操作

简单的训练。

命令

向/来自中国科学院.

单词问题

建模和求解简单单词问题。

一些示例

• 在OpenPath（OpenPath）级别：

abs:ValNum->ValNum；--z的绝对值次数：[ValNum]->ValNum；--x，y和z的乘积一元减：ValNum->ValNum；--减去x

• 在命令级别：

计算：（k：种类）->值k->命令；赋值：（k：种类）->变量k->值k->命令；断言：属性->命令；近似值：ValNum->命令；BeginBlock：字符串->命令；EndBlock：字符串->命令；

抽象/具体类型

• 数值：
  • ValNum公司,ValSet（值集）,ValTensor公司... =数学对象=名词短语(NP公司)
  • ValFun公司=数学函数=NP公司+额外信息
• 变量：
  • 变量编号,变量集, ... =符号(=字符串在大多数语言中）
• 提议：
• 道具=条款具有极性
• FullProp（完整道具）=句子
• 子句可以转换为问题（与句子不同）。

一个简单的例子

• 这个绝对值在里面数字1:

abs：ValNum->ValNum

• 混凝土层：

abs:NP->NP

具体差异

value_N:N=mkN“值”；绝对_A:A=mkA“绝对”；--在LexiconEng中abs_value_CN:CN=mkCN绝对值_N；--在LexiconX中mkNP the_Art（mkCN abs_value_CN（mkAdvv拥有Prep对象））；--在Arith1I中

1. 英语：将形容词“absolute”和名词“value”结合起来，得到普通名词(中国)

2. 将此与论点结合起来(NP公司)使用“of”介词。它提供了一个中国;

3. 将其与限定词（“the”）结合，得出NP公司.

德语：

绝对_A:A=mkA“绝对”；value_N:N=mkN“Wert”“Werte”阳性；--在LexiconGer中abs_value_CN:CN=mkCN绝对值_N；--在LexiconX中mkNP the_Art（mkCN abs_value_CN（mkAdvv拥有Prep对象））；--在亚利桑那州1I

关联运算符

加：[ValNum]->ValNum加：列表NP->NP

DefGenCN sum_CN（mkNP和Conj术语）

• 列表通过在现有列表中添加对象来形成(ConsNP公司).

• 最小列表：基本NP x y
  • 可以为每个类别设置基本案例中的元素数
  • 在以下情况下为2[ValNum]

1. 清单NP基本上是一个列表NP公司它知道其中是否有2个或更多元素：
   • “x和y之和”：BaseValNum x y（基本值编号x y）
   • “x、y和z之和”：ConsValNum x（BaseValNum y z）

2. 我们合并清单NP用“and”连词获得一个新的NP公司

3. 如前例所示：与“sum”等组合。

函数的情况

数学函数=种类+变量+NP公司

命名的函数

“余弦属于3"

函数变量

"（f） 在3"

一般情况

“正弦的导数在3"

Lambda抽象

"x个余弦x个 其中x是3"

转让的重要性

“计算函数从负无穷到无穷的x到x的平方的积分。”

计算数字（从数字(定义间隔（λx（功率2（Var2Num x））nums1_minus_infinity nums1_infinity））计算数字（fromNum(定义间隔（λx（幂2（Var2Num x））（一元减nums1_infinity）nums1_nfinity））

• 它是模棱两可的（不是真的）

• 功率2必须是功率（int2num 2）
• （一元减数字1无穷大）必须是数字1_minus_infinity（也许？）
• 定义_间隔必须是定义在间隔c c:
  • “计算函数映射x到x的平方的积分，在从负无穷到无穷的闭合区间上。”

转移

• 修改抽象树。

• GF对此非常有限(定义判断）。

• 使用GF绑定到其他语言
  • haskell、python、javascript、C运行时

结束语

• mgl-GF库提供了15种自然语言之间的解析/线性化，以及类似于OpenMath的抽象表示。已测试3种语言。

• 开发新语言L（左）:
  • 资源语法支持
  • 填充词典L（左）
  • 审查周期
• 开发新模块M（M）:
  • 添加抽象模块M（M）
  • 将条目添加到LexiconX公司以支持M（M）
  • 为添加混凝土模块M（M）
  • 语言+数学专家的输入
  • 审查周期