此刻的机械人曾经具有了智能自治体系，是以有时它们本身还会发生特定的“焦炙”和不确定性，即使是天天它们都正在完成同一种义务，那样的概率还是存正在的。是以，为了削减机械人泛起的“焦炙”，我们该当越发偏重研讨若何可以让它们真正的正在第一时间取代人类做出准确的决议。只有那样，正在某种程度上而言，那样的机械人才比人类越发牢靠。

　　没有管你是没有是认同，自治体系曾经存正在于相称数目的机械人中。这里的“自治体系”一般指的是机械人做出主动判定的本领，正在什么情况下该当做什么事情。到目前为止，我们所可以接触到的机械人，例如机械人吸尘器、主动泊车体系、飞机驾驶仪等皆很是简朴，几近并没有过量的触及自治体系观点。这一些体系虽然可以顺应它们所处的环境，而且主动对环境转变举行应对，然则皆是实现曾经举行了编程录入，经由过程环境的转变来调取相应的敕令。

　　常常爱好看科幻故事的伴侣皆了解，实正在机器人还能够更进一步。我们关怀的是，但机器人庖代了一般的人类飞翔员以后，正在碰到特殊状况时会主动按照前提变革做出符合的对策。正在今朝的飞翔体系中，主动驾驶体系能够使飞机正在固定的航路中飞翔，然则仍然须要人类飞翔员来决议该走哪一个标的目的、什么时候转弯和若何应对出乎意料的不测状况。一样的原理，巡航操纵、车道操纵等体系虽然能够让汽车按照当前线路主动行驶，然则统统庞大决议的拟定照旧要依托人类。然则一旦自治体系变得越发进步前辈，软件就会施展更大的作用。我们将不再须要真正的人类来决议什么时候改动飞机的飞翔线路或当高速公路封闭后挑选哪条小路继承行驶。

　　信赖很多人看到如许的设法主意，必定会有如许的担忧。即使是一台机械能够主动做出决议，那末我们如何包管它的决议是宁静的呢？信赖看过《终结者》系列片子的伴侣皆晓得，机械人实际还并不是完整牢靠，而在现实生活中，挑选乘坐飞机自己便是具有必定危险几率的时候，更不用说这架飞机照样完整依托“没血没肉”的机械人来驾驶。

　　通常情况下我们大抵要面对两种挑选。完整信赖它们或谢绝它们。不外如今已泛起了第三种选项。当我们正在取别的一个人相处时，虽然我们没法肯定对方做出什么样的决意，可是我们可以基于对对方的认识而做出我们自身的分辨。而分辨的凭据便是对方之前是不是诱骗过我们或有过类似的阅历。可是我们其实不能完整凭据这类履历分辨来假定对方一定是正在诱骗自身。而机器人的自治体系则其实不一样。它的本质上是由软件来操纵，是以假如我们可以将这一些软件变得“完美”，将一切人类的初级思惟融入个中，而软件和体系就会可以极度具体的阐发行动计划。正在这里一点上，人类的大脑可其实不是随意马虎可以办到。

　　现阶段，一种对计算机科学取软件的深入剖析研究已变得愈来愈风行，特别是若何证实软件的逻辑剖析才能若何精确的婚配预期的需求。这类办法被称为情势考证（formal verification），正在剖析和评价足以危害人类平安的软件中非常有效，例如火车站、性命支持体系或交通体系等。一旦这一些软件可以根据自治体系做出更初级的决议，我们便可以对某些项目标具体事情开展愈加正确的考证。

　　而今朝科学界的研讨最主要的标的目的便是若何考证这类自治体系所做出的行动推断最为科学，来证实经过软件操纵的机器人体系永久不容易做出毛病或糟糕的决意。

　　这个决议的历程也是让机械人被绝对信任的焦点的地方，若何更舒心、更省力的让机械来做出最好决意。不外如许的事情体系一般全是非常复杂和充满了不确定性的，所以即使是事故曾经产生，我们也要包管软件体系之前曾经最少实验了试图防止事故产生。这似乎是一种不可防止的错误谬误，然则最少能够让那些担心科幻小说中发生机械人诱骗人类状况的同伙略微安心一些。

　　虽然我们不可以必定的说一个机械人永久都不会不测的对人类导致损害，然则经由过程体系和实验证实最少这一些损害都不是机械人有意的举动。经由过程观察机械人内部的编程代码，我们不但要评价它们要去干什么，更要评价它们为什么要如许干。虽然今朝人类关于机械人和自治体系仍然没法完整信赖，然则假如了解了体系并不会有意对人类导致诳骗，大概就会让这一些人对机械人的好感度可以提拔一点。

　　现阶段最主要的题目便是我们要证实的是什么，而这不是如何来证实。我们永久没法试图证实一个机器人会有心挑选损害人类，可是关于诸如医疗机器人或警员机器人这类特别行业的例子来讲，还是有多是它们正在试图扶助人类（例如开展胸部施压扶助呼吸）的过程中无意中对人类形成损害。还是有机器人警员正在回护一般百姓的时分还会对犯法分子开枪，这虽然损害了某个人类的个别，可是实在还是为了回护大多数人的平安。

　　根据上面的论述，我们曾经由手艺、哲理和伦理的角度为将来机械人愈加遍及的利用进行了一些证实。是以若是将来机械人和自治体系真的试图正在某些范畴完整取代人类，我们也要信赖它们自己的决议计划历程皆是以取得最好成果为根据的。