最初用计算机成功地模拟人类思维是由纽厄尔与西蒙(Newell and Simon)设计的这个程序称为逻辑理论家(Logic Theorist)的程序能用来证明形式逻辑中的各种定理逻辑理论家采用了人类在问题解决活动中所使...
基于18个网页-相关网页
纽厄尔与西蒙
Newell and Simon
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动