莱布尼茨的梦
莱布尼茨-他于今年11月去世300年,从事许多工作。但在他一生中反复出现的一个主题是,把人类的规律变成计算的一个练习。当然,正如我们所知,他没有成功。但三个世纪后,我想我们终于准备好再次认真尝试了。我认为这是一件非常重要的事情,不仅仅是因为它能带来各种新的社会机遇和结构,徳赢中国但因为我认为它可能对我们文明的未来至关重要与人工智能的交互.
人类法,几乎按定义,始于文明之初,无疑是第一规则体系人类有系统的定义。据推测,这是一个数学公理化结构的模型,如欧几里德.当科学出现时,“自然法则”(顾名思义)最初被视为概念上与人类法则相似,除了他们应该为宇宙(或上帝)而不是人类定义约束。
在过去的几个世纪里,我们在数学和精确科学的形式化方面取得了惊人的成功。由此产生了一个更普遍的想法:计算的想法。在计算中,我们处理的是任意的规则系统,不一定是与我们所知道的数学概念相对应的,或是我们所发现的世界的特征。现在的问题是:我们能用计算的思想吗?in very much the way Leibniz imagined,使人类法律正式化?
最基本的问题是,人类法律谈论人类活动,徳赢彩票游戏而且(不像对粒子力学所说的那样),我们没有描述人类活动的一般形式主义。说到钱,徳赢彩票游戏例如,我们经常可以做到精确。结果,写一份支付订阅费的非常正式的合同是很容易的,或者决定公开交易股票的期权应该如何运作。
但是,典型的法律合徳赢彩票游戏同所涉及的所有事情呢?好,很明显,我们有一种写法律合同的方法:只使用自然语言(如英语)。它通常是非常程式化的自然语言,因为它试图尽可能精确。但最终它不会是精确的。因为在最底层,它总是取决于单词的意思,这对于自然语言来说,仅仅是通过语言使用者的实践和经验来有效地定义的。
一种徳赢中国新的语言
对于计算机语言,虽然,这是另一回事。因为现在语言中的结构是绝对精确的:而不是模糊的,社会定义的对人类大脑的影响,它们被定义为对计算机有非常具体的影响。当然,传统的计算机语言不直接谈论与人类活动相关的事情:它们只直接谈论诸如为变量设置值之类的事情,徳赢彩票游戏或者调用抽象定义的函数。
但我很兴奋的是,我们开始在传统计算机语言的徳赢彩票游戏精确性和讨论现实世界结构的能力之间架起一座桥梁。事实上,这是我个人三十多年来一直在研究的东西:基于知识的沃尔夫拉姆语.
Wolfram语言是精确的:它中的所有内容都被定义为计算机可以毫不含糊地使用它。但它在计算机语言中的独特之处在于它是基于知识的。它不仅仅是一种描述计算机低级操作的语言;相反,直接嵌入到语言中是尽可能多的关于真实世界的知识。徳赢彩票游戏这意味着语言不仅包括数字二点七和字符串如“abc”,但也像美国,或消费物价指数,或大象.这正是我们开始谈论法律合同或人类法律中出现的事情所需要的。徳赢彩票游戏
我应该说清楚,今天的沃尔夫拉姆语言并不包括所有需要的东西。我们有一个大而坚固的框架,我们的出发点很好。但是,为了能够捕捉人类活动的全部范徳赢彩票游戏围和人类法律规范,我们必须对世界进行更多的编码。
Wolfram语言有,例如,什么的定义香蕉是,按各种细节细分。所以如果有人说“你应该吃香蕉”,这种语言有一种表示“香蕉”的方式。但到目前为止,it doesn't have a meaningful way to represent "you",“应该”或“吃”。
是否可以用精确的计算机语言来表示这样的事情?绝对!但是需要语言设计来设置如何进行。语言设计是一种困难的生意-事实上,这可能是我所知道的最需要智力的事情,需要一种高度抽象的奇怪的混合,加上深刻的知识和脚踏实地的实际判断。但我已经做了很久了近四十年,我想我终于准备好迎接为日常演讲做语言设计的挑战了。
那有什么关系?好,我们先用一个简单的例子来讨论它:数徳赢彩票游戏学的例子。考虑函数加上,把数字加在一起。当我们使用英语单词“加号”时,它可以有各种各样的含义。其中一个意思是把数字加在一起。但还有其他含义,有关系的,说,通过各种类比(“产品x+”,“正线”,“这是一个真正的优势”,……)
当我们开始定义加上在Wolfram语言中,我们希望建立在“plus”的日常概念之上,但我们要让它精确。我们可以通过选择“加”的具体含义来做到这一点,那就是把数字之类的东西加在一起。徳赢彩票游戏一旦我们知道这就是加上手段,我们很快就知道了各种性质,并且可以用它做显式的计算。
现在考虑一个像“镁”这样的概念。它不像一个完美抽象的概念那样加上.但是物理和化学给了我们一个元素的清晰定义镁-然后我们可以用Wolfram语言来拥有一个定义良好的“镁”实体。
Wolfram语言是一种象征性的语言,这一点非常重要,因为它意味着其中的事物不必立即具有“价值”;它们可以只是代表它们自己的符号构造。所以,例如,实体“镁”表示为符号结构,这本身不“做”任何事,but can still出现在计算中,就像,例如,可以出现一个数字(如9.45)。
Wolfram语言支持多种构造。像“徳赢中国纽约市“或”去年圣诞节“或”地理上包含在“。重点是,语言的设计为他们定义了一个精确的意义。徳赢中国纽约例如,是指被认为是纽约市的准确法律实体,徳赢中国有法律规定的地理边界。在Wolfram语言内部,there's always a precise canonical representation for something like 徳赢中国New York City (it's实体[城市]{“徳赢中国纽约”)“徳赢中国纽约”“美国”])当涉及到计算的时候,这个内部表示是所有重要的。对,把纽约称为徳赢中国纽约市“但在Wolfram语言中,自然语言形式立即转换为精确的内部形式。
那么“你应该吃香徳赢彩票游戏蕉”呢?好,对于“吃”之类的东西,我们必须经历与之相同的语言设计过程。加上(或者“香蕉”)。基本的想法是我们必须找出“吃”的标准含义。例如,可能是“人(或动物)摄入食物”。现在,英语单词“eat”还有很多其他可能的意思,例如,使用类比法的人,就像“这个函数接受它的参数”。但这个想法是为了加上—is to ignore these,仅仅为了定义一个标准的“吃”概念,这是精确的,and suitable for computation.
通过思考英语中的词类,我们就可以合理地理解自己必须处理的结构类型。徳赢彩票游戏有名词。有时(如“香蕉”或“大象”)对它们的对应关系有一个相当精确的定义,通常Wolfram语言已经知道它们了。徳赢彩票游戏有时它有点模糊,但仍然具体(如在“椅子”或“窗户”),有时它是抽象的(像“幸福”或“正义”)。但在每种情况下,人们都可以想象一个或几个实体就像Wolfram语言一样,它为名词捕捉了一个明确的意义,已经有了数千种事物的实体。
超越名词,有动词。在动词周围通常有某种上层建筑。在语法上,动词可能有主语,一个物体,等等。动词类似于Wolfram语言中的函数:每个都处理某些参数,例如,对应于它的主题,对象,等。当然,在英语(或任何其他自然语言)中,有各种复杂的特殊情况和与动词相关的额外特征。但基本上我们不在乎这些。徳赢彩票游戏因为我们只是在试图定义代表某些概念的符号构造。我们不必捕获特定动词如何工作的每一个细节;我们只是用英语动词来给我们一种概念的“认知钩”。
我们可以复习演讲的其他部分。修饰动词的副词;修饰名词的形容词。这些有时可以用wolfram语言通过如下结构表示实体实例,有时还通过选择功能。但在所有情况下,重要的一点是,我们不试图忠实地再现自然语言的工作方式;我们只是用自然语言来指导概念的建立。
代词很有趣。它们的工作方式有点像纯匿名函数中的变量。在“你应该吃香蕉”,“你”就像一个自由变量,将由一个特定的人填充。
语言和语法结构的某些部分表明,在话语的符号表示中,要捕捉到某些一般特征。还有很多其他的,不过。例如,一个人需要多少“计算”来表示时间概念(“在时间间隔内”),“以后开始”,等)或空间(“顶部”,“包含在”,等等)。我们已经用沃尔夫拉姆的语言计算了很多这样的数字;最直接的是数字(“大于”,徳赢彩票游戏等)或套(“成员”),等。有些计算器历史悠久。时态逻辑““集合论“等);还有一些需要建造。
有没有一个关于该做什么的全球理论?好,不比有一个关于世界如何运作的全球理论更重要。有一些概念和结构是我们世界工作的一部分,我们需要捕捉这些。毫无疑问,将来会有新的事情发生,徳赢中国我们也要捕捉到它们。我在构建Wolfram Alpha方面的经验是,最好的做法就是构建每个人需要的东西,而不是从任何一种全球理论开始。过了一会儿,你可能会注意到你已经建造了好几次类似的东西,你可以进去把它们统一起来。
关于这一点,人们可以深入了解科学和哲学的基础。徳赢彩票游戏对,有一个计算宇宙所有可能的系统运行规则(以及,对,我一生中的大部分时间都在学习这门基础科学)。还有我们的物理宇宙这大概是根据计算宇宙中的某些规则进行的。但是从这些规则中可以产生各种各样的复杂行为,事实上,违背了计算不可化归性意味着在某种意义上,什么可以建立没有限制。
但是没有一个全面的方式来谈论这些事情。徳赢彩票游戏如果我们要处理任何有限的话语,它只会捕捉到某些特征。我们选择捕捉哪些特征将取决于我们社会历史上发展的概念。通常,这些概念会反映在我们使用的语言中存在的单词中。
在基础层面上,计算不可约性意味着总会有新的概念被引入。徳赢中国回到古代,亚里士多德引入逻辑作为一种捕捉人类话语某些方面的方法。哲学史上还引入了其他框架,最近,自然语言处理和人工智能研究。但是计算不可约性实际上意味着它们中没有一个最终是完整的。我们必须期待,随着我们认为相关概念的发展,我们对话语的象征性表达也必须如此。
话语工作流
好啊,假设我们有一个象征性的话语表达。它实际将如何使用?好,从自然语言的工作方式中有一些很好的线索。
在自然语言的标准讨论中,人们通常会说“疑问句”来提问,徳赢彩票游戏“声明性陈述”表示某事,“命令性陈述”表示做某事。(让我们忽略“感叹句”,就像咒骂一样,现在。
疑问句是我们一直在处理的问题,在Wolfram alpha:金的密度是多少?““什么是3+7?““那个传感器的最新读数是多少?“等。它们在用于与Wolfram语言交互的笔记本中也很常见:有一个输入(在〔1〕=2+2中)然后有一个相应的输出(Out[1]= 4)
声明性语句都是关于填充变量的特定值。徳赢彩票游戏以非常粗糙的方式,一能设置值(x=7)在典型的程序语言中。但通常情况下,最好考虑有一个断言事物的环境。徳赢彩票游戏也许这些环境应该代表现实世界,或者它的某个角落。或者他们应该代表一个虚构的世界,例如恐龙没有灭绝的地方,或者什么的。
命令式陈述是为了让世界上的事情发生。”徳赢彩票游戏打开舱门““付钱给鲍伯0.23比特币“等。
从某种意义上说,疑问句决定世界的状况,声明性陈述表明世界状况,徳赢彩票游戏命令式的声明改变了世界的状态。
在不同的情况下,我们可以用“世界”来表示不同的事物。我们可以讨论抽象结构,徳赢彩票游戏像整数或逻辑运算一样,就是这样。我们可能在谈论自然规律或者我们无法改变的徳赢彩票游戏物理宇宙的其他特征。或者我们可以谈论我们当地的环境,徳赢彩票游戏我们可以在桌椅周围移动,选择吃香蕉,等等。或者我们可以谈论我们的精神状态,徳赢彩票游戏或类似计算机的内部状态。
如果一个人对话语有一个普遍的象征性的表达,那么他可以做很多事情。但其中一个问题是,这篇文章的主题是表达像法律合同之类的东西。合同的开始,有各种各样的鉴于条款,吟诵,定义等往往是密集的声明性语句(“这是这样的”)。那么,合同的实际条款往往以命令式陈述结尾(“应该发生这种情况”),可能取决于疑问陈述所决定的某些事情(“发生了吗?”).
不难看出合同的结构与程序非常相似。在简单情况下,它们只包含逻辑条件:“如果x,那么y”。在其他情况下,它们更多地是根据数学建模的:“如果X的数量发生了,Y的数量应该会发生”。有时会有迭代:“一直做X直到Y发生”。偶尔会有一些递归:“继续对每一个y应用x”。And so on.
在有些地方,法律合同通常由项目金额来表示。最明显的是金融合同为诸如此类的事情债券和选项-这相当于一个小程序,它根据各种公式和条件定义支出。
整个行业都在使用”规则引擎“将某些规则编码为”if-then“规则,通常与配方混合。事实上,这些东西几乎普遍用于计算税收和保险。(它们在定价引擎等方面也很常见。)
当然,一个人谈论“法律法规”并不是巧合。徳赢彩票游戏来自拉丁语的单词代码法典-最初指的是法律规则的系统集合。当编程在几千年后出现时,它使用“代码”这个词,因为它基本上把自己看作是为事情应该如何工作建立规则的类似物,除了现在,一切都与电脑的操作有关,而不是与世俗事务的处理有关。
但是现在,和我们一起知识型的computer language and the idea of a symbolic discourse language,我们所要做的是使之成为现实,这样我们就可以用和我们讨论计算过程一样的方式来讨论广泛的世俗事务,所以我们把所徳赢彩票游戏有这些法律代码和契约都放到计算形式中。
Code versus Language
与普通自然语言相比,我们应该如何看待象征徳赢彩票游戏性话语语言?从某种意义上说,象征性话语语言是一种表现形式,其中所有的细微差别和“诗”都被“粉碎”出自然语言。象征性话语语言是精确的,但它几乎不可避免地会失去原始自然语言的细微差别和诗意。
如果有人对沃尔夫拉姆阿尔法,它会尽职地回答“4”。但是如果他们说,“嘿,你能帮我算出2+2吗?好,这就形成了一种不同的情绪。但是wolfram alpha将接受该输入并将其转换为与“2+2”完全相同的符号形式,同样,只需回答“4”。
这正是象征性话语语言将一直发生的事情。如果目标是回答精确的问题,就这点而言,为了建立一个精确的法律合同,这正是人们想要的。一个人只需要那些对自己所做的事情有实际影响的硬内容,在这种情况下,人们不需要“额外的”或“取悦”。
当然,一个人选择捕捉什么取决于他想做什么。如果你想得到心理信息,那么,一种自然语言的“情绪”可能非常重要。那些“感叹句”(如咒语)意味着人们关心。徳赢彩票游戏但是你仍然可以很好地想象以一种象征性的方式捕捉到这样的东西,例如在你的象征性话语语言中有一个“情感轨迹”。(非常粗糙,这可以用情绪或者在情感空间中的位置,或者,就这点而言,由一个完整的符号语言衍生而来,说,来自艾美。
在人类通过自然语言进行的实际交流中,“意思”是一个很难理解的概念,这必然取决于交流的背景,任何人交流的历史,等等。我对象征性话语语言的概念并不是试图神奇地捕捉到一种自然语言的“真正意义”。相反,我的目标只是捕捉一些可以用来计算的意义。
为了方便,你可以选择从自然语言开始,然后试着把它翻译成象征性的话语语言。但关键是要让象征性话语语言成为真正的表象:自然语言只是一种试图生成它的向导。最后,其概念是,如果一个人真的想确定自己所说的是准确的,我们应该直接用象征性的话语语言来表达,不用自然语言。
回到1600年代,莱布尼茨最关心的问题之一是要有一个独立于人们使用的自然语言(法语,德语,拉丁语,等等)。象征性话语语言的一个特点是它必须“低于”特定自然语言的水平。
人类语言中有一种粗略的普遍性,在这一点上,似乎有可能代表任何人类的概念,至少在任何语言中都是近似的。但是在不同的语言之间有很多细微的差别是很难翻译的,或者围绕着他们的不同文化(甚至是历史上不同时期的同一种语言)。But in the symbolic discourse language,一个人有效地“消除”了这些差异,得到了一些精确的东西,即使它通常不会完全符合任何特定的人类自然语言。
一种象征性的话语语言是关于代表世界上的事物。徳赢彩票游戏自然语言只是描述这些事物的一种方式。但是还有其他的。例如,一可能给一幅画.人们可以尝试用自然语言描述图片的某些特征(“头戴帽子的猫”)——或者可以直接从图片到象征性的话语语言。
在图片的例子中,很明显,象征性话语语言并不能抓住一切。也许它能捕捉到“他在拿钻石”之类的东西。但它不会指定每个像素的颜色,它不会在每一个细节层次上描述一个场景的所有可以想象的特征。
从某种意义上说,象征性话语语言所做的就是为它所描述的系统指定一个模型。和像任何模型一样,它捕获了一些特性,把别人理想化。但它的重要性在于它为计算提供了坚实的基础。可以得出结论,and actions can be taken.
为什么现在?
近40年来,我一直在思考创造一种象征性徳赢彩票游戏的话语语言。但直到最近,随着Wolfram语言的现状,我才有了真正做到这一点的框架。而且直到最近我才明白如何用一种足够实际的方式来思考这个问题。徳赢彩票游戏
对,原则上有一个象征性的方式来代表世界上的事物是很好的。在特定情况下,比如回答Wolfram Alpha中的问题,很清楚为什么值得这样做。但处理更广泛的讨论有什么意义呢?像,例如,when do we really want to have a "general conversation" with a machine?
这个图灵试验说能够做到这一点是实现人工智能的标志。但是到目前为止,与没有任何特殊目的的机器进行的“一般性对话”在实践中似乎很快就变成了聚会技巧和复活节彩蛋。至少这是我们观察人们与Wolfram Alpha互动的经验,这似乎也是几十年聊天机器人的经验。
但如果谈话有目的,情况很快就会改变:如果你真的想让机器做点什么,或者从机器上学习。仍然,在大多数情况下,没有真正的理由对世界上的事物有一个普遍的代表性;仅仅代表特定的机器动作就足够了,particular customer service goals,或者什么。但如果要解决法律和合同的一般问题,这是另一回事。因为不可避免的,一个人必须代表所有的人类事务和问题。因此,现在有一个明确的目标,就是要有一个世界的象征性代表:一个人需要它能够说出应该发生什么,让机器理解它。
有时这样做是有用的,因为人们希望机器能够检查到底发生了什么;有时,人们希望机器能够自动执行或执行任务。但不管怎样,一个人需要机器能够代表世界上的一般事物,因此他需要一种象征性的话语语言能够做到这一点。
一些历史
从某种意义上说,这是一个非常明显的想法,有一些像象征性的话语语言。事实上,这是一个经过几个世纪反复出现的想法。但事实证明这是一个很难实现的想法,它的历史上有很多(有时相当古怪的)失败。
从某种意义上说,事情开始得很好。回到古代,亚里士多德所讨论的逻辑为象征性话语语言提供了一个非常有限的例子。当数学的形式主义开始出现时,它又提供了一个受限的象征性话语语言的例子。
但世界上更普遍的概徳赢彩票游戏念呢?他们之间有很多努力四进制毕达哥拉斯和易经给一些重要的概念指定符号或数字。但在1300左右卢尔更进一步,提出了一个完整的表示概念的组合方案,然后尝试用可以机械地确定论点有效性的纸圈来实现这个方案,尤其是宗教的。
四个世纪后,戈特弗里德·莱布尼兹是卢尔作品的狂热爱好者,首先,想象所有的概念都可以转换成数字和真理,然后通过做一些类似于分解成素数的事情来确定。后来,莱布尼兹开始谈论徳赢彩票游戏共性特征(或)作为笛卡尔叫它,“人类思想的字母表”)——基本上是一种通用的符号语言。但他从未真正尝试过建造这样的东西,相反,他会追寻一些可能被认为是“特殊情况”的东西——包括导致他学微积分的那个。
随着16世纪拉丁语作为通用自然语言的衰落,特别是在科学和外交领域,已经有了发明的努力”哲学语言(正如他们所说)以抽象的方式表示概念,与任何特定的自然语言无关。其中最先进的是约翰·威尔金斯-谁在1668年生产了书对超过10000个概念进行编目,并用奇怪的图形表示它们,以上帝的祈祷为例。
在某些方面,这些努力演变成了百科全书和后来的同义词库的发展,但作为语言类系统,他们基本上什么也没去。两个世纪后,虽然,随着国际化理念的传播,人们对建造新的徳赢中国独立于国家的语言由此而产生沃拉普然后世界语.这些语言实际上只是人工自然语言;它们并不是试图产生象象征性话语语言那样的东西。我过去常常喜欢在欧洲机场看到世界语的标志,在20世纪80年代,当它们最终消失的时候,我很失望。但是,碰巧,就在那时,又是一波语言建设.有一些语言逻辑语,希望尽可能的清晰,有意思的是道本语为了维持简单的生活,as well as the truly bizarre伊斯库尔,旨在涵盖最广泛的语言和假定的认知结构。
沿途,也有人试图通过用1000或2000个基本单词(而不是通常的20000-30000个)来表达所有的东西来简化语言,如“简单英语”。维基百科的版本或XKCD事物解释器.
有一些,更正式,努力。一个例子是登塔尔1960宇宙语言“宇宙交流语言”(即与外星人交流)试图用数学逻辑的符号来捕捉日常概念。在人工智能领域的早期,关于“知识表示”的讨论很多,以自然语言语法为基础的各种方法,谓词逻辑的结构或数据库的形式主义。很少有大型项目被尝试(莱纳特的CYC作为一个著名的反例,当我开始开发Wolfram Alpha时,我对与我们的需求几乎没有关联感到失望。
在某种程度上,我发现值得注意的是,像符号话语语言的构建这样基本的东西在过去应该很少受到重视。但在某种程度上,这并不奇怪。这很困难,大型项目,它不知何故就位于既定领域之间。这不是一个语言学项目。对,它可能最终解释语言是如何工作的,但这不是它的重点。这不是一个计算机科学项目,因为它实际上是关于内容的,徳赢彩票游戏不是算法。这不是一个哲学项目,因为它主要是关于具体细节的,而不是关于一般原则的。徳赢彩票游戏
在过去的半个世纪左右,学术界已经做出了一些努力,讨论类似“的想法语义基元“和”自然语义元语言“。通常,这些努力都试图把自己放在语言学领域,但他们强调抽象意义而不是纯粹的语言结构,使他们与主流趋势不一致。也没有一个变成大规模的项目。
学术界之外,有一个稳定的建议流,有时是由非常古怪的个人推动的系统组织和命名概念在世界上。自从Ramon Elull之后,我们还不清楚这种追求到底有多远,通常它只处理纯本体论,从来没有用自然语言表达的那种意义。
我想有人可能希望,随着机器学习的所有最新进展,会有一些神奇的方法来自动学习抽象的意义表示。而且,对,你可以拿维基百科,例如,或者文本语料库,使用尺寸减小得出一些有效的“概念空间”。但是,不足为奇,简单的欧几里得空间似乎不是概念联系方式的一个很好的模型(人们甚至不能忠实地表示图的距离)即使将单词的可能含义作为字典来考虑,也可能会列出它们,并在概念空间中将它们分组,这似乎并不容易有效地做到。
仍然,稍后我将讨论,我认为象征性话语语言和机器学习之间存在着非常有趣的相互作用。但目前我的结论是,除了运用人类的判断力来构建任何人类使用的象征性话语语言的核心之外,没有其他选择。
合同转换成代码
但我们还是回到合同上来吧。今天,全世界每年都有上千亿个这样的协议被签署(而且更多的是含蓄地签署),尽管不仅仅是简单修改的“原始”协议的数量可能只有数百万个(而且可能与正在编写的原始计算机程序或应用程序的数量相当)。
那么这些契约能用精确的符号形式表示吗?就像莱布尼兹300年前所希望的那样?好,如果我们能发展出一种相当完整的象征性话语语言,这应该是可能的。(是的,每一份合同都必须根据一些基本的“适用法律”规则进行定义,等。,这在某种程度上类似于象征性话语语言的内置功能。)
但这意味着什么呢?除此之外,it would mean that contracts themselves would become computable things.合同将被转换成符号话语语言的程序。我们可以在这个程序上做抽象操作。这意味着我们可以想象,通过一种逻辑的概括,正式地决定是否,说,一个给定的合同有一些特定的含义,可能会导致一些特别的结果,或者相当于其他合同。
Ultimately,虽然,这有一个理论上的问题。因为像这样的问题会碰到正式的问题不可判定性,这意味着没有任何保证,任何系统的有限计算将回答他们。同样的问题也出现在人们编写的典型软件程序的推理中,徳赢彩票游戏and in practice it's a mixed bag,有些事情是可以决定的,而其他人则不然。
当然,即使是今天的沃尔夫拉姆语,有很多东西(例如非常基本的“这些表达式相等吗?”)这在原则上是不可决定的。当然,我们也可以问一些直接涉及到这些问题的问题。但是,人们自然会问的很多问题,最终都可以用少量的计算来回答。如果合同问题也是如此,我也不会感到惊讶。徳赢彩票游戏(值得注意的是,人类提出的问题往往比选择的问题更容易产生不确定性,随便说从整个可能性的计算宇宙中。)
如果有计算形式的契约,我们也可以期待做其他事情。Like to be able to automatically work out what the contracts imply for a large range of possible inputs.20世纪80年代,定量金融的革命开始于人们可以自动计算简单期权合约的收益分配。如果一个人有很多(也许数十亿)计算形式的契约,沿着这些路线可以做更多的工作,毫无疑问,不管好坏,可以开发的金徳赢中国融工程的全新领域。
输入从哪里来?
好啊,我们假设有一个计算契约。你能直接用它做什么?好,这在一定程度上取决于输入的形式。一个重要的可能性是它们在某种意义上是“天生的计算性的”:它们是关于计算系统的直接陈述(“这个ID今天访问了多少次?”,徳赢彩票游戏“此连接的ping时间是什么时候?”,“转让了多少比特币?”,等等)。在这种情况下,应该可以立即明确地“评估”合同,并找出是否满意。
This is something that's very useful for lots of purposes—both for humans interacting with machines,以及与机器交互的机器。事实上,there are plenty of cases where versions of it are already in use.可以将计算机安全规定(如防火墙规则)视为一个例子。还有一些正在逐渐出现,例如自动化服务级别协议(ServiceLevelAgreements)和自动化服务条款。(我当然希望我们公司,例如,很快就能将其作为我们业务实践的一部分。)
但是,好啊,当然,并非每一份合同的每一项输入都是“天生的计算性的”:大量的输入必须来自于“外部”世界中发生的事情(“这个人真的去了X的地方吗?”,“包裹是否保存在特定环境中?”,“信息被泄露到社交媒体了吗?”,“鹦鹉死了吗?”,等等)。首先要说的是,在现代,自动决定世界的事物变得非常容易,徳赢彩票游戏不仅因为人们可以用传感器进行测量。检查GPS跟踪。看看汽车计数传感器。And so on.整体物联网为计算契约提供有关真实世界的输入。徳赢彩票游戏
说了这些,虽然,还有一个问题。对,对于GPS追踪,有一个明确的答案(假设GPS工作正常)来判断某人或某物是否去了某个特定的地方。但假设我们试图确定一些不太明显的数值。Let's say,例如,that one's trying to determine whether a piece of fruit should be considered "花式品位“或不是。好,给一些水果的图片,专家可以非常明确地告诉。但是我们如何才能让这个计算呢?
好,这是一个我们可以利用现代机器学习的地方。我们可以建立一些神经网络,用Wolfram语言说,然后给它看很多例子水果的等级很高,而不是。根据我的经验(以及我们客户的经验!)大多数情况下,我们会得到一个系统,它真的很擅长像水果分级这样的任务。它肯定比人类快得多,而且它也可能更加可靠和一致。
这给了一个全新的方式来建立世界上的东西的合同。徳赢中国徳赢彩票游戏双方可以同意合同应该说“如果机器学习系统说x,那么做y”。从某种意义上说,这就像其他任何一种计算契约:机器学习系统只是一段代码。但有点不同。因为通常情况下,人们期望自己能够很容易地检查合同中所说的一切:实际上,人们可以阅读和理解代码。但是在机器学习的中间,对此再也没有任何期待了。
没有人专门在神经网络中设置所有这些数以百万计的数值权重;他们只是根据给出的训练数据,通过某种近似的、有点随机的过程来确定。对,原则上,我们可以测量神经网络内发生的一切。徳赢彩票游戏但是没有理由期望我们能够得到一个可以理解的解释或预测网络在任何特定情况下会做什么。很可能这就是我所说的现象的一个例子违背了计算不可化归性–这意味着没有任何方法可以比运行它更有效地看到将要发生的事情。
问人类专家有什么不同,然后,谁的思维过程让人无法理解?好,在实践中,机器学习要快得多,所以人们可以更多地利用“专家判断”。一个人可以把事情安排好让它们可以重复,例如,我们可以系统地测试人们认为可能存在的偏见,等等。
当然,人们总是可以想象欺骗机器学习。如果它是可重复的,人们可以利用机器学习本身来尝试学习它会失败的案例。最后,它变得更像计算机安全,在有洞的地方,正在应用修补程序,等等。从某种意义上说,这与典型的合同情况也没有什么不同:一个人试图涵盖所有情况,很明显有些问题没有得到正确的解决,一个人试图写一份新合同来解决这个问题,徳赢中国等等。
但重要的底线是,通过机器学习,人们可以期望得到“面向判断”的合同输入。我希望典型的模式是这样的:在合同中,会有一些用象征性话语语言表达的东西(比如“x会亲自做y”)。在象征性话语语言的层面上,这将有一个明确的意义,从中,例如,各种各样的含义都可以画出来。但是还有一个问题,那就是合同上说的是不是现实世界中发生的事情。而且,当然,可能有很多传感器数据提供有关这方面的信息。但最终会有一个“判断的召唤”必须作出。那个人真的是亲自做的吗?就像一个远程检查程序系统,你可以有一个摄像头监视这个人,你可以记录他们的击键模式,甚至可以测量他们的脑电图。但是有东西要合成这些数据,对发生的事情做出判断,徳赢彩票游戏把它变成一个象征性的陈述。在实践中,我期望它最终会成为一个机器学习系统。
聪明合同
好啊,假设我们有办法建立计算契约。我们如何执行它们?好,那些基本上只涉及计算过程的程序可以在某种程度上强制自己。一个特定的软件只能以这样的方式构建来颁发许可证。只有当一个云系统接收到一定数量的比特币时,它才能构建一个云系统来让下载可用。And so on.
But how far do we trust what's going on?也许有人破解了软件,或者是云。我们怎么能确定没有什么不好的事情发生?基本的答案是利用这个世界是一个大地方的事实。作为一个物理学家,它让我想到了量子力学中的测量。如果我们只是处理一点量子效应,总会有干扰发生。但是当我们进行真正的测量时,我们将量子效应放大到如此多的东西(原子,等)是指,这是明确的发生了什么在很大程度上相同的方式热力学第二定律让人难以置信的是,一个房间里的所有空气分子都会自发地排列在一边。
所以它与比特币,以太,等。这个想法是,发生的某些特定的事情(“X支付Y某某”或其他什么)被分享和记录在如此多的地方,以至于没有任何疑问。徳赢彩票游戏对,原则上,所有几千个真正参与比特币(bitcoin)交易的地方,都有可能串通一气,给出一个虚假的结果。但其想法是,这就像在房间里的气体分子一样:概率是不可思议的小。(碰巧,我的计算等效原理这表明气体分子不仅仅是一个类比,实际上,工作中的基本原则基本上是相同的。而且,对,关于分布式区块链账本的操作有很多有趣的技术细节,徳赢彩票游戏分布式共识协议,等。,但我不想在这里接触他们。)
现在谈论“智能合约”很流行。徳赢彩票游戏当我谈到“计算契约”时,我的意思是可以通过计算徳赢彩票游戏来表达的契约。但是,“智能合约”通常指的是既可以计算表达又可以自动执行的合约。最常见的想法是在像以太坊这样的分布式计算环境中建立智能合约,然后根据计算环境的输入对合同中的代码进行评估。
有时输入是内在的,就像时间的流逝(谁可能会篡改整个互联网的时钟?),或物理生成的随机数。在这种情况下,一个拥有相当纯粹的智能合约,比如说付费订阅,或用于运行分布式彩票。
但更经常的情况是,世界上发生的事情需要外界的一些投入。有时人们只需要公共信息股票价格,这个气象站的温度,或A核爆炸等地震事件.但不知何故,智能合约需要访问一个“Oracle”,它可以为智能合约提供这些信息。很方便,世界上有一个很好的预言家:沃尔夫拉姆阿尔法。事实上,Wolfram Alpha正被广泛用作智能合约的甲骨文。(是的,我们的一般公共服务条款说,您目前不应该依赖Wolfram Alpha来处理任何您认为重要的事情,尽管希望这些服务条款很快会变得更加复杂,和计算。)
但是来自外部世界的徳赢彩票游戏非公开信息呢?目前对智能合约的看法往往是,人们必须在循环中验证信息:事实上,人们必须有一个陪审团(或民主)来决定某件事是否属实。但这真的是最好的方法吗?我倾向于怀疑还有另一条路,这就像用机器学习把人一样的判断注入到事物中。对,一个人可以利用人,他们所有的难以理解和难以系统地影响行为。但是,如果用人工智能(ais)或者甚至是今天的机器学习系统的集合来取代这些人呢?
人们可以认为机器学习系统有点像密码体制.要攻击它并欺骗它的输入,必须做一些事情,比如反转它的工作方式。好,对于一个单一的机器学习系统,需要一定的努力来实现这一点。但如果一个人有一整套足够独立的系统,努力增加了。仅仅改变系统中的一些参数是不够的。但是,如果一个人进入计算宇宙,随机选择系统,那么我认为他可以期望拥有和拥有不同的人一样的独立性。(公平地说,我还不太知道如何应用计算宇宙的挖掘我为细胞自动机这样的程序和神经网络这样的系统所做的。
还有一点:如果世界上有足够密集的传感器网络,然后越来越容易确定到底发生了什么。徳赢彩票游戏如果房间里只有一个运动传感器,这可能很容易掩盖。即使有几个传感器,it's still possible to avoid them,不可能的任务风格。但是如果有足够的传感器,然后,通过综合他们的信息,人们就可以不可避免地建立起对实际发生的事情的理解。实际上,一个是世界运作模式,有了足够的传感器,我们就可以验证模型的正确性。
这并不奇怪,但有冗余总是有帮助的。更多的节点以确保计算不会被篡改。更多的机器学习算法以确保它们不会被欺骗。更多的传感器确保他们不会被愚弄。但最终,必须有一个东西来说明应该发生什么,合同是什么。合同必须用一些有明确概念的语言来表达。所以不知何故,从世界上各种冗余系统中,一个人必须作出明确的结论,一个人必须把世界变成某种象征性的东西,合同的执行。
编写计算契约
假设我们有一种很好的象征性话语语言。那么,合同应该如何写在里面呢?
一种方法是采用英语或任何其他自然语言编写的现有合同,试着把它们翻译(或解析)成象征性的话语语言。好,将会发生的事情有点像沃尔夫拉姆阿尔法今天发生的事情。翻译不会确切知道自然语言是什么意思,因此,它将给出几种可能的选择。也许自然语言契约的原作者已经想到了某种意义。但这一意义上的“诗”或许不能用象征性话语语言来表达:它需要更明确的东西。人类将不得不决定选择哪一种选择。
从自然语言合同翻译可能是一个很好的开始,但我怀疑它会很快让位给直接用象征性话语语言写契约。今天,律师们必须学会写法律文书。未来,他们必须学会写下相当于代码的东西:精确地用象征性话语语言表达的契约。
有人可能会认为把所有的东西都写成代码,而不是自然语言的法律术语,会是个负担。但我的猜测是,这实际上是一个巨大的好处。这不仅仅是因为它会让合同更容易操作。It's also that it will help lawyers think better 徳赢彩票游戏about contracts.这是一个古老的主张Sapir–Whorf hypothesis)一个人使用的语言会影响他思考的方式。这在自然语言中无疑是正确的。但根据我的经验非常真实对于计算机语言。事实上,这些年来,当我们在Wolfram语言中添加了更多内容时,我的思想发生了怎样的变化,这让我很惊讶。当我没有表达的方法时,它没有进入我的思维。但一旦我有了表达的方法,我可以这样想。
所以会是,I believe,法律思考。When there's a precise symbolic discourse language,对各种事情都能更清楚地思考。徳赢彩票游戏
当然,在实践中,毫无疑问会有各种各样的自动注释:“如果你添加这个子句,这意味着X,Y和Z“,等。这也有助于它通常可以接受一些合同,并模拟一系列输入的结果。有时人们会想要统计结果(“这有偏见吗?”).有时,人们会想寻找特定的“bug”,只有通过尝试大量输入才能找到。
对,一个人可以用自然语言读合同,就像读数学论文一样。但是如果你真的想知道它的含义,你需要它的计算形式,所以你可以运行它,看看它意味着什么,也可以把它交给计算机来实现。
计算契约的世界
在古巴比伦,当开始有类似于汉谟拉比法典.当然,很少有人能读,起初有各种各样的沉闷,就像让人们按照记忆顺序背诵法律。几个世纪以来,事情变得越来越简单,大约500年前,徳赢彩票游戏随着普及扫盲的到来,法律和合同开始变得更加复杂(除其他外,这使得它们变得更加细微,以及更多的情况)。
近几十年来,这种趋势加速了,尤其是现在,复制和编辑任何长度的文档都非常容易。但事实上,人类在循环中,这一事实仍然限制着事情的发展,编写和解释文档。50年前,几乎定义任何事情的过程的唯一方法就是写下来,让人类实现它。但后来电脑出现了,和编程。很快,就有可能定义更为复杂的程序,而不是由人类来执行,而是用电脑。
所以,我想,这将与法律有关。Once computational law becomes established,所能做的事情的复杂性将迅速增加。通常,合同定义了世界的一些模式,并指定在不同情况下应该发生什么。如今,由契约定义的模型的逻辑和算法结构仍然相当简单。但是有了计算契约,它们就可以变得更加复杂,例如,更加忠实地捕捉世界的运行方式。
当然,这就使得定义应该发生的事情变得更加复杂,很快就会感觉有点像为计算机构建操作系统,它试图覆盖计算机可能遇到的所有不同情况。
最后,虽然,一个人必须说出自己想要的。一个人可以通过给出具体的例子来获得一定的距离。但最终我认为人们必须使用一种象征性的话语语言来表达更高层次的抽象。
有时人们可以用象征性的话语语言写下一切。但通常,我怀疑,我们将使用象征性的话语语言来定义目标的数量,然后,我们将不得不使用机器学习的各种方法来填写如何定义一个实际实现它们的合同。
一旦涉及到计算不可约性,通常不可能确定是否没有错误,或“意外的后果”。对,一个人可以做各种自动测试。但最终,理论上不可能有任何有限的程序来保证检查所有的可能性。
如今,有许多法律情况,如果没有专业律师,就难以处理。在一个计算法则很普遍的世界里,让电脑参与进来不仅方便,it'll be necessary.
从某种意义上说,这与工程的许多领域已经发生的情况类似。Back when humans had to design everything themselves,人类通常能够理解正在建造的结构。但一旦计算机参与到设计中,就不可避免地需要它们来弄清楚事情是如何工作的。
今天,一份相当复杂的合同可能涉及一百页的法律文书。但是一旦有了计算法则,特别是根据目标自动构造的契约,长度可能会迅速增加。在某种程度上,这并不重要,不过,一个人使用的程序代码有多长并不重要。因为生效的合同将由计算机自动运行。
莱布尼兹把计算看作是法律实践中的一个简化元素。而且,对,有些事情会变得更简单和更明确。但是,一个巨大的复杂海洋也将打开。
这对人工智能意味着什么?
如何告诉人工智能该怎么做?好,你必须有某种人类和人工智能都能理解的交流方式,并且这种交流方式足够丰富,足以描述你想要什么。正如我在别处所描述的,我认为这基本上意味着一个人必须拥有一种基于知识的计算机语言,这正是沃尔夫拉姆语言的意义所在,最终一个人需要一种完整的象征性话语语言。
但是,好啊,所以有人告诉人工智能做点什么,比如“去商店买些饼干”。But what one says inevitably won't be complete.人工智能必须在世界某个模型中运行,还有一些行为准则。也许它能找到如何偷饼干,但不应该这样做;大概有人想让它遵守法律,或者某种行为准则。
这就是计算法则变得非常重要的地方:因为它给了我们一种方法,以让我们能够很容易地利用的方式提供行为准则。
原则上,我们可以让人工智能接收完整的法律和历史案例等,试着从这些例子中学习。但是随着人工智能在我们的社会中越来越重要,有必要定义各种新法律,徳赢中国其中许多可能是“天生的计算能力”,不仅如此,我怀疑,因为它们在算法上过于复杂,无法用传统自然语言有效地描述。
还有另一个问题:我们真的不想让人工智能遵守法律的规定(不管它们发生在什么地方)。我们希望他们也有道德行为,不管这意味着什么。即使是在法律范围内,我们可能不想让我们的人工智能撒谎和欺骗;我们希望他们以某种方式按照我们所遵循的任何道德原则来加强我们的社会。
好,有人可能会想,为什么不像教法律那样教人工智能伦理呢?在实践中,不是那么简单。因为法律已经被适当地编纂了,道德也是如此。对,有哲学和宗教文本谈论道德。徳赢彩票游戏但它比法律更模糊,更不广泛。
仍然,如果我们的象征性话语语言足够完整,它当然也应该能够描述道德。事实上,我们应该能够建立一个计算法则系统,为人工智能定义一个完整的行为准则。
但它应该说什么呢?一个人可能有一些直接的想法。也许可以把世界上所有的伦理制度结合起来。显然没有希望。或许可以让人工智能观察人类的行为,从中学习他们的道德体系。同样没有希望。也许你可以尝试一些本地的东西,当人工智能根据地理位置改变其行为时,文化背景,等。(想想“协议机器人”)。也许在实践中有用,但几乎没有一个完整的解决方案。
那么一个人能做什么呢?好,也许有一些原则我们可以达成一致。例如,at least the way we think 徳赢彩票游戏about things today,我们大多数人不希望人类灭绝(当然,也许在未来,有了凡人会被认为太具有破坏性,或者别的什么。事实上,虽然大多数人认为我们当前的社会和文明存在各种各样的问题,人们通常不想改变太多,他们绝对不想强迫他们改变。
那么,我们应该怎么告诉AIS呢?如果我们能给人工智能一些简单的几乎公理化的原则,使它们总是做我们想做的事情,那就太好了。Maybe they could be based on阿西莫夫的机器人三定律.也许它们可能是基于某种全局优化而看起来更现代的东西。但我觉得不会那么容易。
世界是一个复杂的地方;如果没有别的事,这基本上是由计算不可约现象来保证的。而且,几乎不可避免的是,不会有任何有限的程序来强迫所有的事情“按照自己的意愿走出来”(不管是什么)。
让我说一句深奥的话,但定义明确,数学的例子。我们认为我们知道整数是什么。但是为了真正能够回答关于整数的所有问题(包括关于整数的无限集合,徳赢彩票游戏等)我们需要建立定义整数如何工作的公理。那就是什么Giuseppe Peano在19世纪后期尝试过。有一段时间看起来不错,但在1931年库尔特·G·德尔用他的不完全性定理,这意味着,事实上,尽可能地尝试,there was never going to be a finite set of axioms that would define the integers as we expect them to be,没有别的了。
从某种意义上说,Peano最初的公理实际上非常接近于定义我们想要的整数。但是g_del表明它们也允许奇异的非标准整数,例如,加法运算不可有限计算。
好,好啊,那是抽象数学。现实世界呢徳赢彩票游戏?好,从G_del的时代开始,我们学到的一点是,现实世界可以用计算的方式来思考,很像G_del所考虑的数学系统。尤其是,人们可以期待同样的计算不可约现象(它本身与g_del定理密切相关)。结果就是,无论我们定义了什么简单的直觉目标,这是不可避免的,我们必须建立一个任意复杂的规则集合来尝试实现它,无论我们做什么,总会有一些“意想不到的后果”。
所有这些都不应该真的让人大吃一惊。毕竟,如果我们观察一下过去几千年来实际的法律制度,总会有很多法律。它不像是有一个单一的原则,其他的一切都可以从中得到;最终不可避免地会出现许多不同的情况,这些情况必须被涵盖。
世界原则?
但是,所有这些复杂性仅仅是世界如何运作的“力学”的结果吗?想象一下,正如人们所期望的那样,人工智能变得越来越强大。世界上越来越多的系统,从货币供应到边境管制,实际上是交给AIS的。从某种意义上说,然后,AIS的作用有点像政府,为人类活动提供基础设施。
所以,好啊,也许我们需要一部关于人工智能的“宪法”,就像我们为政府制定宪法一样。但问题再次出现:宪法应该包含什么?
假设人工智能能以任何方式塑造人类社会。我们要怎么做?好,这是政治哲学中的一个老问题,自古以来就有争论。一开始是这样的想法功利主义听起来不错:不知何故,尽可能多地让人们的幸福感最大化。但想象一下,实际上是想用控制世界的人工智能来做到这一点。一个问题立即被推到哲学家和其他人几个世纪以来争论的具体版本中。让我们假设一个人可以塑造世界上人们幸福的概率分布。好,现在我们必须精确地知道它是平均值还是中位数,还是模式或分位徳赢彩票游戏数,或者,就这点而言,我们试图最大化的分布的峰度。
毫无疑问,人们可以想出一些为某个特定的选择辩护的修辞。但没有一个抽象的“正确答案”。对,我们可以有一种象征性的话语语言来表达任何选择。但是没有数学推导的答案,也没有自然法则强制一个特定的答案。我想“考虑到我们的生物学特性,可能会有一个最佳答案”。但随着事态的发展,这也不会是坚实的基础,随着我们越来越多地设法利用技术来超越进化带给我们的生物学。
仍然,我们可能会争辩说:至少有一个限制:我们不希望有一个计划,在这个计划中我们会灭绝,最终什么都不存在。即使这是一件很复杂的事情,因为我们需要说明这里的“我们”应该是什么:事情相对于当前的人类条件是如何“进化”的,不认为“我们”已经灭绝了吗?
但即使独立于此,还有一个问题:考虑到任何特定的设置,计算不可约性在某种意义上使其难以找出其后果。尤其是,给定任何特定的优化标准(或结构),可能没有有限的程序来决定它是否允许无限的生存,或者它实际上是否意味着文明将“停止”并走向灭绝。
好啊,所以事情很复杂。一个人到底能做什么?有一段时间,可能会有这样的想法:人工智能必须最终拥有人类的主人,必须按照某些原则行事,following the usual way human society operates.但实际上,这不会持续太久。
谁将负责在互联网上传播的公共领域人工智能系统?当它所产生的机器人在社交媒体上开始行为不端时会发生什么(是的,认为社交媒体账户只是为人类服务的想法很快就会被视为“21世纪初”)?
当然,有一个很重要的问题就是为什么人工智能应该“遵守规则”。毕竟,人类当然不会总是这样做。值得记住的是,虽然,我们人类可能是一个特别困难的例子:毕竟,我们是一个有着数十亿年历史的自然选择过程的产品,在那里,人们为生存而不断地进行着竞争。人工智能大概是在非常不同的情况下进入世界的,也不需要“野蛮的本能”。(嗯,我禁不住想到,来自不同公司或国家的人工智能被他们的创造者灌输了某种野蛮的本能,但这肯定不是人工智能存在的必要特征。)
最后,虽然,让人工智能“遵循规则”的最好希望,可能或多或少地是维持人类社会的相同机制:遵循规则是某种动态平衡的实现方式。但是如果我们能让人工智能“遵守规则”,我们仍然需要定义人工智能宪法应该是什么样的规则。
而且,当然,这是个难题,没有“正确答案”。但也许一种方法是看看人类历史上发生了什么。一件重要而显而易见的事情是,有不同的国家,有着不同的法律和习俗。所以,至少我们必须期望有多个人工智能宪法,不只是一个。
即使是现在的国家,一个显而易见的问题是应该有多少。有什么简单的方法可以说,有了现有的技术,例如,预计将有70亿人组织到大约200个国家?徳赢彩票游戏
听起来有点像在问太阳系到底应该有多少行星。很长一段时间以来,这被视为“自然的随机事实”(哲学家们广泛使用这一事实作为一个例子,与2+2=4不同,不是“必须这样”)。但特别是在看到如此多的外行星系统之后,很明显,我们的太阳系实际上几乎必须拥有它所拥有的行星的数量。徳赢彩票游戏
也许在我们看到足够多的电子游戏虚拟世界的社会学之后,我们将了解如何“推导”国家数量。徳赢彩票游戏当然,人工智能宪法应该像国家一样被划分,这一点也不清楚。
人类的身体状况有一个方便的结果,即至少在某种程度上一个人可以将世界按地理位置划分。但也不需要有这样的空间位置。我们可以想象其他的计划,当然。比如说,我们看看人格和动机的空间,并在其中找到集群。也许可以开始说“这是一个集群的人工智能构成”,等等。也许宪法可以分清,perhaps almost arbitrarily (a "吉特-就像社会模式一样)。我不知道这样的事情最终会如何运作,但它们似乎比一个更合理,共识,适用于所有地方和所有人的人工智能宪法。
问题太多了,不过。就像这一个。假设人工智能是我们这个世界的主导力量。但是让我们假设他们成功地遵循了一些我们为他们定义的宪法。好,这很好,但这是否意味着世界上没有什么可以改变的?我是说,试想一下,如果我们仍然按照200年前的法律运作的话:大部分社会从那时起就开始了,并希望不同的法律(或至少不同的解释)反映其原则。
但是,如果在2020年左右精确的法律被烧毁,为了永恒?好,有人会说,真正的宪法总是有明确的条款,允许他们自己修改(在美国宪法中第五条)但看看实际情况世界各国宪法不太令人鼓舞。有些人只是简单地说,如果最高领导人(一个人)这么说,宪法可以改变。Many say that the constitution can be changed through some democratic process—in effect by some sequence of majority or similar votes.一些人基本上定义了一个复杂的官僚化的变革过程,以至于人们怀疑它是否在形式上无法决定是否会得出结论。
起初,民主党的计划显然是一个胜利者。但它从根本上基于这样一个概念,即人们在某种程度上很容易被计算(当然,人们可以争论哪些人,徳赢彩票游戏等等)。但当人格变得更复杂时会发生什么呢?When,例如,实际上,上传的人类意识,与人工智能紧密相连?好,有人会说,总有一些“不可分割的人”参与进来。是的,我可以想象小的松果体细胞团被维持来定义“一个人”,就像在过去他们被认为是灵魂的座位。但从我所做的基础科学来看,我认为我可以肯定地说,这些都不会最终奏效,因为最终定义事物的计算过程并没有这种不可分割性。
那么,当不再有“人可数”的时候,“民主”会发生什么呢?我们可以想象各种各样的计划,包括确定“人的空间”中某些特征的密度。我想人们也可以想象,某种奇怪的投票涉及实体的超限数量,或许集合论的公理化对历史的未来有着关键的影响。
这是一个有趣的问题,如何建立一个变革被“烧死”的宪法。比特币就是一个很简单的例子,协议刚刚规定,开采的比特币价值每年都会下降。当然,这种设置在某种意义上是建立在世界模型的基础上的,特别是建立在摩尔定律以及技术发展的明显短期可预测性。但遵循同样的总体思路,one might starting thinking 徳赢彩票游戏about a constitution that says "change 1% of the symbolic code in this every year".但后来又不得不决定“哪1%?”.可能是根据使用情况,或者观察世界,或者一些机器学习程序。但是无论涉及到什么算法或者元算法,在某种程度上,仍有一些东西必须一次性定义。
一个人能做一个关于变化的一般理论吗?起初,这似乎没有希望。但在某种意义上,探索程序的计算领域就像看到所有可能变化的光谱。在这些事情上,肯定有一些普通的科学可以做。也许除了“任何可能发生变化的时候都要用叉子”之外,还有其他的设置——那就是让一个人拥有一个适当允许变化的宪法,以及改变人们允许改变的方式,等等。
让它发生
好啊,我们讨论了一些影响深远的基徳赢彩票游戏础性问题。但现在这里呢?徳赢彩票游戏好,我认为令人兴奋的是,戈特弗里德·莱布尼兹去世300年后,我们终于可以实现他的梦想:创造一种通用的象征性话语语言,并将其应用于建立计算规律的框架。
有了Wolfram语言,我们就有了基本的符号系统,也有了许多关于世界的知识。还有很多事情要做,但我认为现在有一条明确的前进道路。除了创造一种象征性的话语语言这一抽象的智力挑战之外,它确实有助于现在也有了一个明确的目标:能够为计算定律建立实用的系统。
这不容易。但我认为世界已经准备好了,and needs it.比特币和以太坊已经有了简单的智能合约,但是还有很多事情可以做,而且有了一个完整的象征性的话语语言,法律所涵盖的所有活动都有可能被结构化计算所利用。这将导致各种实际和概念上的进步。它将使新的法律徳赢中国商业和社会结构,除此之外,计算机对人类事务的处理还有更深入的了解。
我认为,这对于未来确定人工智能的总体框架也至关重要。什么样的道德,and what principles,他们应该跟着吗?我们如何与他们沟通?对于我们自己和AIS,我们需要一种方法来制定我们想要的。为此,我们需要一种象征性的话语语言。莱布尼兹的想法是对的,但早了300年。Now in our time I'm hoping we're finally going to get to build for real what he only imagined.在这样做的过程中,我们将在利用计算范式的力量方面又向前迈出一大步。