通用解难器

✍ dations ◷ 2025-09-14 15:52:18 #通用解难器

通用解难器（英语：General Problem Solver，简称 G.P.S.，又称一般性问题解决程式）是由赫伯特·亚历山大·西蒙、约翰·克里夫·肖（英语：John Clifford Shaw）和艾伦·纽厄尔三人于1957年编写的计算机程序，旨在作为解决通用问题的机器。任何可以表示为良式公式（WFFs）或霍恩子句，并构成一个以上源点（source，即公理）或汇点（sink，即期望结论）的有向图问题，原则上可以透过通用解难器来解决谓词逻辑和欧几里德几何问题空间中的证明，是通用解难器适用领域的主要例子。通用解难器是基于西蒙和纽厄尔关于逻辑机器的理论工作，也是首先将问题知识（将规则表示为输入数据）与问题解决策略（通用求解器引擎）分离开来的计算机程序。通用解难器是以三阶编程语言“资讯处理语言”（IPL）来实现。

虽然通用解难器能够解决一些诸如河内塔等可被充分形式化的简单问题，但无法用来解决现实世界中的问题，这是因为搜索很容易在组合爆炸（英语：Combinatorial explosion）中丢失。换句话说，透过推断有向图的“走访”次数在计算上变得难以为继。（在实践中，即使像河内塔这样直截了当的状态空间搜索，在计算上也可能变得不可行，虽然透过像 A *和IDA *这样基础的人工智能技术，仍可以对状态空间进行明智的修剪）

用户定义的对象、可在对象执行的操作，以及通用解难器可透过均值-端点分析生成启发式算法来解决问题。它着重于可用的操作，找出哪些输入是可接受的，以及生成了哪些输出。然后会创建子目标，以便越来越靠近目标。

通用解难器范式后来演变为人工智能的Soar架构。

相关

痤疮丙酸杆菌痤疮丙酸杆菌（学名：Propionibacterium acnes）是和皮肤疾病粉刺息息相关，是一种生长相对缓慢的典型革兰氏阳性菌，杆状，兼性厌氧。它会引起慢性睑炎以及眼内炎，特别是后者还需要眼科
铒的同位素铒（原子量：167.259(3)）的同位素，其中有6个同位素是在观测上稳定的。备注：画上#号的数据代表没有经过实验的证明，只是理论推测而已，而用括号括起来的代表数据不确定性。
汉内洛蕾·克拉夫特汉内洛蕾·克拉夫特（德语：Hannelore Kraft，1961年6月12日－），德国政治人物。2010年7月14日至2017年6月27日，担任北莱茵-威斯特法伦州州长，为第一位在该州担任此职位的女性，并且是德国
雪梨茶雪梨茶在一般凉茶铺都有卖，功效有润燥止咳，清热生津。如在家调制，可用鲜秋梨放砂锅内煎煮，用冰糖去调味，放入冰箱做冻饮。
董安于董安于（？－前496年），中国春秋时期晋国赵氏的家臣，董氏。前497年赵鞅杀了邯郸午。赵稷、涉宾领邯郸人叛变。夏六月，董安于要赵鞅先作准备。赵鞅说：“晋国有法，先发动祸乱之人处死。我
龚芝怡龚芝怡（9月21日－），新加坡籍创作歌手、制作人。代表作品包括《幸福不难》、《明知我爱你》，以及为房祖名写并合唱的R&B歌曲《最好的我》。2013年，她已自己成立的制作公司 GoodGirlM
匹配渐近展开法匹配渐近展开法（英语：method of matched asymptotic expansions）是数学中用于获得方程或方程组高精度近似解的一种常用方法，尤其常用于奇异摄动微分方程的求解。对于许多奇异摄
单参数群在数学中，一个单参数群（one-parameter group）或称单参数子群（one-parameter subgroup）通常表示从实数 R（作为加法群）到另一个拓扑群的一个连续群同态这意味着它严格说来其实不是
Love Catcher《Love Catcher》（朝鲜语：러브캐처，中译为恋爱捕手）是韩国Mnet于2018年制作的综艺节目，由申东烨、洪锡天、张度练、Lady Jane、JR、全健宇（推理小说家）等人共同主持，主轴以制作组寻
328省道 (安徽)安徽328省道，全称星甸-夏阁公路，简称星夏路，是安徽省的一条横向干线公路。 328省道起于和县石杨镇皖苏省界，终于巢湖市夏阁镇，连接舟鲁线。途经和县石杨镇、善厚镇，含山县昭关镇、仙踪镇，巢湖市夏阁镇。马鞍山段改建项目起于X302苏皖交接处，经驷马河、石杨镇、善厚镇、昭关镇，终于仙踪镇南侧接S226处，路线全长46.419公里。全线按双向两车道二级公路标准设计，设计速度60公里/小时，路基宽度12米，路面宽10.5米。全线共设置大桥1座，中小桥10座，涵洞212道,养护工区1处。