Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
复制标题
Naproche系统中符号数学的解析与消歧
DOI：
10.1007/978-3-642-22673-1_13
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
B. Schröder
中科院分区：
文献类型：
--
作者：
M. Cramer;P. Koepke;B. Schröder
Naproche系统是一个系统，用于语言分析和证明检查用受控自然语言编写的数学文本。其目的是使输入语言尽可能接近数学家在编写教科书或论文时实际使用的语言。
The Naproche system is a system for linguistically analysing and proof-checking mathematical texts written in a controlled natural language. The aim is to have an input language that is as close as possible to the language that mathematicians actually use when writing textbooks or papers.
Mathematical texts consist of a combination of natural language and symbolic mathematics, with symbolic mathematics obeying its own syntactic rules. We discuss the difficulties that a program for parsing and disambiguating symbolic mathematics must face and present how these difficulties have been tackled in the Naproche system. One of these difficulties is the fact that information provided in the preceding context - including information provided in natural language - can influence the way a symbolic expression has to be disambiguated.