释义 |
Lenat 基本例句 n.莱纳特¹⁰⁰ In the 1970s, Douglas Lenat’s Automated Mathematician automatically generated mathematical theorems, but they proved largely useless. 二十世纪七十年代,道格拉斯·莉娜的“自动数学家”程序自动生成数学定理,但是被证明基本上毫无用处。 yeeyan “ Eurisko was exposing the fact that any finite set of rules is going to be a very incomplete approximation of reality, ” Lenat explained. “ Eurisko揭露了一个事实,即任何有限的规则,最终都会被证明是一个对现实的极不完整的估计,” Lenat解释道。 yeeyan “ Imagine this enormous auditorium area with tables, and at each table people are paired off, ” Lenat said. “想象在一个巨大的礼堂里摆满了桌子。每张桌子边都站着两个选手,” Lenat说。 yeeyan “ In the beginning, everyone laughed at our fleet, ” Lenat said. “一开始,每个人都嘲笑我们的舰队。” Lenat说。 yeeyan Lenat had developed an artificial- intelligence program that he called Eurisko, and he decided to feed his program the rules of the tournament. Lenat开发了一个叫做“ Eurisko”的人工智能程序,并把锦标赛的规则输入进去。 yeeyan Lenat did not give Eurisko any advice or steer the program in any particular strategic direction. Lenat没有给 Eurisko任何建议,也没有按特定的策略修改程序。 yeeyan |