【logic_theorist】什么意思_英语logic_theorist的翻译_音标_读音_用法_例句_在线翻译

Logic Theorist

逻辑理论家：逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。

逻辑理论家

...算子、应用算子、评价当前状态问题解决的策略：算法和启发法（手段—目的分析、逆向工作、计划） 逻辑理论家（Logic Theorist）：简称LT，1956年Newell, Shaw和Simon编写的历史上第一个模拟人解决问题的计算机程序。

基于258个网页-相关网页

逻辑专家

末,Newell和Simon做了一个名为逻辑专家(Logic Theorist)的程序.这个程序被许多人认为是第一个AI程序.

基于64个网页-相关网页

逻辑理论

...现大多数的心理学理论乐观的人工智能 30 一些成果（2）  第一个为计算机编写的人工智能程序是“逻辑理论 家（Logic Theorist）”。它是Allen Newell、 Herbert Simon和J.

基于4个网页-相关网页

短语

logic theorist system 逻辑理论家系统

心理学

·2,447,543篇论文数据，部分数据来源于NoteExpress

abstract: Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and J.

以上来源于: WordNet

应用推荐

$firstVoiceSent

- 来自原声例句