A method of representing algebraic age word problems for automated solving has been proposed. Schemas pertinent to the domain have been represented as logical predicates and functions and used as an intermediate representation. Though data-driven methods have dominated the paradigm for solving word problems recently, we demonstrate that representing these word problems formally has advantages. We illustrate that it outperforms a state-of-the-art method in terms of precision and accuracy on our newly curated and publicly available data set. Thus, we show how semantic information can improve some facets of natural language understanding.

中文翻译：

---

具有模式的年龄词问题的语义表示

已经提出了一种表示代数年龄单词问题以用于自动求解的方法。与域相关的模式已被表示为逻辑谓词和函数，并用作中间表示。尽管数据驱动的方法最近主导了解决单词问题的范式，但我们证明了形式化表示这些单词问题具有优势。我们说明，它在我们新策划和公开可用的数据集上的精度和准确性方面优于最先进的方法。因此，我们展示了语义信息如何改善自然语言理解的某些方面。