知识库更新理论与算法研究

本项目研究知识库更新与其相关NP难题问题之间的多项式规约，及其多项式层次；知识库更新与学习的内在联系。分别对基于公式和基于模型的知识库更新问题，给出高效算法；提出神经网络分类学习算法。进而研究这些问题的分布并行算法，并应用到电力负荷智能预测系统中。该研究工作属于人工智能领域的研究热点，具有重要的理论与实践意义。