论文部分内容阅读
本文介绍了"智能科学技术基础理论重大问题高层研讨会"制定的我国最近5-10年内需要特别关注的25个重点研究课题,并就其中的"智能科学的逻辑基础"课题谈了一些作者的认识和思考:首先肯定了逻辑是智能的基本科学问题;然后讨论了智能科学技术对逻辑学提出的需求,把这些需求归纳到一点就是实现数理逻辑的柔性化;最后简单介绍了我们提出的实现数理逻辑柔性化的泛逻辑学研究纲要、它的实施情况及国际泛逻辑学研究动态.希望能对我国的人工智能基础研究和现代逻辑研究有所启发和帮助.