对智能科学逻辑基础研究的战略思考
本文介绍了”智能科学技术基础理论重大问题高层研讨会”制定的我国最近5-10年内需要特别关注的25个重点研究课题,并就其中的”智能科学的逻辑基础”课题谈了一些作者的认识和思考:首先肯定了逻辑是智能的基本科学问题;然后讨论了智能科学技术对逻辑学提出的需求,把这些需求归纳到一点就是实现数理逻辑的柔性化;最后简单介绍了我们提出的实现数理逻辑柔性化的泛逻辑学研究纲要、它的实施情况及国际泛逻辑学研究动态.希望能对我国的人工智能基础研究和现代逻辑研究有所启发和帮助.
人工智能基础 泛逻辑学 智能科学 现代逻辑 计算智能 数理逻辑
何华灿 何智涛
西北工业大学,710072 北京航空航天大学,100083
国内会议
武汉
中文
42-52
2005-09-20（万方平台首次上网日期，不代表论文的发表时间）