人工智能的逻辑基础初探.pptVIP

人工智能学科 的未来五十年 西北工业大学 何华灿 hehuac@nwpu.edu.cn 2006-08-03 北京 热 烈 祝 贺 人工智能学科诞生五十周年 暨 中国人工智能学会成立二十五周年 ? ???? 序 ?让我们暂时放下日常使用的小视野、短时空、细粒度的思维方式； ?切换到不常使用的大视野、长时空、粗粒度的思考中来； ?这也许能够帮助我们滤除高频干扰，发现人工智能学科发展的历史脉络。 ? ???? 一 对过去五十年的 整体评价 ?计算机代替、延伸和增强了人的智力，人工智能的诞生，表明人类已经认识到单纯的数值计算不能完全解决智能模拟问题，逻辑推理和启发式搜索必不可少。 ?知识工程出现显示了专门知识的重要性，也暴露了经典数理逻辑的局限性，诱发了人工智能（符号主义）的理论危机。 ?符号主义的停滞不前，为计算智能的蓬勃发展提供了理想环境，它们用模型计算来模拟各种自然智能机制，取得巨大成功。 ?计算智能的成功说明智能不仅存在于脑思维中，也广泛存在于生命活动中。 ?广义智能观的确立为智能科学提出了一系列深刻的理论课题和技术课题。 人工智能学科现已形成三大流派 ?符号智能—智能可通过符号演算模拟，如 状态空间搜索、逻辑推理和知识工程； ?计算智能—智能可通过模型计算模拟，如 进化计算、免疫计算和模糊计算； ?群体智能--智能可