通用解难器是由司马贺、约翰·克里夫·肖和艾伦·纽厄尔三人于1957年编写的计算机程序，旨在作为解决通用问题的机器。任何可以表示为合式公式或Horn子句，并构成一个以上源点或汇点的有向图问题，原则上可以透过通用解难器来解决。谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识与问题解决策略分离开来的计算机程序。通用解难器是以三阶编程语言“资讯处理语言”来实现。
卡内基学派是在卡内基·梅隆大学工业管理研究生院成立的经济思想学派。该学派以提出两个“看似不相容”的概念而闻名：有限理性和理性预期。前者由诺贝尔经济学奖得主司马贺和奥利弗·威廉姆森等共同开创，后者由约翰·穆斯开发、诺贝尔经济学奖得主小罗伯特·卢卡斯和汤玛斯·萨金特等推广。
逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和伯特兰·罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
奥利弗·伊顿·威廉姆森，美国经济学家，1955年毕业于美国麻省理工学院。他因“对经济治理尤其是企业边界的分析”与埃莉诺·奥斯特罗姆共同被授予2009年诺贝尔经济学奖。威廉姆森以交易成本经济学方面的研究著称，是新制度经济学的代表人物之一。他曾师从诺贝尔奖得主罗纳德·科斯、司马贺以及卡内基梅隆大学前校长Richard Cyert。
认知心理学是对诸如注意力、语言使用、记忆、感知、问题解决、创造力和思考等心理过程的科学研究。从1950年代至1960年代间才发展出来。1956年被认为是认知心理学史上的重要年份。这一年几项心理学研究都体现了心理学的信息加工观点。如诺姆·乔姆斯基的语言理论和艾伦·纽厄尔和司马贺的“通用解难器”模型。“认知心理学”第一次在出版物出现是在1967年乌尔里克·奈瑟的新书。而唐纳德·布罗德本特于1958年出版的《知觉与传播》一书则为认知心理学取向立下了重要基础。此后，认知心理取向的重点便在唐纳德·布罗德本特所指出的认知的讯息处理理论模式－－一种以心智理论来思考与推理的模式。因此，思考与推理在人类大脑中的运作便像电脑软件在电脑里运作相似。认知心理学理论时常谈到输入、表征、计算或处理，以及输出等概念。
通用解难器是由司马贺、约翰·克里夫·肖和艾伦·纽厄尔三人于1957年编写的计算机程序，旨在作为解决通用问题的机器。任何可以表示为合式公式或Horn子句，并构成一个以上源点或汇点的有向图问题，原则上可以透过通用解难器来解决。谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识与问题解决策略分离开来的计算机程序。通用解难器是以三阶编程语言“资讯处理语言”来实现。
《管理行为》是司马贺所撰写的一本书。书中认为“决策是行政的核心，行政理论必须研究人做选择时的逻辑和心理”。本书的写作目的是为之后对行政组织的科学分析提供基础。2001年司马贺的讣告中总结本书“抛弃了所有决策都能带来最大利益的、绝对理性的经济人，并用‘寻找一个好的、给行政者的决策方针’来代替它”。本书为之后的Carnegie School奠定了基础。
逻辑理论家是由艾伦·纽厄尔、司马贺和约翰·克里夫·肖于1955年和1956年间编写的计算机程序，是首个可以自动推理的程序，被称为“史上首个人工智能程序”。它最后证明了在怀特黑德和伯特兰·罗素合作撰写的数学原理中首52个定理中的38个，在当中更是找到既新颖又优雅的证明。
通用解难器是由司马贺、约翰·克里夫·肖和艾伦·纽厄尔三人于1957年编写的计算机程序，旨在作为解决通用问题的机器。任何可以表示为合式公式或Horn子句，并构成一个以上源点或汇点的有向图问题，原则上可以透过通用解难器来解决。谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识与问题解决策略分离开来的计算机程序。通用解难器是以三阶编程语言“资讯处理语言”来实现。
认知心理学是对诸如注意力、语言使用、记忆、感知、问题解决、创造力和思考等心理过程的科学研究。从1950年代至1960年代间才发展出来。1956年被认为是认知心理学史上的重要年份。这一年几项心理学研究都体现了心理学的信息加工观点。如诺姆·乔姆斯基的语言理论和艾伦·纽厄尔和司马贺的“通用解难器”模型。“认知心理学”第一次在出版物出现是在1967年乌尔里克·奈瑟的新书。而唐纳德·布罗德本特于1958年出版的《知觉与传播》一书则为认知心理学取向立下了重要基础。此后，认知心理取向的重点便在唐纳德·布罗德本特所指出的认知的讯息处理理论模式－－一种以心智理论来思考与推理的模式。因此，思考与推理在人类大脑中的运作便像电脑软件在电脑里运作相似。认知心理学理论时常谈到输入、表征、计算或处理，以及输出等概念。
Mini wiki
