数理逻辑（非经典）在知识工程中的应用

人工智能一个基本问题是知识表示、知识利用和知识获取，经典与非经典的数理逻辑是解决这些问题的重要途径之一。本项目拟在非单调逻辑（缺省逻辑为代表）框架下探讨常识推理的一些主要形式（归纳类比等）的形式化问题和新形式系统的数学特性（协调性、语义柔性与计算复杂性等）及其在程序理论与机器学习中的应用，以深化知识表示与推理的研究。