本文从几个角度综合了各种主张,提出了一种独特的语言学派,将数学几何观点引入到语法中,描述了一种基于几何学的机制,用于解释人类语言里的显著特征,并提出了一种新型的匹配方法,利用代表单词的标记链来形成句子,并匹配语法词序。最终得到的二维和三维结合体为以往传统语法体系难以准确描述的语言规则提供了一种新视角。
Mar, 2023
本文研究了提供复合命题演绎的可能性,并通过引入几个扩展后的逻辑来分析是否需要将归谬法视为必要条件,得出了关于其存在(或不存在)的命题证明体系的结果,并确定了所有分段思维的计算复杂度。
Aug, 2008
本文介绍一种使用 Lambek Calculus 计算逻辑和 Fock Space 语义模型来处理语篇关系的方法,该方法可以通过机器学习和量子计算实现,用于需要解决代词指代的模型中具有较高的准确性。
Aug, 2022
该研究通过将答案集求解器转换为无穷命题公式的语言,解决了一些基于本质稳定模型定义的复杂结构,如局部变量、条件文字和聚合等,避免了纯手动的解释。
Dec, 2013
该研究探讨了一个版本的线性时态逻辑,其命题片段是 Godel-Dummett 逻辑,并使用了两种自然语义学,一种是真值语义学,另一种是双关系语义学,证明了这些语义定义了相同的逻辑,并提出了决定语句有效性的算法以及一个用于 Godel 临时逻辑的演绎演算法,从而证明了所有的有效语句都能够用这个演算法证明。
Jun, 2023
本文提出了非公理术语逻辑 (NATL) 作为人类符号推理在人工智能领域的理论计算框架,并将其定位在逻辑学的发展历程和相关文献中。NATL 结合了阿里斯托德的术语逻辑和现代分布式表示或嵌入的语义系统。该文未进行量化评估,但提供了使用 NATL 的定性分析和几个可能涉及机器人和认知科学的应用案例及其相关问题。
Oct, 2022
本文提出了一种新的语法任务集,专注于矛盾检测,并评估了递归模型和 BERT 网络。虽然 BERT 在大多数逻辑形式上具有更好的泛化效果,但在处理计数算子时仍有待改进,同时表明该语法任务可以在不同的语言中实现并实现跨语言传递学习。
May, 2019
该研究论文介绍了认知逻辑程序的语言和形式语义,并探讨了该领域的当前状态和未来研究的挑战。
Aug, 2021
本文通过利用语言中常量的对称性,将隐式可学习性推广,提出了一种在第一阶逻辑中进行强健学习的新理论方法。
Jun, 2019
本文认为逻辑语义学未能区分本体概念和逻辑概念等两种基本不同的概念类型,指出需要将词汇语义学和组合语义学融合为一个一致的框架,并嵌入一个强类型的本体论中以反映我们的世界常识认知,从而解决自然语言语义学中的一些挑战。
Aug, 2018