日前，国家自然科学基金委员会发布了《关于2023年国家自然科学基金集中接收申请项目评审结果的通告》（国科金发计〔2023〕62号），经自然科学基金委审批，北京语言大学共有2项项目获得国家自然科学基金青年科学基金项目立项资助，资助经费共计60万元。

北京语言大学获得国家自然科学基金青年科学基金项目立项的分别是：李炜博士主持的“面向中医古籍的多层次术语知识挖掘关键技术研究”和吴慧珊副教授主持的“环的反推数学和可计算性问题研究”。

青年基金项目支持青年科学技术人员在国家自然科学基金资助范围内自主选题，开展基础研究工作，特别注重培养青年科学技术人员独立主持科研项目、进行创新研究的能力。

项目介绍：

1.李炜博士主持的“面向中医古籍的多层次术语知识挖掘关键技术研究”

中医古籍中蕴含了大量宝贵的知识，但是大部分此类数据是以无结构文本的形式展现，导致难以获得有效利用。中医古籍的特殊性又导致其知识标注成本很高。本项目致力于利用尽量少的标注成本和标注数据，通过大量无标注中医古籍数据挖掘出中医术语的不同表述之间的关联性，从无结构的中医古籍文献中发掘出多层次的结构化知识，达到由浅层知识到深层知识的术语对齐、术语关系抽取（微观关系）、分析中医诊疗规律（宏观关系）等多层次目标。基于预训练语言模型的方法结合迁移学习、模型探测、模型扰动、小样本学习等方法，从无结构的文本中抽取出结构化知识，进而为下游的构建知识图谱、药物、方剂索推荐和生成等中医智能化目标提供更丰富的知识基础。

2.吴慧珊副教授主持的“环的反推数学和可计算性问题研究”

反推数学和可计算性理论是数理逻辑领域的重要分支。反推数学主要考察数学定理在二阶算术子系统中的证明强度。可计算性理论不仅为反推数学中二阶算术子系统提供模型，也为数学定理的反推问题提供构造技巧和方法。项目研究代数学中环论的反推数学问题和可计算性问题,项目从反推数学的角度研究环的等价刻画定理的证明强度，重点关注半单环、局部环和更加广泛的半完全环，并运用可计算性理论的工具研究环的定义复杂性，如给出能够定义半单环、局部环和半完全环的最优算术分层。项目预期的研究结果将对环的等价刻画定理的证明强度和环的定义复杂性有更加精准的认识。项目研究将为反推代数和可计算代数领域贡献新元素，促进数理逻辑和代数学的发展。