【专家谈】人工智能导致失业潮是个伪命题
就业问题是国民经济的核心问题，促进就业不只是宏观经济治理的重要任务，也是让人民群众幸福生活的重要保障。纵观人类历史发展历程，生活水平的提高与就业变迁紧密相关，这种就业的变化不仅体现在社会角色的变化上，更体现在与技术进步的共同演进中。
科技虽然因人的努力而进步，但人与科技进步产物的融合过程却并非顺畅，每一次新科技革命的到来，总需要一段时间加以磨合。近年来，人工智能的兴起引发了社会普遍关注，而人工智能将导致失业的话题更是成为舆论的焦点，甚至一度产生失业恐慌论。就业是保障，科技是生产力，二者是否对立，是否必然导致大量失业，这个问题需要我们冷静、客观地看待。
人工智能（ArtificialIntelligence），英文缩写为AI，通常是指研究、开发用于模拟、延伸和扩展人的智能的理论、方法、技术及应用系统的一门技术科学。如今，对于人工智能的理解，已经不仅仅是一门技术科学，而被视为未来发展的基础和动力之源。很多研究机构在提出人工智能对未来发展重要性的同时，均指出人工智能将取代未来诸多工作岗位，造成大量失业。如麦肯锡指出，在其分析的800种职业所包含的2000多项活动中，全球经济中一半以上的活动可能会被取代。但是，也有研究机构指出，人工智能等科技进步将创造一系列新的工作岗位。德勤的研究显示，虽然制造业、农业等方面的工作机会在大量减少，但科技同时创造了更多新的岗位，在创意、科技和商业服务等行业，有大批新岗位正在被创造出来。
追溯历史，在英国工业革命时期发生了一场人与机器争夺工作的“卢德运动”。工业革命给英国带来了可供工业生产的生产机器，不仅生产效率明显提高、产品更加标准化，也使得一些工作对工人的需求明显下降，导致工人失业增加，工资下降。一名叫卢德的工人率先砸毁机器，以捣毁机器的方式进行对抗，而其结果正如大家所知，我们生产生活所用的机器越来越多，我们的生活水平越来越高，我们也依然需要大量的工人和工作者。可能不少人都会对捣毁机器的“卢德”感到不解，但是想一想当前面对人工智能而恐慌于失业的人们，也许大家就会知道，我们身边依然还有很多位“卢德”。客观来说，科学技术的进步必将会替代一些人类劳动，分别以机械化、电气化、信息化为主要特征的三次技术革命，每次都引发了“机器替代人”的争论，但更为重要的是每一场技术革命都为我们的生活提供了更为坚实的基础，让生活的质量水平明显提升，让人类从生存问题的困扰中解脱出来，开始思考如何更好地感受个人的进步、生活的变化以及社会的发展。
人工智能对就业的影响不仅仅是取代一部分人类岗位，而包括就业替代、就业升级、就业创造三个方面的影响。首先，人工智能无疑会冲击当前简单、初级，甚至部分难度较大的工作岗位，但要彻底替代仍需很长的路要走。例如，微软研究团队已经创造了第一个能够将中文新闻翻译成英文的机器翻译系统，精确度与人类译者基本一致，很多翻译类的工作岗位需求无疑将会减少，但是高端化、私人化、定制化的翻译服务依然有更为广阔的需求。其次，人工智能将推动现有工作升级，人们可能获得更为高端的工作岗位。例如，基于人工智能的运用，很多基础性文字、设计、图片等可以快速形成基础素材，人们可以有更多精力从事于更为高级的策划、设计、创新等工作。最后，人工智能还将创造众多新岗位。
就业是最大的民生。党的十九大报告提出，提高就业质量和人民收入水平。要坚持就业优先战略和积极就业政策，实现更高质量和更充分就业。
如果说，人工智能的出现取代了人，倒不如说人工智能的出现创造了更多需要操控运用人工智能技术的人才需求。人工智能等一批新科技成果的涌现和应用，使人们面临的更多不是失业问题，而是工作转换和革新问题，这种转换必然需要我们去学习它、运用它，让我们工作的更轻松、更自由、更便利，不断增强我们实实在在的获得感、幸福感。事实和实践充分证明，人工智能导致失业潮是个伪命题。（张亚豪工业和信息化部电子第五研究所北京政研室主任）
人工智能 —— 归结演绎推理
什么是归结演绎推理归结演绎推理是一种基于逻辑“反证法”的机械化定理证明方法。其基本思想是把永真性的证明转化为不可满足性的证明。即要证明P→QP→QP→Q永真，只要能够证明P∧﹁QP∧﹁QP∧﹁Q为不可满足即可。
谓词公式不可满足的充要条件是其子句集不可满足。因此，要把谓词公式转换为子句集，再用鲁滨逊归结原理求解子句集是否不可满足。如果子句集不可满足，则P→QP→QP→Q永真
逻辑学基础（1）谓词公式的永真性
如果谓词公式P对非空个体域D上的任一解释都取得真值T，则称P在D上是永真的；如果P在任何非空个体域上均是永真的，则称P永真。
（2）谓词公式的可满足性
对于谓词公式P，如果至少存在D上的一个解释，使公式P在此解释下的真值为T，则称公式P在D上是可满足的。
（3）谓词公式的范式
范式是公式的标准形式，公式往往需要变换为同它等价的范式，以便对它们进行一般性的处理。在谓词逻辑中，根据量词在公式中出现的情况，可将谓词公式的范式分为以下两种。
前束范式
任一含有量词的谓词公式均可化为与其对应的前束范式Skolem范式
任一含有量词的谓词公式均可化为与其对应的Skolem范式子句和子句集谓词公式化为子句集鲁滨逊归结原理（消解原理）基本思想：
检查子句集S中是否包含空子句，若包含，则S不可满足。若不包含，在S中选择合适的子句进行归结，一旦归结出空子句，就说明S是不可满足的。（1）命题逻辑中的归结原理：
设C1C_1C1与C2C_2C2是子句集中的任意两个子句，如果C1C_1C1中的文字L1L_1L1与C2C_2C2中的文字L2L_2L2互补，那么从C1C_1C1和C2C_2C2中分别消去L1L_1L1和L2L_2L2，并将二个子句中余下的部分析取，构成一个新子句C12C_{12}C12。其中，C12C_{12}C12称为C1C_1C1和C2C_2C2的归结式，C1C_1C1和C2C_2C2称为C12C_{12}C12的亲本子句。
（2）谓词逻辑中的归结原理：
设C1C_1C1和C2C_2C2是两个没有公共变元的子句，L1L_1L1和L2L_2L2分别是C1C_1C1和C2C_2C2中的文字。如果L1L_1L1和L2L_2L2存在最一般合一σσσ，则称C12=(C1σ−L1σ）U（C2σ−L2σ)C_{12}=({C_1σ}-{L_1σ}）U（{C_2σ}-{L_2σ})C12=(C1σ−L1σ）U（C2σ−L2σ)为C1C_1C1和C2C_2C2的二元归结式，而L1L_1L1和L2L_2L2为归结式上的文字。
归结反演（1）归结反演证明定理：
步骤：
（1）将已知前提表示为谓词公式FFF。
（2）将待证明的结论表示为谓词公式QQQ，并否定得到﹁Q﹁Q﹁Q。
（3）把谓词公式集{F,﹁Q}{F,﹁Q}{F,﹁Q}化为子句集SSS。
（4）应用归结原理对子句集SSS中的子句进行归结，并把每次归结得到的归结式都并入到SSS中。如此反复进行，若出现了空子句，则停止归结，此时就证明了QQQ为真。
（2）归结反演求解问题：
步骤：
（1）已知前提FFF用谓词公式表示；
（2）把待求解的问题QQQ用谓词公式表示，并否定QQQ，再与ANSWERANSWERANSWER构成析取式（﹁Q∨ANSWER）（﹁Q∨ANSWER）（﹁Q∨ANSWER）
（3）把谓词公式集{F,（﹁Q∨ANSWER）}{F,（﹁Q∨ANSWER）}{F,（﹁Q∨ANSWER）}化为子句集SSS。
（4）对SSS应用归结原理进行归结；
（5）若得到归结式ANSWERANSWERANSWER，则答案就在ANSWERANSWERANSWER中。
归结演绎推理的应用（1）归结反演证明定理：
（2）归结反演求解问题：