37、语言与技术领域的研究进展与应用探索

语言与技术领域的研究进展与应用探索

日语潜在句中的不连续性及相关研究

在日语研究中，Q - 副词在句法上会与两个带有不同不连续性运算符的成分相关联，形成一种可能包含不连续成分的二元结构。其中一个成分带有 ↓ 运算符，另一个带有 ↑ 运算符，它们引入与填充项（主格名词短语）及其空位相对应的变量，这些变量将由 Gen 运算符进行非选择性约束。

Chierchia 提出某些成分是在 Spec, AspectPhrase 位置生成的，当该位置的中心语（Asp）具有 [+Q] 特征（代表“量化”）时，它们会与中心语一致。ASP 的中心语 Hab 带有 [+Q] 特征时，能使情节性、阶段层面的谓词获得习惯性解读，从而产生个体层面（本质上是类指性）的动词短语。

论证与保证国际研讨会（AAA 2017）

研讨会背景与目标

论证如今已成为一个跨学科的研究主题，受到形式逻辑、非形式逻辑和人工智能等不同领域的广泛关注。它旨在分析、评估和系统化人类在电视、报纸、网络等媒体中出现的各种论证，以及基于结构化知识和逻辑语言、推理规则构建的人工论证。其研究成果广泛应用于安全、政治、医疗和法律等多个领域。

特别是安全工程领域，重视 Toulmin 的论证模型以及近期对形式论证的深入研究。基于证据的论证（如安全案例、保证案例或可靠性案例）的使用越来越受到关注。如今，开发和运营机构遵守国际标准、系统利益相关者达成共识、系统管理员实现问责制都变得至关重要。

该国际研讨会始于 2013 年，旨在加深从事论证达成共识和保证相关研究的形式逻辑、非形式逻辑、人工智能和安全工程领域的研究人员和从业者之间的相互理解，探索新的研究领域。