MSC 91F20中最近的zbMATH文章 https://zbmath.org/atom/cc/91F20 2024-04-15T15:10:58.286558Z Werkzeug公司 形式语义的元素。自然语言意义的数学理论简介 https://zbmath.org/1530.03008 2024-04-15T15:10:58.286558Z “冬天,尤德” https://zbmath.org/authors/?q=ai:winter.yoad 出版商描述:在形式语义学中,结构被视为从单个词义创造句子意义的基本要素。这本书介绍了自然语言形式语义学中的一些基本概念、原则和技术,并概述了语言学意义背后的数学原理。通过英语示例,Yoad Winter以通俗易懂的方式介绍了最有用的工具和形式语义学概念,并包括各种实践练习,以便读者能够学会有效地使用这些工具。对于具有集合论和语言学基础背景或对数学建模感兴趣的读者来说,这项引人入胜的研究是自然语言语义学的理想入门。这本书旨在快速而全面地介绍当今现代语言学中最具活力的研究领域之一,揭示了意义数学研究的美丽和优雅。 论雅各布森的“走向无变量语义” https://zbmath.org/1530.03119 2024-04-15T15:10:58.286558Z “西蒙·夏洛” https://zbmath.org/authors/?q=ai:charlow.simon 摘要:\textit{P.Jacobson}[语言学家Philos.22,No.2,117--184(1999;\url{doi:10.1023/A:1005464228727}。我回顾了雅各布森的无变量语义的中心方面,用标准的回指来平衡它。我讨论了雅各布森理论在概念和实证方面的优点,以及一些不足之处。我利用标准账户的某些设计特征,勾画了一个无变量语义的替代组合实现,将这种方法与“应用函数”的计算机科学概念联系起来(从而与替代语义和延续等多种框架联系起来),并阐明了无变量理论的哪些属性应被视为专有属性,哪些属性可以很容易地重新用于有变量的理论。整个系列见[Zbl 1515.03018]。 二部分穷尽:来自越南人的证据 https://zbmath.org/1530.03135 2024-04-15T15:10:58.286558Z “星期二,特里恩” https://zbmath.org/authors/?q=ai:trinh.tue 小结:这个简短的注释提出了一个经验性的困惑:越南语对应的\textbf{any}有两个形态变体,只有一个,即更复杂的一个,在存在模态下是可以接受的。然后,注释讨论了\textbf{any}的理论,该理论对存在情态下\textbf{anyneneneep的可接受性的解释需要穷尽。然后,在穷举具有二元句法的假设下,越南事实显示出了理论的效仿性。笔记最后提出了一些有待进一步研究的开放性问题。关于整个系列,请参见[Zbl 1475.03006]。 比较带来了基于学位的NPI许可方 https://zbmath.org/1530.03137 2024-04-15T15:10:58.286558Z “张林敏” https://zbmath.org/authors/?q=ai:zhang.linmin 摘要:比较允许在其\textit内使用负极性项目(NPI){than}-子句。在比较中,NPI许可方的具体构成是什么?在本文中,我认为正是作为比较中的标准的地位构成了NPI许可方。基于\textit{L.Zhang}和\textit}{J.Ling}的[`The semantics of compariatives:a difference Based approach',J.Semant.38,No.2,249--303(2021;\url{doi:10.1093/jos/ffab003}]基于区间分词的比较理论表明,作为比较的标准,在减法方程中充当减法的角色{than}-子句本质上是向下拖尾。此外,它还像经典的否定操作符textit{not}那样表现出强烈的否定性。因此,一个\textit{than}-子句许可弱NPI和强NPI。关键的是,这个NPI许可方是由于基于度语义的单调性投影(通过区间实现),而不是由于基于集合运算的否定操作符。关于整个系列,请参见[Zbl 1475.03006]。 语义学 https://zbmath.org/1530.91002 2024-04-15T15:10:58.286558Z “科尔奈,安德拉斯” https://zbmath.org/authors/?q=ai:kornai.andras 出版商描述:这本教科书的重点是语言表达的意义,通常是完整的句子和较长的文本。作者描述了构建能够理解文本的语义系统所需的概念性和形式化工具,包括信息提取和问答等特定任务以及语义Web等广泛任务。这里的目标是介绍工作系统所依赖的基本思想,本书主要针对对开发语义系统感兴趣的计算机科学或工程专业学生。理想的读者是“黑客”,一个喜欢深入了解系统内部工作的人。 具有概率语言信息的两人零和矩阵对策 https://zbmath.org/1530.91014 2024-04-15T15:10:58.286558Z “米,小美” https://zbmath.org/authors/?q=ai:mi.xiaomei “廖,胡长” https://zbmath.org/authors/?q=ai:liao.huchang “曾小军” https://zbmath.org/authors/?q=ai:zeng.xiaojun “徐泽水” https://zbmath.org/authors/?q=ai:xu.zeshu 摘要:博弈论建立了理性决策者之间战略互动的数学模型。在许多情况下,很难获得清晰的收益值,而概率语言信息很容易收集。然而,现有的矩阵博弈研究没有考虑概率语言信息。为了弥补这一差距,本研究将概率语言信息作为两人零和矩阵博弈的输入,并通过三角隶属函数处理模糊信息。这种具有概率语言信息的两人零和矩阵对策是一种有用的多准则分析技术。此外,与其他不确定矩阵对策相比,它输出与输入形式相同的信息,以增加可解释性。以森林经营为例,说明了具有概率语言信息的二人零和矩阵对策的有效性和优越性。 第二语言习得行为与霸权语言 https://zbmath.org/1530.91037 2024-04-15T15:10:58.286558Z “哈萨米,肯塔罗” https://zbmath.org/authors/?q=ai:hatsumi.kentaro 小结:我们构建了一个游戏理论模型,在这个模型中,有多个国家有自己的语言,每个公民都可以从用第二习得语言进行的额外交流中获益。我们证明,在任何平衡中,都会出现霸权语言,这是其他国家所有公民都想学习的语言。如果一个非最大国家的人口规模增加,或者如果第二语言额外交流的收益与获取成本的比率增加,则更可能存在这种平衡。{{\版权}2022 IAET} 基于公理设计的语言模糊真度异构多准则群决策数学规划方法 https://zbmath.org/1530.91142 2024-04-15T15:10:58.286558Z “刘爱华” https://zbmath.org/authors/?q=ai:liu.aihua “万树平” https://zbmath.org/authors/?q=ai:wan.shuping “董九英” https://zbmath.org/authors/?q=ai:dong.九英 摘要:本文旨在开发一种新的基于公理化设计的数学规划方法,用于解决具有语言模糊真度(LFTDs)的异构多准则群决策(HMCGDM)问题。本文的主要贡献归纳为五个方面:(1)根据公理化设计,初步给出了六类模糊数的信息量定义。(2) 考虑到专家在不同标准上的权威性和群体共识,构建了一个双目标规划模型,通过最大化个体偏差和最小化群体不一致来获得专家权重。(3) 每个备选方案都根据其信息含量评估为模糊正理想解。首先利用信息内容定义语言模糊一致性和不一致性指标。(4) 建立了一个双目标语言模糊数学规划模型来确定准则权重,该模型同时考虑了一致性和不一致性指标。该模型可以通过语言尺度函数巧妙地转换为清晰的线性规划模型进行求解。(5) 计算每个方案对模糊正理想解的组信息含量,以确定方案的排序顺序。最后,以区块链服务提供商选择为例验证了该方法的有效性。 处理阿拉伯语形态学的纯面向表面的方法 https://zbmath.org/1530.91505 2024-04-15T15:10:58.286558Z “优素福,无忧无虑” https://zbmath.org/authors/?q=ai:aboamer.yousuf “克拉希特,马库斯” https://zbmath.org/authors/?q=ai:kracht.marcus 小结:在本文中,我们介绍了一种处理阿拉伯语形态学的完全词汇学方法。这种纯粹面向表面的处理是一种综合数学方法的一部分,该方法在字符串到含义的翻译中使用显性形态特征来整合阿拉伯语语法和语义。我们方法的基本动机是将语义表示与形态单位的形式描述结合起来。也就是说,词汇是符号的集合;每个符号都是三元组,即(E)是指数,(C)是组合词,(M)是符号的意义。这里,我们只关注指数,即形态语义词典的组成部分(用于阿拉伯语片段)。为了保持表面取向,我们允许成分的不连续性;成分是字符串的序列,只能连接或复制,但没有规则可以删除、添加或修改任何字符串。阿拉伯形态学以其复杂性和丰富性而闻名。阿拉伯语的构词法带来了真正的挑战,因为单词来源于词根,词根具有派生词的核心含义,由插入元音或其他辅音组成。序列中的单位是所谓的粘合字符串,而不仅仅是字符串。粘合字符串是具有左右上下文条件的字符串。最佳语素以确定和非例外的线性方式组合,在许多情况下,在不同的语言中(例如英语中的复数)。阿拉伯语构词过程相当复杂;这不仅仅是通过将变形相邻放置来对其进行连续连接。但成分是不连续的。元音和更多的辅音插入根辅音之间、之前和之后,导致我们称之为“断裂的粘合字符串”,即以不同方式组合的粘合字符串序列;前向连接、后向连接、前向包装、约简、前向转换,以及超越多上下文自由语法(MCFG)的重叠。整个系列见[Zbl 1419.68004]。 形态句法模式遵循单调映射 https://zbmath.org/1530.91506 2024-04-15T15:10:58.286558Z “塞迪赫·莫拉迪” https://zbmath.org/authors/?q=ai:moradi.sedigheh 摘要:语言除了是一个结构系统外,还是一个关系系统。理解这些关系背后的特殊规律有助于我们预测语言组织中的可能性和差距。本文遵循{T.Graf}的工作[`单调性是形态句法变异的有效理论',J.Lang.Model.7,No.2,3-47(2019;\url{doi:10.15398/jlm.v7i2.21113})],将单调性定位为对形态句法范式中可能模式的实质性潜在限制。这种方法不仅扩展了语义外的单调性概念,而且将这种形式解释与语言外动机结合起来。我为动词范式中的融合提出的时态层次是由{H.Reichenbach}的时态系统独立驱动的[符号逻辑的要素。纽约:麦克米伦公司(1948;Zbl 0034.00301)]。用于性别解析规则的性别层次结构直接从语言数据的组织中提取。这两种范式的限制很容易解释为它们只允许从基本层次结构到输出形式的单调映射。关于整个系列,请参见[Zbl 1475.03006]。 架起形式语义学和神经语言学之间的桥梁:以N400和LPP为例 https://zbmath.org/1530.91507 2024-04-15T15:10:58.286558Z “拉尔夫·诺曼” https://zbmath.org/authors/?q=ai:naumann.ralf “Petersen,Wiebke” https://zbmath.org/authors/?q=ai:petersen.wiebke 摘要:我们概述了一个形式化框架,该框架将神经语言学对两个ERP组件N400和LPP的研究结果与形式化语义相结合。在语义层面上,我们将德格罗特的蒙塔古语义的基于延续的版本与范·艾伊克的增量动力学(Incremental Dynamics)结合在一起,并用框架进行了丰富。我们从复杂属性的角度对它们进行分析,这些属性既适用于语义层面,也适用于语篇层面,并将世界知识与组合关系和聚合关系结合起来。DP和常用名词被解释为与这些属性相关的更新操作序列。反过来,每个ERP组件都与至少一个更新操作相关。虽然N400与这些操作的成功相关,并且与它们减少有关论述所描述情况的不确定性的方式相关,但LPP与执行这些更新的失败相关。整个系列见[Zbl 1494.03010]。 负极性添加剂颗粒 https://zbmath.org/1530.91508 2024-04-15T15:10:58.286558Z “安德烈·C·尼古拉” https://zbmath.org/authors/?q=ai:nicolae.andreea-克里斯蒂娜 摘要:许多语言都有成对的加法标记,这些标记具有共同的形态核心。本文重点讨论罗马尼亚语对textit{ši}和textit{nici},并对其分布和解释进行分析。分析的关键是,声称\textit{nici}拼出了负标记\textsc{n}和加性粒子\textsc{add};\textsc{n}被认为贡献了负极性成分,而\textsc{add}被认为贡献了与正粒子\textit{şi}相同的成分。关于整个系列,请参见[Zbl 1475.03006]。 后置假设和无法解释的问题 https://zbmath.org/1530.91509 2024-04-15T15:10:58.286558Z “张林敏” https://zbmath.org/authors/?q=ai:zhang.linmin 小结:对于像“三个男孩的身高在5英尺10英寸到6英尺之间”这样的句子,为什么我们不能抽象出身高信息并提出相应的程度问题,比如“三个孩子的身高是多少?”{wh}-问题(例如,玛丽亲吻了谁)和明确的描述(例如,玛丽亲吻的人)和(ii)明确的描述和修改的数字(例如,正好三个男孩)带来了后假设(即,导致相对明确性的延迟评估[\textit{A.Brasoveanu},J.Semant.30,155--209(2013;\url{doi:10.1093/jos/ffs003});\textit{D.Bumford},语言学家。菲洛斯。40549-593(2017;\url{doi:10.1007/s10988-017-9210-2}),我提出,当存在带来后假设的不同元素时,在计算相对确定性时会出现潜在的冲突,导致不可解释性。整个系列见[Zbl 1517.03003]。