不完全知识推理

国家自然科学基金项目，研究基于归结证明的不完全知识推理可解释性。