知识表示

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

优秀人才培养专项资金项目，研究不完全知识处理关键技术。

国家自然科学基金项目，研究遗忘理论及其应用。