通用解难器是由司马贺、约翰·克里夫·肖和艾伦·纽厄尔三人于1957年编写的计算机程序，旨在作为解决通用问题的机器。任何可以表示为合式公式或Horn子句，并构成一个以上源点或汇点的有向图问题，原则上可以透过通用解难器来解决。谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识与问题解决策略分离开来的计算机程序。通用解难器是以三阶编程语言“资讯处理语言”来实现。
1
认知心理学是对诸如注意力、语言使用、记忆、感知、问题解决、创造力和思考等心理过程的科学研究。从1950年代至1960年代间才发展出来。1956年被认为是认知心理学史上的重要年份。这一年几项心理学研究都体现了心理学的信息加工观点。如诺姆·乔姆斯基的语言理论和艾伦·纽厄尔和司马贺的“通用解难器”模型。“认知心理学”第一次在出版物出现是在1967年乌尔里克·奈瑟的新书。而唐纳德·布罗德本特于1958年出版的《知觉与传播》一书则为认知心理学取向立下了重要基础。此后，认知心理取向的重点便在唐纳德·布罗德本特所指出的认知的讯息处理理论模式－－一种以心智理论来思考与推理的模式。因此，思考与推理在人类大脑中的运作便像电脑软件在电脑里运作相似。认知心理学理论时常谈到输入、表征、计算或处理，以及输出等概念。
认知心理学是对诸如注意力、语言使用、记忆、感知、问题解决、创造力和思考等心理过程的科学研究。从1950年代至1960年代间才发展出来。1956年被认为是认知心理学史上的重要年份。这一年几项心理学研究都体现了心理学的信息加工观点。如诺姆·乔姆斯基的语言理论和艾伦·纽厄尔和司马贺的“通用解难器”模型。“认知心理学”第一次在出版物出现是在1967年乌尔里克·奈瑟的新书。而唐纳德·布罗德本特于1958年出版的《知觉与传播》一书则为认知心理学取向立下了重要基础。此后，认知心理取向的重点便在唐纳德·布罗德本特所指出的认知的讯息处理理论模式－－一种以心智理论来思考与推理的模式。因此，思考与推理在人类大脑中的运作便像电脑软件在电脑里运作相似。认知心理学理论时常谈到输入、表征、计算或处理，以及输出等概念。
Mini wiki
