人工智能赋能国家安全：理念、机理与路径

人工智能技术的重大突破性进展为高水平国家安全的实现提供了强大动力。人工智能赋能国家安全可以从理念、机理和路径三个维度展开系统分析。就理念而言,“四个统筹”整体明确了人工智能赋能的价值引领,即统筹发展和安全、统筹维护安全和塑造安全、统筹自身安全和共同安全、统筹善智与善治。就机理而言,人工智能技术在机器感知、机器学习和机器行动三个阶段与国家安全战略规划、国家安全能力提升、国家安全风险应对三个方面耦合,人工智能可以通过获取数据、学习、推理、智能计算、提升作用效能等有效赋能国家安全。就路径而言,人工智能赋能国家安全的具体实现方式包括：维护人民群众的安全利益,增强人民群众的国家安全意识和能力;提升中国共产党的领导能力和巩固党的执政地位,维护中国特色社会主义制度安全和助力意识形态安全建设;赋能经济高质量发展,有效应对经济领域安全风险;提升军事、科技、文化、社会安全的保障力度;赋能国际安全合作升级,科学高效应对全球性安全风险挑战等。     

机器智能与人类智能的优势与劣势

正随着机器学习算法的不断发展与进步,计算机借助强大的存储与运算能力,学习人类几千年来发展与进化过程中所积累的完整知识的能力越来越强,借助完整知识库对复杂事务进行预测与判断的准确度将会全面超越人类。由此推断,在未来几十年里,不仅是那些简单重复性的体力劳动将会全面被机器取代,而且那些需要对复杂事务进行评估与判断的工作,如金融投资、企业管理、军事指挥等,也有可能让位于机器智能。甚至大到整个国家,也可能会越来越依靠机器智能预测政治、经济、外交发展趋势,制定最     

前进轮胎的数字化转型

正贵州通过工业互联网等大数据智能化技术赋能,不断推进工业创新、智能制造、智慧管理,助推传统产业转型升级,特色优势产业提质升级,推动全省工业高质量发展。本期,我们继续聚焦贵州轮胎股份有限公司通过大数据与实体经济深度融合的亮点和成效。该公司通过大数据与实体经济深度融合,推动企业朝着数字化、网络化、智能化方向转型升级,实现了"机器换人""机器助人",智能制造已成为公司提质增效的利器。2021年,贵州轮胎股份有限公司产能预计可达680万条,     

“互联网+”教育模式下高校大学生思政课程学习的优劣势分析

在当前“互联网+”教育背景下,高校教学与高新技术深度融合,智能科技与教育发展双向赋能,给大学生学习成长开辟了学习的多样化路径。通过分析“互联网+”教育模式对大学生思政学习的影响以及存在的问题,并对目前所存在的问题与不足提出合理化建议,有望提高“互联网+”学习模式的利用效率以及大学生利用互联网进行思想政治课程学习的成效。     

论人工智能在证据推理中的辅助性定位北大核心

当前,人工智能正逐步介入到司法证据推理之中,并引起广泛关注。现阶段的人工智能仍属于“弱人工智能体”,长于形式逻辑推理,但仍无法实现对人类认知思维的完整模拟,在司法证据推理之中处于辅助性地位。结合司法人工智能在海量数据筛选定位、算法高效一致运行等方面的优势,以及在证据信息提取、证据语言转化、法律思维模拟、司法经验学习等方面的短板,应将人工智能的辅助范围明确为证据材料使用提示、证据信息缺失预警、证据推理前置性指引和后置性纠错。同时,人工智能在司法证据推理中应遵循智能审判实质化、算法公开、算法平等和机器有限制约原则。在此基础上,建立起梯度性人工智能辅助体系,让人工智能分梯度地介入不同类型案件、不同诉讼阶段的证据推理工作之中。通过人工智能和人类法官的优势互补,进一步释放司法工作的公正性、效率性红利,助力新时代司法审判新篇章的开启。     

“机器像人”与“人像机器”

在一次中外大学校长论坛上,哈尔滨工业大学校长王树国说:我是研究机器人的,希望机器越来越像人,但作为校长,我担心把人培养得像机器!王校长的话是有的放矢。不过,他的感慨也引起了许多与会人员的共鸣。大家有的陷入深思,有的以本校学生为实证,踊跃发言。“担心把人培养得像机器”,就是担心学生像机器一样地“机械”,只能按“输入”的“指令”运转(动),没有创新意识。这样的教育,不利于开发学生的智能。以此提出疑问、进行反思、呼唤变革、改变教学教法,从教育方面来说,这是很有必要的。其实,王校长“担心把人培养得像机器”,还可以从另一方…     

论人工智能在证据推理中的辅助性定位

当前，人工智能正逐步介入到司法证据推理之中，并引起广泛关注。现阶段的人工智能仍属于“弱人工智能体”,长于形式逻辑推理，但仍无法实现对人类认知思维的完整模拟，在司法证据推理之中处于辅助性地位。结合司法人工智能在海量数据筛选定位、算法高效一致运行等方面的优势，以及在证据信息提取、证据语言转化、法律思维模拟、司法经验学习等方面的短板，应将人工智能的辅助范围明确为证据材料使用提示、证据信息缺失预警、证据推理前置性指引和后置性纠错。同时，人工智能在司法证据推理中应遵循智能审判实质化、算法公开、算法平等和机器有限制约原则。在此基础上，建立起梯度性人工智能辅助体系，让人工智能分梯度地介入不同类型案件、不同诉讼阶段的证据推理工作之中。通过人工智能和人类法官的优势互补，进一步释放司法工作的公正性、效率性红利，助力新时代司法审判新篇章的开启。     

人工智能问题的争论

一、什么是人工智能关于人工智能科学范畴的定义和归属问题,学术界仍有争论。有人把它等同于电子计算机,更多的是把它归属于电子计算机的一个分支。如美国专家西蒙教授提出人工智能“实际上就是计算机科学,是使用计算机程序模似人解答题的过程,从而代替人的智力来解答题”。有人把它定义为;人工智能是探索和模拟人的感觉和思维过程的规律,进而设计出类似人的某些智能的自动机科学”。有的人认为,“人工智能的任务就是通过研究人的智能活动,模仿人的智能而制造出的相应机器。”也有人认为,利用电子计     

享誉世界的数学家——吴文俊

他的研究成果遍布于拓扑学、自动推理、机器证明、代数几何、中国数学史、对策论等各个领域,其中主要体现在拓扑学和数学机械化两个领域; 他在被称为“现代数学的女王”——拓扑学研究领域里取得的一系列奠基性研究成果,被冠之于“吴示性类”、“吴示嵌类”而享誉国内外,被称为“拓扑学的地震”,数学界公认,在拓扑学的研究中,他起到了承前启后的作用; 他受计算机与古代传统数学的启发,形成了初等几何定理的机械化证明的思想,在国际机器证明领域产生巨大的影响,开创了机器定理证明的时代,被国际上称为“吴文俊方法”和“吴消元法”; 他的许多成就正被应用于若干高科技领域;已取得一系列国际领先的成果,在他的带领和影响下,形成了一支高水平的数学机械化研究队伍,在国际上被称为“吴学派”。     

科大讯飞与您携手 面向未来

正一句话了解讯飞科大讯飞致力于让机器"能听会说,能理解会思考",用人工智能建设美好世界。讯飞是做什么的?科大讯飞成立于1999年,自成立以来,长期从事语音及语言、自然语言理解、机器学习推理及自主学习等核心技术研究,并一直处于国际前沿水平,多次在机器翻译、自然语言理解、图像识别、图像理解、知识图谱、知识发现、机器推理等各项国际评测中取得佳绩。基于拥有自主知识产权的核心技术,该公司积极推动人工智能产品和行业应用落地,目前已覆盖智慧教育、智慧城市、智慧司     

人机智拼引发的智能化时代隐忧

正人工智能与人类智慧的较量自计算机崭露头角起,便注定会弥漫着浓厚的"火药味"。1997年5月11日,人机博弈史上划时代的一天,IBM的"深蓝Ⅱ"将国际象棋冠军卡斯帕罗夫斩于马下。2006年五位中国象棋大师对战计算机"浪潮天梭"告负。从去年十月迎战欧洲冠军时被认为只有三段棋力的围棋软件,到如今4∶1大胜李世石的超级智能,Alpha Go(阿尔法围棋)通过算法升级和自我对弈攻陷了"人类智慧最后的堡垒"。短短二十年,从"深蓝"的暴力搜索到Alpha Go的自主学习,人工智能的高速发展大大超出我们的预料。有人欢呼雀跃,这是智能技术的伟大实践。也有人忧心忡忡,脑海中想象出人类被机器统治的     

生成式人工智能对网络意识形态安全的挑战及应对

生成式人工智能融入人类社会,给社会生活带来了诸多机遇和挑战。ChatGPT在机器对话能力和语言表达风格方面展现出较强的人机互动性和类人性,但在机器论证效力方面仍存在不严密性和不成熟性。由于技术不完善性、算法偏见和歧视以及人类对ChatGPT的过度技术崇拜和恶意使用,诱发了数据安全、政治安全、社会安全和网络安全等多重风险。对此,应通过摒弃片面的技术认识论、强化算力基础设施建设、完善智能伦理和法律规范以及提高公众人工智能素养等途径,有效规避生成式人工智能带来的多重安全风险,最大限度地发挥生成式人工智能技术对维护网络意识形态安全的赋能效应。     

人工智能的哲学思考

电子计算 机的出现,把人 类社会文明带 进了一个新时 代。它的发展将 使人类逐步实现 脑力(智力)劳动 的机械化、社会 化。把人类的智能转化为机器智能——人工智能,由机器再现,从而大大增强了人类认识世界、改造世界的能力。 在科学技术不发达的时代,生产者也是技术的掌握者,知识(含技术)的增长和生产者掌握知识的能力可以认为是同步的。但到了现代科学技术的飞速发展,新学科、新发现、新技术、新工艺日新月异,     

基层数字化绩效考核的赋能路径及运行基础——基于浙江A县B乡的实地调研

借助大数据和互联网技术，将“以人促事”的县域智能政务系统数据导入“以事考人”的乡镇人员能力指数测算，可实现数字化绩效考核在基层的创新应用。基层数字考核能在工作考核全过程化、人员考核全覆盖化、奖励惩罚精准化、提拔晋升可视化等方面增效赋能。基层数字考核的运行需要嵌入当地治理结构，需要与项目自主、容错空间、权责匹配等其他治理元素相互支持和配合。     

联想:扛起民族计算机工业大旗的英雄群体

普通中国人对联想的印象，并不像业内人那样反应出众多的具体数字和专业名词，而是感受到一股浩然之气，一种崇高精神，一曲壮美的战歌，一篇奇丽的诗章。只有在听取过联想人的介绍后，才会了解到联想是如此地明明白白、实实在在、一步一个脚印，一年一个台阶走过了１５个不平凡年头，牢牢地扛起了民族计算机工业大旗，成为一个全球知名的中国高科技企业集团，取得被国际上惊异为神话般的可观规模和巨大成就。一向强调要有自知之明的联想人，从不忘怀中国科学院和北京市领导在政策上及多方面给予的忧惠和关照。而在同样的气候和条件下，联想…     

对虚拟实在的本体论思考

虚拟实在(Virtual Reality)这个词是由拉尼尔提出来的。它是通过计算机软件、硬件和传感器的支持,对五官在真实情景中才能接受到的信息,以人身与机器的“对话”直接为人创造一个并不存在的虚拟世界,使人产生一种身临其境的感觉,而人又难以或不能觉察到它与真实世界的区别。这种技术与符号融合的虚拟实在究竟是物质的,还是意识的,引起了众人的关注。笔者认为,虚拟实在一旦生成便是一种客观实在,是一种新的物质形态。     

柳传志的五次危机

柳传志是联想集团的总裁。说起联想,如今在中国可是一个赫赫有名的高科技企业。联想电脑在中国电脑市场销量第一。联想股票,在股市上一路飙升,如日中天,价位始终居高不下。15年前的联想还只是一个小小的商贸公司,如今已经发展成中国计算机行业的龙头老大。作为联想集团的老总,柳传志也成了令人羡慕的名人。 然而,在最近的一次座谈会上,柳传志却对联想的员工说:“当年创业难,用语言是无法表达     

超越赋能范式的数字乡村建设共同体何以形成

数字中国战略下的数字技术赋能乡村振兴实践开启了乡村建设的新图景,但随着乡村高质量发展的深入开展,技术赋能范式已难以回应乡村数字化治理的新需求。基于权力、技术与行动者关系重塑的数字乡村共同体,具备了超越赋能范式的诸如耦合权力与技术场域的数字乡村建设、对接数字乡村治权共享需求、内涵共同体激励相容机制等演进功能,其有助于消弭赋能范式的梗阻。以数字乡村共同体建设的逻辑,需要从连线扩面地破解技术悬浮、兼顾“赋权”与“放权”的乡村治权共享、锚定“以人为中心”的多元需求等内容出发,持续超越赋能范式的治理限度而推进数字乡村建设高质量发展。     

形式逻辑 第五章 推理 直接推理

本章共有两节:推理的概述与直接推理。在推理的概述中,主要说明什么是推理,推理有哪些组成部分以及推理的分类等等。在直接推理一节中,介绍了“判断变形”的直接推理和根据“判断对当关系”进行的直接推理。在“判断变形”的直接推理中,主要介绍了“换质”、“换位”、“换质位”三种基本的推理形式。“对当关系”的直接推理,实际上是同一素材 A、E、I、O 四种判断之间真假关     

古代四川清官地图

扬雄 （前53-18），郫县人，汉赋“四大家”之一。曾作《甘泉赋》、《羽猎赋》、《长杨赋》讽刺汉成帝铺张。司马光甚至推尊扬雄为孔子之后，超苟越孟的一代“大儒”。