发布求助
文献互助 智能选刊 最新文献

Proceedings of the 16th Meeting on the Mathematics of Language最新文献

筛选
英文 中文
Parsing Weighted Order-Preserving Hyperedge Replacement Grammars 解析加权保序超边缘替换语法
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 2019-07-01 DOI: 10.18653/v1/W19-5701
Henrik Björklund, F. Drewes, Petter Ericson
{"title":"Parsing Weighted Order-Preserving Hyperedge Replacement Grammars","authors":"Henrik Björklund, F. Drewes, Petter Ericson","doi":"10.18653/v1/W19-5701","DOIUrl":"https://doi.org/10.18653/v1/W19-5701","url":null,"abstract":"We introduce a weighted extension of the recently proposed notion of order-preserving hyperedge-replacement grammars and prove that the weight of a graph according to such a weighted graph grammar ...","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124464349","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Some classes of sets of structures definable without quantifiers 某些不需要量词就可以定义的结构集
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 2019-07-01 DOI: 10.18653/v1/W19-5706
J. Rogers, D. Lambert
{"title":"Some classes of sets of structures definable without quantifiers","authors":"J. Rogers, D. Lambert","doi":"10.18653/v1/W19-5706","DOIUrl":"https://doi.org/10.18653/v1/W19-5706","url":null,"abstract":"We derive abstract characterizations of the Strictly Piecewise Local (SPL) and Piecewise Locally Testable (PLT) stringsets. These generalize both the Strictly Local/Locally Testable stringsets (SL and LT) and Strictly Piecewise/Piecewise Testable stringsets (SP and PT) in that SPL constraints can be stated in terms of both adjacency and precedence. We do this in a fully abstract setting which applies to any class of purely relational models that label the points in their domain with some finite labeling alphabet. This includes, for example, labeled trees and graphs. The actual structure of the class of intended models only shows up in interpreting the abstract characterizations of the definable sets in terms of the structure of the models themselves.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115851858","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Sensing Tree Automata as a Model of Syntactic Dependencies 作为句法依赖模型的感知树自动机
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 2019-07-01 DOI: 10.18653/v1/W19-5702
T. Graf, Aniello De Santo
{"title":"Sensing Tree Automata as a Model of Syntactic Dependencies","authors":"T. Graf, Aniello De Santo","doi":"10.18653/v1/W19-5702","DOIUrl":"https://doi.org/10.18653/v1/W19-5702","url":null,"abstract":"Various aspects of syntax have recently been characterized in subregular terms. However, these characterizations operate over very different representations, including string encodings of c-command relations as well as tiers projected from derivation trees. We present a way to unify these approaches via sensing tree automata over Minimalist grammar dependency trees. Sensing tree automata are deterministic top-down tree automata that may inspect the labels of all daughter nodes before assigning them specific states. It is already known that these automata cannot correctly enforce all movement dependencies in Minimalist grammars, but we show that this result no longer holds if one takes into account several well-established empirical restrictions on movement. Sensing tree automata thus furnish a strong yet uniform upper bound on the complexity of syntactic dependencies.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128345437","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Maximum Likelihood Estimation of Factored Regular Deterministic Stochastic Languages 因子正则确定性随机语言的极大似然估计
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 2019-07-01 DOI: 10.18653/v1/W19-5709
Chihiro Shibata, Jeffrey Heinz
{"title":"Maximum Likelihood Estimation of Factored Regular Deterministic Stochastic Languages","authors":"Chihiro Shibata, Jeffrey Heinz","doi":"10.18653/v1/W19-5709","DOIUrl":"https://doi.org/10.18653/v1/W19-5709","url":null,"abstract":"This paper proves that for every class C of stochastic languages defined with the coemission product of finitely many probabilistic, deterministic finite-state acceptors (PDFA) and for every data sequence D of finitely many strings drawn i.i.d. from some stochastic language, the Maximum Likelihood Estimate of D with respect to C can be found efficiently by locally optimizing the parameter values. We show that a consequence of the co-emission product is that each PDFA behaves like an independent factor in a joint distribution. Thus, the likelihood function decomposes in a natural way. We also show that the negative log likelihood function is convex. These results are motivated by the study of Strictly k-Piecewise (SPk) Stochastic Languages, which form a class of stochastic languages which is both linguistically motivated and naturally understood in terms of the coemission product of certain PDFAs.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114162421","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Quantifier-free least fixed point functions for phonology 音系的无量词最小不动点函数
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 2019-07-01 DOI: 10.18653/v1/W19-5705
Jane Chandlee, Adam Jardine
{"title":"Quantifier-free least fixed point functions for phonology","authors":"Jane Chandlee, Adam Jardine","doi":"10.18653/v1/W19-5705","DOIUrl":"https://doi.org/10.18653/v1/W19-5705","url":null,"abstract":"In this paper we define quantifier-free least fixed point functions (QFLFP) and argue that they are an appropriate and valuable approach to modeling phonological processes (construed as input-output maps). These functions, characterized in terms of first order logic interpretations over graphs, provide a close fit to the observed typology, capturing both local and long-distance phenomena, but are also restrictive in desirable ways. Namely, QFLFP logical functions approximate the computation of deterministic finite-state transducers, which have been argued to form a restrictive hypothesis for phonological processes.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128887098","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Efficient learning of Output Tier-based Strictly 2-Local functions 基于输出层的严格2-局部函数的高效学习
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 2019-07-01 DOI: 10.18653/v1/W19-5707
Phillip Burness, Kevin McMullin
{"title":"Efficient learning of Output Tier-based Strictly 2-Local functions","authors":"Phillip Burness, Kevin McMullin","doi":"10.18653/v1/W19-5707","DOIUrl":"https://doi.org/10.18653/v1/W19-5707","url":null,"abstract":"This paper characterizes the Output Tier-based Strictly k-Local (OTSLk) class of string-tostring functions, which are relevant for modeling long-distance phonological processes as input-output maps. After showing that any OTSLk function can be learned when k and the tier are given, we present a new algorithm that induces the tier itself when k = 2 and provably learns any total OTSL2 function in polynomial time and data—the first such learner for any class of tier-based functions.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133555414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat 证明辅助议程平面中的依赖类型蒙塔古语义
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 1900-01-01 DOI: 10.18653/v1/W19-5704
C. Zwanziger
{"title":"Dependently-Typed Montague Semantics in the Proof Assistant Agda-flat","authors":"C. Zwanziger","doi":"10.18653/v1/W19-5704","DOIUrl":"https://doi.org/10.18653/v1/W19-5704","url":null,"abstract":"We apply the Agda-flat proof assistant (Vezzosi, 2019) to computational semantics. Computational semantics in Agda-flat is distinguished from the approach based on Coq (Chatzikyriakidis and Luo, 2014) in that it allows an implementation of the classical, intensional semantic analyses of Montague (1973). That is, it synthesizes the modern dependent type theory and Montague intensional logic traditions in the computational semantics setting. To demonstrate this, we show how to replicate Montague’s analyses in the type theory of Zwanziger (2018), which closely corresponds to the Agda-flat system. Accompanying code type-checks these analyses in Agdaflat.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116932600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Presupposition Projection and Repair Strategies in Trivalent Semantics 三价语义中的预设、投射与修复策略
Proceedings of the 16th Meeting on the Mathematics of Language Pub Date : 1900-01-01 DOI: 10.18653/v1/W19-5703
Yoad Winter
{"title":"Presupposition Projection and Repair Strategies in Trivalent Semantics","authors":"Yoad Winter","doi":"10.18653/v1/W19-5703","DOIUrl":"https://doi.org/10.18653/v1/W19-5703","url":null,"abstract":"In binary propositional constructions S1 con S2, the Strong Kleene connectives explain filtering of S1’s and S2’s presuppositions depending on their logical relations with their non-presuppositional content. However, the presuppositions derived by the Strong Kleene connectives are weak conditional presuppositions, which raise the “proviso problem” in cases where no filtering is motivated. Weak Kleene connectives do not face this problem, but only because their presuppositions are often too strong, and hence do not account for filtering phenomena altogether. While various mechanisms have been proposed to allow filtering without the proviso problem, their relations with the standard trivalent Kleene systems have remained unclear. This paper shows that by sacrificing truth-functionality, we uncover a rich domain of possibilities in trivalent semantics in between the Weak Kleene and Strong Kleene connectives. These systems derive presupposition filtering while avoiding the proviso problem. The Kleene-style operators studied are generalized to arbitrary binary functions, which further clarifies the connection between their different “repair” strategies and presupposition projection.","PeriodicalId":298538,"journal":{"name":"Proceedings of the 16th Meeting on the Mathematics of Language","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124410224","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信