新宁| 洪江| 鄂州| 忻州| 泉州| 海城| 四会| 印江| 扎兰屯| 鄂伦春自治旗| 南岔| 乐都| 博野| 通化市| 嫩江| 饶平| 茄子河| 建湖| 大兴| 太原| 仁怀| 昌平| 滦县| 永吉| 友谊| 桃源| 林周| 烈山| 承德县| 金堂| 蒲江| 北京| 瑞昌| 桑日| 卢氏| 巩义| 左贡| 龙岩| 大荔| 南部| 小河| 行唐| 普洱| 洛隆| 贵溪| 息烽| 南投| 镇远| 贡嘎| 磐安| 云安| 兴宁| 五指山| 龙胜| 孟连| 枣阳| 鸡西| 章丘| 昭平| 淅川| 纳溪| 金湾| 堆龙德庆| 温江| 嘉定| 三台| 许昌| 东海| 平鲁| 凌海| 长汀| 渭源| 津市| 黑山| 台中市| 新郑| 阿鲁科尔沁旗| 纳溪| 静宁| 大荔| 天长| 辉南| 阳东| 阜新市| 沭阳| 长垣| 大洼| 卓尼| 阿拉尔| 岐山| 固阳| 巴楚| 桦川| 临高| 南城| 连山| 高港| 张家港| 黑河| 张湾镇| 周至| 南宁| 邱县| 桂林| 吉木乃| 株洲市| 红安| 台安| 定安| 理塘| 六盘水| 东胜| 长垣| 大石桥| 龙胜| 淮滨| 攸县| 鸡泽| 宝清| 行唐| 林周| 南安| 南宁| 密云| 开江| 阳朔| 普宁| 左云| 曲水| 吉隆| 泾源| 察哈尔右翼前旗| 徐闻| 新蔡| 铜陵县| 沅江| 金乡| 扎鲁特旗| 盐源| 砚山| 张北| 香港| 天等| 涟源| 本溪市| 勉县| 鹰手营子矿区| 杭锦后旗| 长春| 长沙县| 南昌市| 察隅| 下花园| 乐平| 樟树| 莱芜| 清丰| 思南| 同江| 鸡泽| 清涧| 博爱| 曲麻莱| 阜康| 阳东| 黄山市| 正阳| 德兴| 冠县| 海丰| 丰县| 寿宁| 贵德| 彭山| 郧西| 临沧| 南川| 冕宁| 娄底| 喀什| 南宁| 鄂托克前旗| 扬州| 隆子| 太谷| 通道| 沿滩| 延长| 资溪| 兴山| 民勤| 湛江| 嘉定| 宜昌| 长海| 达州| 德庆| 镇平| 迭部| 阳高| 高碑店| 八一镇| 舟曲| 澳门| 嘉义市| 婺源| 沙坪坝| 湖北| 梓潼| 宣化县| 武川| 大同县| 渭源| 宜春| 扎兰屯| 鸡西| 织金| 如东| 郫县| 阿克苏| 营口| 凤冈| 黄陵| 太谷| 平顺| 金坛| 玛曲| 桦南| 阿城| 临汾| 新县| 巴东| 调兵山| 绿春| 夏邑| 饶河| 广南| 遂川| 肥东| 普洱| 西华| 友好| 扶余| 洪江| 茌平| 索县| 繁昌| 绥芬河| 汝城| 新田| 扬州| 阿拉善左旗| 仲巴| 平凉| 嘉禾| 浙江| 襄汾| 从化| 霍邱| 栾城| 开鲁| 盈江| 晋江| 若尔盖|

竞彩足500彩票网 百度:

2018-11-16 20:30 来源:商界网

  竞彩足500彩票网 百度:

      钟秉枢还针对赛区内的住宿条件提出了自己的建议:“我们需要的不仅仅是星级宾馆,也可以结合未来旅游业和冰雪运动的开展,以及当下新农村建设,发展特色民宿,为前来延庆的游客提供更加多样化的选择。随意采访路人,除了一些年纪较大的长者有过使用IC卡的经历外,很多年轻的“90后”甚至根本不清楚IC卡为何物。

但特朗普豁免多国,令没获得豁免国家不满,尤其是美国重要盟友国家。事件细节 相关新闻  时隔几个月,马航客机再次出现致命事故。

      “这些问题如果能够解决,可能会令双方都受益,我们一直希望接触,但我们需要知道5月可能出现的结果,以及这一最后期限在多大程度上是动真格的。”买不起房子,租的房子也快拆了,“现在每天都在为找新住处发愁。

    这些人的朋友、家人、同事们处于震惊当中。  “Grek”:是的,Major.  “Major”:飞机在空中就解体了。

  乌克兰国家通讯社援引当地调查人员的话说,飞机在当地时间16:20就已经与地面失去联系。

  目前,设备供应商陆续在新月、北汽、渔阳、万泉寺等出租车公司共一万辆出租车上安装了一体机产品。

  但特朗普豁免多国,令没获得豁免国家不满,尤其是美国重要盟友国家。乘客会得到多少赔偿马航是否会破产这件事情将如何收场被称为“中国跨国空难索赔第一人”的著名律师郝俊波接受新京报记者专访,独家解析事件的走向。

  这样的选择其实是对所有人的警示,如果再次遇到他人被侵害的话,原本属于本能的见义勇为冲动却会因为犹豫和法律的刚性,从而只能选择退而求其次的报警。

  昨天上午,市总工会在被拍摄的劳动者中评选出10名“首都最美劳动者”,并为他们颁发了“首都最美劳动者”奖牌。空军哈尔滨飞行学院日前在机关及所属某旅教官中开展了教-8飞机失速尾旋训练。

  ”黄师傅表示,行业内个别司机将出租车转包给无从业资格的人员,使用打卡认证之后,违法营运的成本也将大大提高。

  本周,京城气温将经历一个“先扬后抑”的过程,周一至周三最高温为25℃-26℃,周四至周日则降至18℃-21℃。

      在日前召开的世贸组织货物贸易理事会上,世贸组织成员就中国和俄罗斯建议的美国钢铝关税措施议题展开讨论,欧盟、日本、韩国、澳大利亚等成员代表均发言,警告美国的这一措施不仅可能影响多方贸易利益,而且会对以规则为基础的多边贸易体制的稳定性构成威胁。“但我们现在的水平还达不到,只能等2022年北京冬奥会的时候,看看这方面有没有提高。

  

  竞彩足500彩票网 百度:

 
责编:

 首页 >> 哲学 >> 科学技术哲学
人工智能与机器学习:算法基础和哲学观点
2018-11-16 10:59 来源:《上海师范大学学报.哲学社会科学版》 作者: 克劳斯·迈因策尔 字号

内容摘要:

关键词:

作者简介:

Artificial Intelligence and Machine Learning:Algorithmic Foundations and Philosophical Perspectives

 

  作者简介:克劳斯·迈因策尔,欧洲科学院院士,德国工程院院士,德国慕尼黑工业大学教育学院哲学与社会教席荣休教授,德国复杂性系统协会主席,主要从事哲学和复杂性系统研究。

  译 者:贾积有,北京大学教育学院。

  原发信息:《上海师范大学学报.哲学社会科学版》第20183期

  内容提要:图灵将人工智能简化为具有形式逻辑、自动证明和计算能力的符号处理系统。但是人类智能与语言理解有关。文章提出一个可以在自然界和技术上实现的关于智能度的工作定义来替代图灵测试关于机器智能的定义。自然智能在具有不同程度复杂性的神经系统和大脑的自然进化中出现。人工智能是在技术发明中发展起来的,依赖于传统图灵机计算机能力的指数增长。大脑、自动机和机器似乎是完全不同的,但它们在语言识别方面是数学等价的。具有不同复杂程度的自动机和机器的层次结构是可以区分的,因为它们可以通过适当的神经网络识别相同类型的语言。根据这样的工作定义就得到了自然和技术上的智能度。特别值得注意的是模拟神经网络,它能够像人类大脑那样具有自然语言能力,这超出了图灵可计算性。因此,需强调可通过神经形态计算体系结构实现的模拟和数字智能。但是,智能决不简单等同于大脑和计算机。模拟和数字元素也被整合到全球物联网中,以解决不同程度的智能问题。

  Since Alan M.Turing,Artificial Intelligence (AI) was reduced to symbolic AI with formal logic,automatic proving and computing.But,human intelligence has also been associated with language understanding.Instead of the Turing test,I suggest a working definition of intelligence degrees which can be realized in nature and technology.Natural intelligence emerged during the natural evolution of nervous systems and brains with different degrees of complexity.Artificial intelligence was developed in technical inventions depending on an exponential growth of computer power in tradition of the Turing machine.Brains, automata,and machines seem to be completely different,but they are mathematically equivalent with respect to language recognition.A hierarchy of automata and machines with different degrees of complexity can be distinguished.They recognize the same kinds of languages which are recognized by appropriate neural networks(and with that by corresponding biological brains with this degree of complexity).According to our working definition,we get degrees of intelligence in nature and technology.It is remarkable that analog neural networks can realize natural languages beyond Turing computability like human brains.Therefore,this paper argues for analog and digital intelligence which can be realized by neuromorphic computational architecture.But intelligence is by no means reduced to single brains and computers.Analog and digital aspects are also integrated in the global Internet o

  关键词:人工智能/可计算性/智能度/语言识别/自动驾驶/工业4.0/区块链/artificial intelligence/computability/intelligence degrees/language recognition/autonomous car driving/industry 4.0/block chain

 

  一、什么是人工智能?

  人工智能(AI)在很多人不知情的情况下统治我们的生活很久了。与我们说话的智能手机、记录我们健康数据的手表、自动安排的工作程序、自动驾驶的汽车和飞机、有自主逻辑的交通和能量系统,以及探测远方星球的机器人,都是连接成网的智能系统世界的例证。它们向我们展示了人们的日常生活是如何受到人工智能功能影响的。

  艾伦·麦席森·图灵(1912-1954)在后来以其姓命名的测试中定义一个系统是否具有智能性的判断校准为:如果该系统的回答和反应与人类的无法区别时,则该系统是智能的。①这个定义的不足之处是用人类作为测试标准。很多生物体也是智能系统的范例,它们和人类一样,在进化中出现并能够或多或少地、独立有效地解决问题。有时自然是技术发展的模板。但是信息科学和工程技术科学也经常会找到一些与自然界不同甚至更好、更高效的解决问题的方法。所以,图灵所定义的智能并不严谨,智能应是指通过技术或自然系统有效而自动地解决问题的程度或者等级。因此,笔者为一个系统的智能性提出一个暂时的工作概念,如果一个系统能独立而有效地解决问题,则它就是智能的。②一个系统的智能度由系统的独立性程度、问题的复杂程度以及解决问题过程的效率大小决定:智能度我们能够测量。据此,动物(和人类)的意识和感觉对于智能来说并非必需的。

  二、从图灵到符号主义人工智能和自动证明

  1956年,受到图灵“机器会思考吗”这一问题的启发,约翰·麦卡锡(John McCarthy)、艾伦·纽厄尔(Allen Newell)、赫伯特·西蒙(Herbert Simon)等多位权威研究人员出席了在达特茅斯举行的有关机器智能的会议。人工智能研究的第一阶段至少在于形式逻辑中探求解决问题的通用方法上取得了成就。为了证明公式的逻辑上的普遍适用性,设计了一种机械的处理方法。这种处理方法可以被计算机程序执行,也将自动定理证明引入了计算机科学。

  在实践中论证一个逻辑推论的普遍适用性可能会非常复杂。因此,1965年鲁滨逊(J.A.Robinson)提出了所谓的归结方法,借此能够推导出逻辑驳议过程的证明。③人们从对立的猜测(否定),即逻辑推论不具有普遍适用性开始;接着证明这一假设的所有可能的应用实例都将导致自相矛盾的结果。否定之否定和逻辑推论的否定是普遍有效的。鲁滨逊的归结方法使用了逻辑化简法,据此人们可以将所有逻辑公式转换成合取范式。在命题逻辑中一个合取范式由可以否定的和不可否定的命题变量(字符串)组成,这些变量由合取(∧)和析取(∨)符号连接起来。一个常规公式的组成元素被称为子句。

  对于谓词逻辑的公式来说,也有一个通用的归结过程,以便再次从一个公式的一般无效假设推导出矛盾。为此,一个谓词逻辑的公式必须被变换为一个常规形式,从它的子句中可以机械地推断出矛盾。但是,因为在谓词逻辑中(不同于命题逻辑)一般不能判断一个公式的普遍适用性,所以,有可能发生归结过程无法结束的情况。计算机程序就这样无限制地运行下去。因此,重要的是找到一些子类,其中的过程不仅有效而且能够结束。机器智能提高并加速决定过程的效率,但机器智能像人类智能一样受制于逻辑决定性的原则界限。

  在逻辑学和数学中,公式(也是字符串)是一步步被推导出来的,直到完成一个命题的论证。计算机程序的运行归根结底就像论证。程序根据确定的规则一步步推导出字符串,直到找到一个解决问题答案的形式表达。类似地,我们想象流水线上某个工件的组装过程,相应的计算机程序规定了预设的零件如何一步步地根据规则组装成这个工件。一个顾客想从一个计算机科学研究者那里得到一个能解决这样问题的程序,在一个非常复杂又不清晰的生产过程中,顾客一定想先得到这个程序能正确运行的证据。可能发生的错误是危险的,也可能带来巨大的额外费用。计算机科学研究者依据一种软件,这种软件可以自动从问题的形式特征中提取出证据。就像被投入到“数据挖掘”中寻找数据或者数据相关性的软件一样,相应的软件也被投入到证据的自动寻找中。

  这就产生了一个问题,软件自动提取证据是否可靠。在一个准确地预先确定的框架内,能够对以此为基础的软件进行可靠性论证,顾客就能确定这个计算机程序是否能够正确工作以解决问题。这种“自动证明”不仅对现代软件技术有巨大的影响,④还导致了深刻的哲学问题,即数学的思维可以被自动化到什么程度。⑤但是,这种软件的正确性论证却是由一个数学家进行的。如果我们想要使这种证明自动化,一个基本的认识论的问题就产生了:这是否将我们引入一个回归,它的终点是人类(必须是人类)?

  三、从一般问题解决器到专家系统

  人工智能研究的第一阶段大约在20世纪50年代中期到60年代中期,仍被欣快的期待所刺激着。⑥人们应用计算机来设计通用问题解决方法,但是实践的结果令人非常失望。大约在20世纪70年代中期到80年代中期,以知识为基础的专家系统进入人们视野,这是人工智能的第一次实际应用。有限而明确的人类专家的专业知识,比如工程和医学等领域的专业知识被写进专家系统,应用到日常生活领域。⑦

  以知识为基础的专家系统作为一种人工智能程序,储存相关领域的知识并根据这些知识自动进行推理,以便找出正确答案或者提供某些情形下的诊断。⑧专家系统与人类专家的不同之处在于,专家系统的知识被限制在专门的信息基础里,没有结构化的、关于世界的常识性知识。要建造一个专家系统,必须首先将专家的知识用规则表达出来,然后翻译成程序语言,并用问题解决策略进行处理。

作者简介

姓名: 克劳斯·迈因策尔 工作单位:

转载请注明来源:中国社会科学网 (责编:李秀伟)
W020180116412817190956.jpg
用户昵称:  (您填写的昵称将出现在评论列表中)  匿名
 验证码 
所有评论仅代表网友意见
最新发表的评论0条,总共0 查看全部评论

QQ图片20180105134100.jpg
jrtt.jpg
wxgzh.jpg
777.jpg
内文页广告3(手机版).jpg
中国社会科学院概况|中国社会科学杂志社简介|关于我们|法律顾问|广告服务|网站声明|联系我们
乌兰淖 工业街道 金沙县 登封县 新江路口
迈皋桥街 大环 双欣园 工商学院 西仓上村