Logic Theorist翻译
Logic Theorist的基本解释
读音: 美: 英:
逻辑理论家:逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。
短语
Logic Theorist system 逻辑理论家系统
0
纠错
相关推荐:
- intelligence capacity
- demonstration project
- fishing grounds
- If not
- northern European
- once connected
- happening often
- Sebastian Thrun
- its delivery
- shirt off
- in battles
- religious community
- service companies
- health talk
- make myself
- gets tired
- unknown number
- city code
- little opportunity
- collect fees
- Scooby Doo
- web robot
- computers record
- temperature drops
- fast response
- slower growth
- war leaders
- possess something
- without difficulty
- cut something
- avoid making
- each reported
- private security companies
- The first four
- Modern Language Association
- retail trends
- traded for
- calls or text
- Adam Baldwin
- legislative support
- meat processors
- failed to appear
- new dawn
- successfully managed
- month ahead
- personal policy
- disrupt traffic
- industry regulator