$ $开始组$

根据pssh的维基百科页面,这个假设似乎是人工智能哲学中一个生动的争论话题。但是,因为它是关于正式系统的,它不应该已经被g_del定理推翻了吗?

我的问题特别是因为PSSH是在20世纪50年代制定的,G_del来得早,所以在不完全性定理已经被知道的时候;PSSH是如何处理这个事实的?它是如何“逃脱”这个定理的?或者,换言之,考虑到这种正式系统的深刻局限性,它如何解释智能?

$\EdTrime$$
  • $ $开始组$ 免责声明:我不确定这个问题在这里或在SE的其他地方是否更合适(例如哲学,数学,COMPSCI)。我想既然在这里还有其他关于人工智能哲学的问题,我可以试必威英雄联盟一试。必威电竞 $\EdTrime$$- 奈瑟克 3月29日7:16
  • $ $开始组$ 我认为这就是为什么积极智能的基本定义植根于效用,不是特定的质量或能力水平。人类的智力可能是不同的,但一个过程本身并不需要人的能力来证明智能。当前的学习算法在越来越多的任务中显示出狭隘的智能。必威电竞(好问题,顺便说一句!) $\EdTrime$$- 杜克州盎司 3月29日16:40
  • $ $开始组$ 谢谢!从字面上讲,这是我了解PSSH的第一件事;事实上,我很惊讶,我在网上或在东南部没有发现任何东西。谢谢你的洞察力,也是。 $\EdTrime$$- 奈瑟克 3月29日17:31
  • $ $开始组$ 有一种观点认为智力的基本定义是有争议的,但是博弈理论家计算学家有迄今为止最重的打击者,这是我们完全理解的唯一定义模型,所以举证责任在异议者身上。) $\EdTrime$$- 杜克州盎司 3月29日18:26
$ $开始组$

欢迎来到A.Se @ NethAccess。

PSSH经常受到戈德尔定理或图灵不可换性定理的攻击。

然而,两者都有一个隐含的假设:聪明是能够决定不可判定的问题。必威英雄联盟真的不清楚这是真的。

想想戈德尔的定理是怎么说的,本质上:

  1. “强大”的正式制度无法证明,只使用系统内的技术,他们是自始至终的。
  2. 有些陈述是真实的,不能在给定的“强大的”正式系统中得到证明。

假设我们允许这两个事实。参数中缺少的步骤是以下语句:

  1. 你需要能够证明你自己的推理系统的一致性才能被认为是智能的。
  2. 你需要能够正确地推理出所有真实陈述的证据,才能被认为是聪明的。

主要问题是,在这个定义下,人类可能不被认为是聪明的!我当然没有办法证明我的推理是合理的和自我一致的。此外,客观上不是这样的!我经常相信矛盾的东西在同一时间。

我也无法找出所有看似真实的陈述的证据,我不能这样做似乎完全是合理的,因为我所推理的逻辑系统固有的局限性。

这是一个矛盾。总的论点是,这4种说法中的一种是错误的:

  1. 戈德尔定理认为符号系统缺乏一些重要的性质。
  2. 智能事物具有戈德尔所说的符号系统所缺乏的特性。
  3. 人类是聪明的。
  4. 人类不能做戈德尔所说的符号系统不能做的事情。

一些作者(比如塞尔)可能会认为错误的前提是4。大多数现代人工智能研究者会认为错误的前提是2。因为情报有点模糊,哪种观点是正确的,可能依赖于隐喻性的假设,但大多数人都同意前提1和3。

$\EdTrime$$
$ $开始组$

从技术上讲,@hisairnessag3有正确的答案,g_del定理和pshh之间没有正式的联系。重点是,尽管g_del定理和pshh之间似乎有一个恰当的类比,这两者之间没有正式的联系。

更具体地说,G_del定理是关于决定数学某些“真理”的系统,但除非我弄错了,PSSH并不意味着心灵的符号系统需要决定真理。虽然我们人类确实决定了数学的事实,目前还没有正式的解释如何在PSHH中实现这一点,因此g_del定理不适用。

但是@john doucette的回答仍然很好,假设我们所讨论的形式系统确实决定了某些关于数学的真理。

$\EdTrime$$
  • $ $开始组$ 只是想让你知道:你有一个很棒的用户名。 $\EdTrime$$- 奈瑟克 5月8日8点03分
  • $ $开始组$ ^^除了一个相似的理论外,这个答案对这两个理论之间缺乏联系的含义给出了更多的细节。 $\EdTrime$$- 国际航空运输协会 5月9日2点23分
$ $开始组$

我认为你对这一点的概念化有点离谱。所有PSSH状态是“一个物理符号系统具有通用智能动作的必要和充分的手段”。

G_del定理陈述了2个基本问题:

  1. 任何足够强大的形式系统都不能证明其自身的一致性。

  2. 在任何足够强大的形式系统中,都有一些定理不能在系统中得到证明。

PSSH与GoDEL没有太大关系。

$\EdTrime$$

你的答案

点击“发布你的答案”,你同意我们的服务条款隐私政策饼干政策

不是你要找的答案?浏览标注的其他问题必威英雄联盟 必威电竞问你自己的问题.