Logic Theorist翻译
Logic Theorist的基本解释
读音: 美: 英:
逻辑理论家:逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。
短语
Logic Theorist system 逻辑理论家系统
0
纠错
相关推荐:
- Trade Commission
- exist outside
- seen things
- in art
- environmental change
- mission controllers
- deep fakes
- underlying molecular
- have promised
- Great Pacific
- Several attempts
- push yourself
- cultural artifacts
- home states
- expressions means
- Rugby Football
- Andrew Robertson
- often due
- helping build
- migration season
- housing made
- minimize harm
- social bonds
- paper factory
- tailoring shop
- roof over
- Air Signs
- deadly bacteria
- society changes
- particulate air
- Transportation Alternatives
- official version
- Voluntary groups
- English pronunciation
- zebra stripes
- modern education system
- keeps going back
- planned departure
- high ankle sprain
- combined event
- needs power
- marching through
- expired before
- laying bare
- new poetry
- termination notice
- wild cheers
- creating a system