基于归结证明的不完全知识推理可解释性研究及其应用

资助来源： 国家自然科学基金（NSFC）
项目编号： 62376066
资助金额： 49万元
项目周期： 2024.01 - 2027.12

团队成员

• 王一松（负责人）
• 申凌
• 涂晓英
• 詹颖

项目简介

研究基于归结证明的不完全知识推理可解释性及其应用。