Logic Theorist翻译
Logic Theorist的基本解释
读音: 美: 英:
逻辑理论家:逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序,是首个可以自动进行推理的程序,被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个,在当中更是找到既新颖又优雅的证明。
短语
Logic Theorist system 逻辑理论家系统
0
纠错
相关推荐:
- still growing
- force wind
- native plants
- much easier
- suit him
- closely behind
- tremendous number
- broken chain
- scared out
- viral videos
- almost sure
- alternative candidate
- operating permits
- pension age
- false claims
- as losing
- stop activities
- bankruptcy laws
- navy ships
- presenting itself
- new banking
- fixed mindset
- technology competition
- to becomes
- average user
- washing clothes
- vegetable broth
- A young man
- Through social media
- into the forests
- made a series
- significantly limited
- measures to address
- unacceptable levels
- honor court
- new stadiums
- live appearance
- teaming with
- donated it to
- delivering books
- knowledge and expertise
- helped to develop
- physical play
- in satin
- garbage plates
- which position
- body suit
- speaking up against