福恩市长，大卫;克里斯托夫·本兹穆勒 使用表达逻辑组合对复杂自然语言论点进行机械化评估。 （英语） Zbl 1435.68315号 Herzig，Andreas（编辑）等人，《组合系统的前沿》。2019年9月4日至6日，第十二届国际研讨会，FroCoS 2019，英国伦敦。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11715, 112-128 (2019). 摘要：我们提出并说明了一种基于浅语义嵌入的逻辑组合方法，这是一种利用经典高阶逻辑（HOL）作为元语言的高表达能力来嵌入某些对象逻辑的语法和语义的技术。这种方法允许我们重用现有的（高阶）自动推理基础设施，以便与不同的非经典逻辑（模态逻辑、道义逻辑、内涵逻辑、认知逻辑等）无缝组合和推理。特别是，这里介绍的工作说明了使用伊莎贝尔证明助手来表示和评估语言复杂论点。我们将二元道义逻辑（也以古希腊形式为特色）与高阶量词和基于卡普兰索引逻辑的2D语义结合起来。关于整个系列，请参见[Zbl 1428.68022号]. 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 第68页第50页 自然语言处理 68伏15 定理证明（自动和交互式定理证明、演绎、解析等） 关键词：逻辑组合;高阶逻辑;道义逻辑;论证;高阶定理证明;伊莎贝尔 软件：伊莎贝尔;Nitpick公司 PDF格式BibTeX公司 XML格式引用 \textit{D.Fuenmayor}和\textit{C.Benzmüller}，Lect。注释计算。科学。11715、112-128（2019年；Zbl 1435.68315） 全文： 内政部