Logic Theorist翻译
Logic Theorist的基本解释
读音: 美: 英:
逻辑理论家:逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。
短语
Logic Theorist system 逻辑理论家系统
0
纠错
相关推荐:
- Planetary Science
- waste produced
- greatly expanded
- especially important
- under each
- cycle speeds
- I believe
- similar material
- not attend
- similar figure
- so upsetting
- marketing products
- publishes news
- bring shame
- lightning bolts
- flat metal
- regret that
- American Hustle
- government property
- previous transitions
- miniature horse
- keep money
- ground clay
- peace operations
- no killing
- hardly anybody
- flight leaves
- formal situations
- Ponce de Leon
- The main difference
- Good versus evil
- causes brain damage
- generative AI ``
- Grand Slam final
- in the report
- Prefabricated Construction
- scoring from
- does not consider
- Rapid City
- professional educators
- receiving awards
- Jimmy Iovine
- doing otherwise
- get any more
- into a hole
- ability to respond
- saved hundreds
- guarantee a place