作为一部分属于ESSLLI 2015年

新增：包括以下摘要的程序！

轮胎：

TYpe公司理论与词汇语义学

巴塞罗那，2015年8月3日至7日

(罗宾·库珀,哥德堡大学&基督教的雷托雷LIRMM和蒙彼利埃大学）

演示

这个Ranta（1994）关于将类型理论用于NL的开创性工作语义引发了人们对Type的使用的浓厚兴趣表示形式语义的理论。尽管如此类型理论最初主要关注通过组合和形式语义语言学家、逻辑学家和计算机科学家注意到词义as的类型理论相关性嗯。2000年左右，论文《语言的形而上学由Asher和Pustejovsky（2001）发起的“类型词汇胁迫与意义的理论研究通过研究类型的扩展和细化进行传输蒙塔古使用的系统。解释这种现象需要捕捉普通的选择限制现象（例如，在普通情况下，“椅子”可能不会“吠叫”），而有时，他们必须确保在意义转移的情况下根据上下文调整意义，联合预测等。对这类现象的研究当然不是新的。他们的研究至少可以追溯到80年代（Bierwisch、Nunberg、Cruse等）。是什么相对较新的是对这些现象的研究类型理论的观点和这种方法现在已经相当作为有价值类型的成功理论贡献将词汇因素融入构图语义显示（Asher、Bassac、Chatzikyriakidis、Cooper、Luo、，梅洛尼、梅里、穆特、普雷沃特、普斯特约夫斯基、兰塔、雷亚尔、雷托雷） 

作者请在3月31日前提交4页摘要与研讨会相关的主题，包括：

• 语言学上类型理论的动机变体（子类型）
• 词汇学的类型理论中的语义（复合性和词汇）
• 互动词汇语义学与类型理论语义学
• 经典丰富类型框架中的语义问题（复数，量化，泛型）
• 建模类型理论中的特定问题（名词、动词动词、事件、，形容词、副词、本体论方面）           
• 计算方面类型理论语义的实现（自然语言推理、证明助手……）

重要日期

• 提交3月31日前，共4页摘要（PDF）
  请使用https://easychair.org/conferences/？conf=tytles-2015
• 通知验收日期：4月30日
• 修订过的4页摘要截止日期：5月15日
• 会议日期和地点：巴塞罗那2015年8月3-7日参见ESSLLI 2015年

程序具有论文

论文本页上的标题如下：作者，标题ESSLLI TYTLES类型理论和词汇语义（Cooper，Retoré，eds）ESSLLI 2015，巴塞罗那。 

星期一14:00-15:30

14点基督教的雷托雷（和罗宾·库珀），简介

14时30分Justyna Grudzinska和马雷克·扎瓦多夫斯基（Marek Zawadowski）。关于长距离不定的困惑和依赖类型语义
具有广义量词的依赖类型语义（DTSGQ）结合两种语义方法来解释自然语言量化：广义量词理论蒙太古风格语义学（Mostowski，A.1957，Lindstrˆm，P。1966年，Barwise，J.，Cooper，R.1981）和类型理论方法（Martin-Löf，P.1972，Ranta，A.1994，Makkai，M.1995，Luo，Z。2012). 就像经典的蒙太古风格分析一样，DTSGQ基本上使用了广义量词（GQ）。但在类型理论框架的精神我们采用了多种类型分析（代替标准的单一分类分析）。喜欢在标准的类型理论方法中，我们有类型我们系统中的依赖性。但我们的语义是模型理论（真理和参考是基本概念），而不是证明理论（证明是中心语义概念）。将GQ与依赖类型相结合使我们能够以统一的方式处理一些语义困惑关于自然语言量词。在我们之前的工作中，我们定义了一种新的解释算法来解释与之相关的广泛回指（动态）效应自然语言量化（Grudzinska，J.，Zawadowski，M。2014). 在本文中，我们将解决一类量词（不定词）的例外范围所谓的远距离不确定性之谜在文献中尚未确定（见Chierchia，G.2001，Schwarz，B.2001，Szabolcsi，A.2010）。我们的解决方案关于长距离不确定性的困惑至关重要依赖类型，即我们建议将问题归因于可能隐藏的远程读数）依赖关系。

15:00斯特吉奥斯Chatzikyriakidis、Mathieu Lafourcade、Lionel Ramadier和马内尔·扎鲁克。类型理论与词汇网络：使用严肃游戏是多分类类型系统的基础
在本文中，我们展示了一个丰富的词汇语义网络如何使用严肃游戏JeuxDeMots构建，可以帮助我们为我们的语义本体以及不同种类的利用现代类型理论进行形式语义学的信息（马丁·L¨of传统中的类型理论）。我们讨论基本类型、形容词和动词类型的领域，上下义关系以及更高级的问题比如同音词和多义词。

星期二14:00至15:30

14点斯塔凡·拉尔森。TTR判断语义中的感知意义概念空间
我们正在开发一种基于类型理论判断的语义其中，感知、分类、判断等概念，学习和对话协调发挥着核心作用。由将感知和语义协调引入形式语义学，这一理论可以被视为试图统一意义的认知和形式方法。这样做的目的本文简要比较了基于判断的语义和概念空间理论。我们的结论是重要的相似之处也有一些不同之处。一个目标基于判断的语义是将语义形式化详细分类和学习，以便将这些意义方面与传统意义方面结合起来研究形式语义，并支持计算建模和实现这些方面的意义。由使用统计分类器，我们连接到机器学习理论，提供了一系列分类方法和相关的学习算法。

14时30分西蒙·多布尼克。界面语言、空间感知和认知带记录的类型理论
在提议的演示文稿中，我们概述并连接了两条线我们与记录类型理论（TTR）相关的工作：建模空间语言的认知和建模注意力驱动的判断。我们认为计算感知、动作、语言和认知的建模介绍了形式语义理论的几个要求，以及其实际实现：（i）接口离散概念知识与连续实值感官读数；（ii）来自多个模式；（iii）语义的动态适应代理体验新情况时的表示/知识通过语言互动和感知。使用的示例空间描述的语义表示带记录的类型理论满足这些要求。这个基于主体相对判断的真理存在的优势TTR在这方面至关重要，但实际上它附带了一个计算成本。然而，这一挑战并非只有信托收据。代理人必须检查情况是否为库存中的每种类型。在演讲的第二部分，我们认为代理人必须做出的类型判断的数量可以通过结合以下认知概念来最小化由感性注意驱动的判断。

15:00彼得·萨顿和哈娜菲利普。概率生物学TTR和质量/计数与众不同
本文的目标有三个方面。（1） 我们认为四个语义类可用于预测交叉和名词是否编码为计数的语言内变异或质量。这些语义类是根据两个方面定义的来源种类：模糊性（Chierchia 2010）和（非）重叠个体实体的（Landman 2011）。（2） 我们丰富了prob-TTR（库珀等人，2014年，TTR的概率变体，库珀2012年）与水文关系给出问题M-TTR。我们采用prob-TTR，因为其概率基础非常适合模糊性的表现。我们用mereology丰富了它能够表达两个（mereological）实体的时间重叠。（3） 我们通过定义模糊性导出了四个类以及概率方面的非重叠，并说明如何模糊和（非）重叠相互作用。两者都不存在模糊和重叠是原型计数的特征名词（猫、书）。模糊和重叠的存在是以“物质”为特征的大量名词（泥、血）。两者都有这些名词类很少或没有交叉MASS/COUNT编码中的语言内变异。“聚合”名词（家具、厨房用具）不含糊，但有重叠（a杵和臼可以算为一项和两项厨房用具）。“颗粒”名词（扁豆、大米）是模糊的（它是不清楚有多少大米算作晚餐的足够大米）。两者都是这些名词类显示出跨语言和跨语言MASS/COUNT编码的变化。可计算性要求确定离散实体的明确计数基础。模糊或重叠可能会干扰计数、模糊和重叠总是这样。

星期三14:00-15:30

14点埃伦·布雷索尔茨。寡妇总是坏的吗？通过以下方式学习概念推理推理
在本文中，我们建议推理推理可以发挥在语言学习者习得新概念中的作用。就我们而言，一个学习者，例如一个小孩，会形成关于可接受推理方式的假设&所谓的topoi–基于与对话伙伴的观察和互动。然后，这些拓扑结构被用来支持孩子的推理其他情况。为了说明这一点，我们分析了一个例子自然对话的信息状态更新方法用记录铸就类型理论。这种方法使我们能够表示对意思的误解和误解，因为它是基于个人，而不是上帝眼中的意义。也，TTR的记录类型提供了一种方便的表示方式子类型关系，这似乎是我们的评估特定拓扑适用于哪些情况我们的说法很符合词义分析方法，其中说话人不断根据经验，以及在何处可以协商含义互动。此外，我们对单词习得的描述与Pustejovsky（1998）提出的推理推理或推理推理推理，可能是词汇解释的一种手段。

14时30分 布鲁诺梅里。中约束的相对复杂性协同预测语言
在检查“约束的相对复杂性共同预测话语”，我们想探索其中之一词汇语义现象具有许多例外和特质，然而，可以在构图中正式处理语义，从而说明语义和特定的适应性逻辑框架收集足够的数据以评估其有效性。我们详细介绍了语义的特殊变化共谓语句中的恰当性多义词的层面组合及其可能可建议对现有正式框架进行修改支持词汇语义的。因为语言数据是不完整且有争议，我们还包括旨在清除许多优秀人才的语言调查问题。本次交流旨在进行讨论材料，详细说明具体问题，以促进围绕主题进行合作。由作者在业余时间，这本书必然是不完整的。这个这里介绍的工作与/\TYn密切相关词汇语义框架自2006年以来与Christian Bassac、Richard Moot、Christian Retoré和许多人LaBRI和LIRMM的其他研究人员。我们还将展示最近在Linear中对该框架进行了扩展直觉主义逻辑，可用于整合讨论了现象。

15:00Daisuke Bekki和美荷佐藤。通过类型检查计算投影
依赖类型语义（DTS）是一种证明理论，基于的语篇语义合成框架依赖型理论，用未指定的术语扩展。 在DTS中，回指和预设触发器由使用未指定的术语，这些术语将被证明所取代具有相同类型的术语。此过程对应于回指消解和预设约束在以前的文献中预测未指定的项可以通过类型计算依赖型理论的推理/检验，相当于预设投射的计算。然而DTS的类型推断/检查公式保留为一个开放的问题，这不是一个明显的任务，因为类型依赖型理论中的推理/检查无法确定。在本文中，我们形式化了一组用于可判定片段的类型推断/检查算法从属类型理论，它是类型的扩展Loh等人的Agda推理/检查算法声称这个片段足以表示广泛自然语言的（证明理论）意义句子。此外，我们已经实施了提议的Haskell编程语言中的算法，并证明它正确计算句子的投射内容涉及预设过滤和全局/局部住宿。

星期四14:00-15:30

14点劳拉·卡尔梅耶，Timm Lichte、Rainer Osswald、Sylvain Pogodalla和Christian乌尔姆。混合逻辑框架语义中的量化
我们提出了一种旨在整合逻辑的方法通过使用混合逻辑将操作符转换为语义框架。框架已开发为表示概念和词汇知识。它们通常表示为图，其中节点对应于实体（个人、事件、，等）和边缘表示（功能或非功能）这些实体之间的关系。这个的语义结构类型允许以细粒度的方式捕获词义但缺乏集成逻辑运算符的自然方法，例如量词。我们的方法从观察模态逻辑是描述关系结构的强大工具因此适用于表征框架。我们使用混合动力模态逻辑的逻辑扩展。特别是，我们利用逻辑公式中可能出现的以下元素：名词，允许引用框架和状态变量及其关联量词，它可以表示模型的一般属性。词汇然后为项提供逻辑表达式，该表达式指定对应的框架。这为我们的框架量化方法奠定了基础语义。最后，我们设计了一个合成句法语义类型理论设置中的接口并给出说明量词范围的经典示例如何与词汇框架引入的路径等式。

14时30分Livy Real和Alexandre雷达制造商。葡萄牙语名词化概述
我们讨论葡萄牙语中由后缀构成的名词化-ura，作为pintura（绘画），magistratura（裁判法院）和gordura（脂肪）。我们已经对这些名词形式的行为，并提出了一个类型本体来对它们进行分类。我们已经摆脱了所有由-存在于OpenWordNet-PT中并签入的ura三本著名的葡萄牙语词典（波尔图词典、卡尔达斯Aulete字典和Houais字典）。然后我们分析了它们在巴西语料库上下文中的使用，该语料库从各种文本中提取超过10亿个单词性别。为了提供丰富的描述，我们还测试了-ura在与at共同谓词语境中形成的所有单词至少三名母语为巴西葡萄牙语的人掌握语言研究理论，检查其类型可以共同预测。虽然我们的主要目标是基于语体的对这些名词的描述，我们发现很少考虑-ura类型结构的可能推广形式。除此之外，我们对共同预测的测试表明一个给定单词的使用频率对不同意义之间的共同预测的可接受性名词化。

15:00Pepijn Kokke。正式化Agda中的类型逻辑语法
这是关于校对助理阿格达的谈话。更多特别是关于使用Agda来证明事情和所有这样做的好处解释一下，是你吗：a）有一台经过检查的机器实施你的理论；b） 可以用你的证明计算；和c）可以排版Agda校样，以便您编写的校样你出版的校样。这次演讲的前半部分是花费在介绍Agda语言、Agda编程和用识字的阿格达语写论文。下半场将是花时间举一个这个过程的例子，由在Agda中形式化Lambek-Grishin演算（LG），讨论LG中剪切消除的证明，并概述CPS从LG翻译成Agda。我们将通过提供几个句子的实例分析。[幻灯片]

星期五14:00-15:30

14点Seohyun Im和Chungmin Lee。A类使用Asher的TCL展开类型强制分析和传统
这个本文旨在提出对类型强制的发展分析根据类型理论和传统非语言语境，区分在语言和非语言语境之间。我们认为语言和非语言语境以及词汇词语的意义在解释中有着深刻的影响一种用字体标记的结构。在词汇语义层面，类型强制构造是不明确的。尽管它语言语境可以减少解释过程中的结构组成，它仍然是模糊的，直到它的非语言上下文消除了这个结构的含义的歧义。更多重要的是，我们提出这个词是在假定与单词相关的传统非语言上下文。这个背景在作曲过程中起作用。因此，a以类型为中心的结构有一个首选的解释源自其传统的非语言语境，如果没有特定的非语言语境（话语情境）提供了，并且其语言上下文是中性的。对于例如，“开始这本书”的首选解释是开始阅读这本书，因为传统的书的非语言语境是阅读的情境这本书。然而，偏好只是一种概率其结构仍不明确。总之，歧义通过三个方面来解决层次：从词汇语义（传统的非语言上下文）、合成语义（语言上下文）和语用学（非语言语境）。


14时30分Koji的Ribeka TanakaMineshima和Daisuke Bekki。事实和预设依赖类型语义
依赖类型语义（DTS）是一个自然的框架基于依赖类型理论的语言语义。在与传统的模型理论语义相比，DTS是一种蕴涵关系所在的证明理论语义以语义之间的可证明关系为特征陈述。DTS的两个显著特征是与其他类型的理论框架相比，（i）它添加了未指定的术语，以便提供隐含、回指和预设的统一分析推理/计算视角；并且（ii）它给出了对涉及回指的推理的全面组合说明。在本文中，我们对蕴涵和与事实动词相关的预设DTS框架。“知道”等事实态度动词区别于非事实性态度动词，如“相信”，因为它们引入了预设推论。我们提出了不同形式的语义事实动词和非事实动词的表征：we以证明词为谓语分析事实动词论点，以及作为谓词的非事实动词从属类型理论意义上的命题。我们的理论还解释了事实和带NP-补语的非事实动词：例如“S相信P“意味着S相信P”的假设，而“S知道P的假设”并不意味着“S知道P”。

15:00罗宾库珀（和克里斯蒂安·雷托雷）。最终总结和讨论：类型理论和词汇中的新兴主题语义（来自上述文章）