Logic Theorist翻译
Logic Theorist的基本解释
读音: 美: 英:
逻辑理论家:逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。
短语
Logic Theorist system 逻辑理论家系统
0
纠错
相关推荐:
- says that
- operating over
- trained its
- automatically chooses
- holds for
- Phonetic Alphabet
- short drive
- swamp gas
- emotional disorders
- died suddenly
- turn red
- leaf colors
- decide after
- school houses
- with satisfaction
- government schools
- top athletes
- injured animals
- back left
- Blue tooth
- The biggest challenge
- San Antonio Spurs
- World Breastfeeding Week
- venture for
- key vote
- midway between
- joining a list
- return envelopes
- no carry
- dangerously close to
- through forced
- more advantageous
- bowing out
- American civil society
- collective challenge
- get the attention
- retained for
- take radical
- left the shop
- down shirts
- walls collapsed
- has swelled
- Solomianskyi district
- Wireless Music
- good saying
- rarely asked
- against the advice
- Commission works