§§§介绍Λ用于测量认知意识塞尔默·布林斯约德·纳文·孙达尔·戈文达拉尤卢&伦斯勒人工智能推理（RAIR）实验室伦斯勒理工学院（RPI）Troy NY美国1介绍和计划在这篇简短的正在进行的文献中，我们介绍了Λ，这是一个新的、新颖的测量认知意识的框架，与Tononi（2012）长期存在的Φ形成了鲜明的对比，后者给出了对现象意识的测量。我们的计划很简单：首先，我们快速区分这两种完全不同的意识类型。因为Λ是建立在我们开发的一个独特的基础之上的，我们迅速描述了这个基础的三个突出部分（3）。在第4章中，我们对Λ的技术方面进行了一瞥，倒数第二节，第5节，列出了Λ框架的几个独特性质（对应于一些基本定理）;然后我们以一个结论性的评论作为结束12认知意识现象意识（Phenomenal consciousness），简称例如，在一个示例中，品尝一杯勃艮第红葡萄酒，在高速滑雪时划一个你和我们都说得委婉些，P-意识很难形式化;出于这个原因，有些人声称，任何致力于构建P-意识机器的尝试都是不可能的，至少在目前是这样的Bringsjord（2007）。另一方面，认知意识是一个主体的那些状态，涉及它的知道，相信，意图，渴望，感知，恐惧，交流。. . 只是从结构上和计算上来说，在“原始感觉”或“感受质”的方向上甚至没有丝毫的点头。备注：虽然我们毫不怀疑现象意识具有巨大的实用价值，但也可以毫不怀疑的是，认知意识与这种情况形成鲜明对比，因为即使在这种情况下，1一个简短的附录提供了一些进一步的细节。A.2塞尔默·布林斯约德·纳文·孙达尔·戈文达拉尤卢&CACADCEC很明显，一个有认知意识的机器，尤其是一个（由Λ测量;见下文）具有高水平认知意识的机器，显然是一个强大的无与伦比的杠杆H。人类在环境中取得的成就至少在很大程度上是认知意识的结果;其他物种相对于人类的地位较低。反过来，至少在很大程度上，是低认知意识的结果，在某些情况下，是没有认知意识的结果。我们期望，随着Λ的形式理论的建立和具体化，人工智能的力量将相应地变得严格可测。3四部分基础基础Λ包括四个部分，即：1. 认知演算。这是一个可以公平地称为“认知逻辑”的无限空间该空间的一个子族 是 Rk ， 它 锚 定 了 下 面 给 出 的 例 子 ， 其 类 型 化 签 名 和 推 理 模 式 在Govindarajulu Bringsjord（2017a）中给出。2. Axiom系统通过Bringsjord，Bello Govindarajulu（2018）给出的公理系统，已经实现了认知意识的初始形式公理化;该系统以认知计算表示3. ShadowProver（推理机）。将人工代理带入（认知）有意识的生活是由能够处理认知演算的高度表达性的自动化定理证明系统实现的：即，ShadowProver（Govin- darjaulu 2017）.34. Spectra （The Planner）人工智能体计划通过Spectra（Govindarajulu2018）实现他们的目标和愿望，Spectra是一种可以处理认知演算中表示的任意目标和背景信息的规划器。44关于Λ本身基本思想：Λ提供了一个时间（以及由这些时间组成的时间间隔）对主体认知意识程度的度量，并通过首先挪用逻辑学（如一阶逻辑和二阶逻辑）中纯外延公式复杂性的标准5从那里，[2]对于认知演算，更准确地说，认知演算的外延部分一般是n阶的，其中0≤n ≤3。该新颖技术的阴影，这允许为伟大搜索的效率，不在这里的范围之内。该证明器可在以下网址获得：https://github.com/naveensundarg/prover。4可在www.example.com上查阅规划表https://github.com/naveensundarg/Spectra。[5]虽然我们可以在研讨会上用幻灯片从头开始亲自解释，但认知者可以通过被告知，例如，3引入Λ测量认知意识3≥允许操作员对整个图像进行处理，并且Λ跟踪和测量由此产生的复杂下面是一个例子示例意识和双重效应学说图1显示了Λ如何测量正在计算双重效应学说（DDE）（Govindarajulu Bringsjord 2017b）的过程中的主体的认知意识，这是一个适用于道德困境的复杂伦理原则6Fig. 1. Λ应用于有意识主体的单个组块时间5Λ（vs.Φ）以下是读者可能感兴趣的Λ框架的一些性质非二进制Φ是这样的，一个代理人要么是或不是（P-）意识，由Λ测量的认知意识承认认知意识程度的细粒度范围一些动物和机器的零Λ动物，如昆虫和计算机器，是端到端的统计/连接主义的与此相反，正如在个人谈话中向布林斯约德强调的那样，7Φ说，即使是低等动物也是有意识的。从计算/人工智能的角度来看，认知科学家已经注意到人类与非人类之间存在严重的不连续性。sapiens sapiens和地球上的其他生物（Penn等人，2008），并且从（比方说）猩猩和海豚到人类的Λ水平的突然和大的跳跃与该观察一致。例如，任何非人类动物都有能力达到三阶信念是值得怀疑的;因此Λ[ B，0] = n，其中对于任何非人类动物，n 3是不可能的与此形成鲜明对比的是，我们每个人都相信你，读者，相信我们相信帕洛阿尔托位于加利福尼亚州。其中φ是φ 3（例如， 在微分/积分计算中极限的形式定义），一个主体a知道另一个主体a′在某个时间t知道φ，其中这是a的认知活动的总和，仅凭这一点就有一个Λ的水平，即Λ[K，1]= 3。更多细节见附录[6]这一原则值得从认知科学的角度进行研究，因为有实证研究表明人类使用这一原则。7与Tononi和C. Koch，SRI T C系列。Λ[B，1]= 2Λ[B，2]= 1Λ[B，3]= 1Λ[K，1]= 1Λ[I，2]= 1Λ[B，4]= ∞Λ[I，1]= 1Λ[0，1]= 1…4塞尔默·布林斯约德·纳文·孙达尔·戈文达拉尤卢&一个神经生物学正常的人，在他或她的一生中，有非常不同的认知能力。例如，在一个示例中，众所周知，这样一个人，在四五岁之前，是极不可能能够解决所谓的错误信念任务（有时也被称为Sally-Anne任务）的，我们可以用“FBT”来从Λ的观点来看，解释很简单，一个认知意识不够高的智能体无法解决这样的任务;具体来说，解决FBT需要一个智能体对其他智能体的信念有信念，而这些信念的目标至少涉及基本的量化。8不存在的智能体也能有认知意识可以拥有高水平的认知意识。例如，杰出的小说侦探，如坡奥古斯特·杜宾，可以被证明有很高的认知意识。例如，在一个示例中，在6什么是机器学习？纯粹基于统计/连接主义“机器学习”的人工智能 9.我们预计今天ML的支持者会抵制，7结论在相关的工作中，我们已经达到了这样一个点，在这里我们可以提供一些关于Λ框架的有趣定理，并且可以通过ShadowProver实现，证明认知意识机器。我们将在研讨会上提供一些演示，届时我们预计这些演示以及它们背后的正式结果将相当强大。8致谢认知结石的发明和改进部分归功于AFOSR对RAIR实验室的慷慨和长期支持。认知演算的发明和改进，使人工智能能够专门参与[8] Arkoudas Bringsjord（2009）提出了一个能够解决FBT的人工智能体&;该智能体使用了早期的认知演算。[9]对于这样的人工智能实际上不会学习任何东西的命题的辩护&，结果直接与 它 们 在 Λ 上 的 得 分 为 零 一 致 ， 参 见 （ Bringsjord ，Govindarajulu，Banerjee Hummel 2018）。引入Λ测量认知意识5在道德认知方面的研究是通过ONR对作者的资助而实现的。Bringsjord和Govindarajulu 在 2017 年 夏 天 的 SRI T C 系 列 中 发 明 了 Λ ， Bringsjord 和Govindarajulu都感谢T C系列的许多其他参与者，当然也感谢SRI本身使该系列成为可能。书目阿尔库达斯湾&Bringsjord，S.（2009），International Journal of Software and Informatics3（1），47网址：http://kryten.mm.rpi.edu/PRICAIw sequentcalc 041709.pdfBlock，N.（1995），Bringsjord，S.2007年， 如果你是诚实的，你必须拒绝“，意识研究杂志14（7），28-43。网址：http://kryten.mm.rpi.edu/jcsonebillion2.pdfBringsjord ， S. ， 贝 洛 山 口 Govindarajulu ， N. （ 2018 ） ， TowardAxiomatizing Consciousness， D.Jacquette，编，“布卢姆斯伯里指南意识的哲学”，布卢姆斯伯里学术，伦敦，英国，页。289-324。网址：http://kryten.mm.rpi.edu/SBPB NSG TowardAxiomatizingConsciousness offprint.pdfBringsjord，S.，Govindarajulu，N.，班纳吉河&Hummel，J.（2018），做马chine-Learning马chines学习？，弧菌中的 Müller编， 一百三十六-157.这本书是系列丛书中的第44卷。这篇论文以一个响亮的“不”来回答标题所 提 出 论 文 的 预 印 本 可 以 通 过 以 下 URL 找 到 ：http://kryten.mm.rpi.edu/SBNSGSBJHDoMachine-LearningMachinesLearn preprint.pdf。Bringsjord，S.，诺埃尔河&Ferrucci，D.（2002）为什么进化工程师意识？Fetzer G. Mulhauser，eds，111-138Govindarajulu，N. &Bringsjord，S. (2017（a）《关于自动化双重效力原则》，载于C. Sierra，编，“第26届国际人工智能联合会议论文集（IJCAI-17）”，国际人工智能联合会议，pp。4722-4730网址： https://doi.org/10.24963/ijcai.2017/658Govindarajulu，N.S.Spectra（v1.0）：URL：https：//github.com/naveensundarg/Spectra，DOI：10.5281/zenodo.1442429.网址： https://doi.org/10.5281/zenodo.1442429Govindarajulu，N. S. &Bringsjord，S. (2017（b）《论双重效力原则的自动化》，载于C.Sierra，编，4722-4730网址： https://doi.org/10.24963/ijcai.2017/658Govindarjaulu，N. S.（2017），“ShadowProver：高阶模态逻辑的快速精确证明 器 ” 。 URL ： https ： //github.com/naveensundarg/prover ， DOI ：10.5281/zenodo.1451808.网址： https://doi.org/10.5281/zenodo.1451808引入Λ测量认知意识7Penn，D.，霍利奥克湾Povinelli，D.（2008年），托 诺 尼 湾 （ 2012 ） ， Phi ： A Voyage from the Brain to the Soul ，Pantheon，New York，NY......8塞尔默·布林斯约德·纳文·桑达尔·戈文达拉尤鲁&A A Λ的给定系统的Λ被定义为来自模态算子M ={B，K，I，D，O，. . . }（表示认知演算中的一系列认知状态）和自然数到自然数：Λ：M ×N→N。我们通常考虑的认知状态包括，但不限于信念B、知识K、意图I、欲望D和义务O.规范的一部分如下所示：表示/公式的内涵复杂性Λ[B，0]=信念的最大内涵复杂性Λ[K，0]=知识的最大内涵复杂性Λ[I，0]=内涵的最大内涵复杂性Λ[D，0]=欲望的最大内涵复杂性Λ[O，0]=义务的最大内涵复杂性.表示/公式的定量复杂性Λ[B，1]=nn其中我们有B（φ）并且φ是n/n，即，最大量化信念深度Λ[K，1]=知识的最大量化深度Λ[I，1]=意图的最大量化深度Λ[D，1] =欲望的最大量化深度Λ[O，1]=义务的最大量化深度.表示/公式的扩展复杂性Λ[B，2]=信仰的最大延伸深度Λ[K，2]=知识的最大延伸深度Λ[I，2]=内涵的最大延伸深度Λ[D，2]=欲望的最大延伸深度Λ[O，2]=义务的最大延伸深度.表示/公式的时间复杂度Λ[B，3]=信念内时间表达之间的最大差异Λ[K，3]=知识内时间表达之间的最大差异Λ[I，3]=意图内时间表达之间的最大差异Λ[D，3]=愿望内时间表达之间的最大差异Λ[O，3]=义务内时间表达之间的最大差异.
我的内容管理
展开
