在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
Logic Theorist
查词链接：
https://www.dute.org/dict/Logic_Theorist复制链接 逻辑理论家：逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动进行推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
查看英英释义
abstract:
Logic Theorist is a computer program written in 1955 and 1956 by Allen Newell, Herbert A. Simon and J.
网络释义
逻辑理论家
...算子、应用算子、评价当前状态 问题解决的策略：算法和启发法（手段—目的分析、逆向工作、计划） 逻辑理论家（Logic Theorist）：简称LT，1956年Newell, Shaw和Simon编写的历史上第一个模拟人解决问题的计算机程序。
逻辑专家
末,Newell和Simon做了一个名为逻辑专家(Logic Theorist)的程序.这个程序被许多人 认为是第一个AI程序.
逻辑理论
...现大多数的心理学理论 乐观的人工智能 30 一些成果（2） 第一个为计算机编写的人工智能程序是“逻辑理论 家（Logic Theorist）”。它是Allen Newell、 Herbert Simon和J.
常用短语
- logic theorist system逻辑理论家系统
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}