1、 广义智能科学的逻辑基础探讨 西北工业大学计算机学院 何华灿2004年 09月 11日 于秦皇岛一逻辑是智能的基本科学问题吗?对这个问题的回答经历了早期 :狭义智能的完全肯定 中期 :知识工程的部分动摇 ?计算智能的完全否定 现在 :探索广义下的肯定答案 解决这个问题的重大意义有助于深刻认识智能的本质为智能科学奠定重要理论基础使人工智能有统一的可靠的逻辑基础,这是由实证科学向理论科学过渡和由定性向定量转型的必要条件深刻的比喻尽管人类很早就通过形体、结构和遗传进化认识了生物和生命,但直到发现了 DNA, 才真正开始认识生物和生命的本质。 人类基因组计划如 高贵的 人 和卑微的 黑猩猩 比较 DN
2、A的差别小于几 %!逻辑学是思维和智能的 DNA L计划根据 1:工生命的重要启示人工生命中的研究结果 L-系统 细胞机DNA是生命系统的逻辑规则 生物体只是这些逻辑规则的语义解释和物理实现根据 2:蓬勃发展的现代逻辑与 AI界有人放弃逻辑不同,有些逻辑学家认为人工智能是现代逻辑学发展的 原动力 他们在努力拓展经典数理逻辑,以适应计算机科学,计算语言学和人工智能发展的需要,取得了丰硕成果,这集中反映在现代逻辑的 “ 圣经 ” 哲学逻辑手册 中。适应智能科学需要的逻辑已 初现端倪!问题的关键何在?智能科学要处理矛盾和不确定,如:不精确 不完全 动态 演化人工智能只能使用数学化的逻辑而经典数理逻辑不考虑矛盾和不确定辩证逻辑能处理内在矛盾性和外在不确定性 ,辩证逻辑能够数学化吗?关键:探索数理辩证逻辑二广义智能科学对逻辑学的需求什么是广义智能观智能广泛存在于自然界中。 (涂序彦等)广义智能 是信息系统感知环境及其变化,通过自身结构和功能的改变,恰当而有效地对其作出反映,以适应环境,达到系统生存目标的能力。 (何华灿)广义智能是一切可把广义信息 广义知识广义智力的机制和方法 (钟义信)