Multimodal linguistic inference
Multimodal linguistic inference
复制标题
多模态语言推理
DOI：
10.1007/bf00159344
复制
发表时间：
1995
期刊：
影响因子：
--
通讯作者：
M. Moortgat
中科院分区：
文献类型：
--
作者：
M. Moortgat
在本文中，我们在简单和混合的Lambek系统的背景下进行了语法推断。 •连接的资源管理属性。差异选择的关联和交换性的选择会产生熟悉的逻辑NL，L，NLP，LP。对每个系统的语言组成的概念进行建模。简单的系统在语言分析中都有其优点。混合的Lambek系统的类型。通过将许多Un -Imodal系统组合到一个多模式逻辑中，以合并的多模式逻辑来获得混合逻辑的容量大于通过添加相互作用假设以及在框架上的相应解释性约束，重新计算组件逻辑之间的通信。混合系统的第二种类型的混合系统通过概括残留物获得的第二种类型的交流，大于其组件部分的总和。二元连接的二元连接，通过将不同ARIT的家庭放在一个逻辑上。在语言结构的静态方面，以及将这种结构放在一起的动态方面，我们证明了一系列基本的逻辑结果模式在更一般的框架内。
In this paper we compare grammatical inference in the context of simple and of mixed Lambek systems. Simple Lambek systems are obtained by taking the logic of residuation for a family of multiplicative connectives /,•,\, together with a package of structural postulates characterizing the resource management properties of the • connective.Different choices for Associativity and Commutativity yield the familiar logics NL, L, NLP, LP. Semantically, a simple Lambek system is a unimodal logic: the connectives get a Kripke style interpretation in terms of a single ternary accessibility relation modeling the notion of linguistic composition for each individual system.The simple systems earch have their virtues in linguistic analysis. But none of them in isolation provides a basis for a full theory of grammar. In the second part of the paper, we consider two types of mixed Lambek systems.The first type is obtained by combining a number of unimodal systems into one multimodal logic. The combined multimodal logic is set up in such a way that the individual resource management properties of the constituting logics are preserved. But the inferential capacity of the mixed logic is greater than the sum of its component parts through the addition of interaction postulates, together with the corresponding interpretive constraints on frames, regulating the communication between the component logics.The second type of mixed system is obtained by generalizing the residuation scheme for binary connectives to families of n-ary connectives, and by putting together families of different arities in one logic. We focus on residuation for unary connectives, and their combination with the standard binary vocabulary. The unary connectives play the role of control devices, both with respect to the static aspects of linguistic structure, and the dynamic aspects of putting this structure together. We prove a number of elementary logical results for unary families of residuated connectives and their combination with binary families, and situate existing proposals for ‘structural modalities’ within a more general framework.