arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 1102.5185cs.CLcs.AI
收藏

普遍高阶文法

Universal Higher Order Grammar

HOLTRAN Technology Ltd(HOLTRAN科技有限公司)

Victor Gluzberg

摘要:

我们研究的类语言,可以完全定义在扩展的排序类型论(Ty_n)的可证明性,通过嵌入音系的逻辑,而不引入特殊类型的句法实体。这类语言被证明与逻辑封闭语言的类完全一致,逻辑封闭语言可以被认为是从表达式到逻辑等价的Ty_n项集合的函数。对于由有限规则集或规则模式描述的逻辑封闭语言的一个特定子类,我们找到了构造一个包含有限数目公理或公理模式的紧致Ty_n表示的有效方法。所提出的形式主义的特点是一些有用的功能,无法在一个语言模型的两个组件的架构。通过上下文类型对形式主义进行进一步的专门化和扩展,可以有效地解释内涵和动态语义。

英文摘要:

We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory (Ty_n) by embedding the logic of phonologies, without introduction of special types for syntactic entities. This class is proven to precisely coincide with the class of logically closed languages that may be thought of as functions from expressions to sets of logically equivalent Ty_n terms. For a specific sub-class of logically closed languages that are described by finite sets of rules or rule schemata, we find effective procedures for building a compact Ty_n representation, involving a finite number of axioms or axiom schemata. The proposed formalism is characterized by some useful features unavailable in a two-component architecture of a language model. A further specialization and extension of the formalism with a context type enable effective account of intensional and dynamic semantics.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑