广义智能科学的逻辑基础探讨西北工业大学计算机学院西北工业大学计算机学院 何华灿何华灿2004年09月11日于秦皇岛一逻辑是智能的基本科学问题吗?对这个问题的回答经历了对这个问题的回答经历了早期早期:狭义智能的完全肯定:狭义智能的完全肯定 中期中期:知识工程的部分动摇:知识工程的部分动摇?计算智能的完全否定计算智能的完全否定 现在现在:探索广义下的肯定答案:探索广义下的肯定答案 解决这个问题的重大意义解决这个问题的重大意义有助于深刻认识智能的本质有助于深刻认识智能的本质为智能科学奠定重要理论基础为智能科学奠定重要理论基础使人工智能有统一的可靠的逻辑基使人工智能有统一的可靠的逻辑基础,这是由实证科学向理论科学过础,这是由实证科学向理论科学过渡和由定性向定量转型的必要条件渡和由定性向定量转型的必要条件深刻的比喻深刻的比喻尽管人类很早就通过形体、结构和尽管人类很早就通过形体、结构和遗传进化认识了生物和生命,但直遗传进化认识了生物和生命,但直到发现了到发现了 DNADNA,才真正开始认识生才真正开始认识生物和生命的本质。物和生命的本质。人类基因组计划人类基因组计划 如如 高贵的高贵的人人和卑微的