南方财经 21世纪经济报道记者吴斌 上海报道
1979年，约瑟夫·希发基思（Joseph Sifakis）提出了通过对时序逻辑公式的计值来验证并发系统性质的思想，得到了一系列理论结果，包括对含有“可能”和“必然”模态算子的分支时序逻辑的不动点刻划。在此基础上，他进一步提出了带有“until”算子的分支时序逻辑来表达“公平性”。
他的这些工作与卡耐基梅隆大学教授Edmund Clarke、得克萨斯大学奥斯汀分校教授Allen Emerson同时期的工作一起，为模型检测这个研究领域的创立和发展奠定了理论基础。由于对模型检测的开创性贡献，他与Clarke、Emerson分享了2007年图灵奖。
模型检测擅长验证一个系统模型是否满足规约，我们能否将整个AI系统或其关键组件视为一个“模型”，并为其编写“永不伤害人类”或“保持公平性”这样的规约并进行验证？这条路可行吗？
2025可持续全球领导者大会于10月16日-18日在上海市黄浦区世博园区召开，2007年图灵奖得主、Verimag实验室创始人约瑟夫·希发基思在接受21世纪经济报道记者采访时表示，目前这还不是一种可行的方法。模型检测依赖于关于系统、行为的数学模型，可以进行检验，可以运用数学来分析这种行为，但对人工智能系统暂不适用。
模型检测暂无法“框住”人工智能系统
如今，模型检测已被应用于计算机硬件、软件、通信协议、安全认证协议等领域，取得了巨大的成功，成为分析、验证并发系统性质的最重要的技术，被Intel、IBM、微软等公司用于日常生产实践中。
但对于人工智能系统，希发基思表示，目前无法提取数学模型，人工智能的神经网络模仿人类大脑的神经网络，而我们无法建模，不知道如何将模型检测技术应用于人工智能系统。
在希发基思看来，模型检测暂无法“框住”人工智能系统。传统系统和基于AI的系统在可靠性方面有不可逾越的鸿沟，目前应严格应用风险管理原则，控制人工智能风险是实现社会效益的前提。
面向未来，约瑟夫·希发基思认为，需要制定全面的以人为中心的技术愿景，明确识别人工智能当前状态的弱点，动员研究，促进国际合作，共同探索新的途径。在实现这一愿景的过程中，全球标准和法规的制定将发挥核心作用，目前达成协议的可能性很小。
中国是发展人工智能的沃土
希发基思与中国渊源颇深，他亲自指导了六名中国留学生和博士后，这些学生已成为中国科学院软件所、浙江大学等单位的科研骨干。2017年8月开始, 他担任清华大学计算机学科顾问委员会委员。2019年1月开始，他出任南方科技大学杰出教授。
在他担任欧盟ARTIST嵌入式系统研究联盟科学协调人期间，极力推动欧盟与中国在该领域的合作。在他领导下，该研究联盟从2006年至2011年在中国举办了六届嵌入式系统设计讲习班，邀请国际上嵌入式系统的知名专家为国内的研究生和青年学者讲课。
此外，希发基思频繁来中国开展学术访问，在中国科学院软件所、计算所、清华大学、北京大学、西北工业大学、东北大学、哈尔滨工业大学、华东师范大学、深圳大学、华为公司等处做学术报告。
在他看来，中国比任何其他国家都更有条件发展全面的、技术的、以人为中心的人工智能愿景，这不仅是创造最强大的人工智能，而且注重服务社会，特别是确保有效的社会治理。
展望未来，希发基思表示，中国在整合创新方面已经很强大，需要在颠覆性创新方面迎头赶上，鼓励科研和产业之间的合作，创造创新生态系统。中国可以利用强大的工业基础，与需要日益智能的产品和服务的工业部门合作，如自主交通系统、智慧城市、智慧工厂和农场、智能电网和自主电信网络。
经常使用抖音商城购物的朋友对于抖音月付一定不陌生，抖音月付是属于抖音钱包针对优质受邀用户群体开放使用的一款个人消费分期产品， 抖音月付的额度怎样弄出来？抖音月付怎么提 抖音作为当今电商巨头，稳健发展，不断创新，引领了新的生活时尚。抖音月付「分付」额度作为抖音旗下重要的消费金-融产品，也在影响着年轻人的生活方式，以及购物习惯。快节奏的生活， 抖音月付是一款由抖音推出的消费分期产品，为用户提供了一种在线消费、信用消费方式。 它可以帮助用户以分期付款的方式进行消费，同时也能够帮助商家快速收回资金。那么抖音月 抖音是目前非常热门的软件了,几乎是人人都必备的软件,上至70几岁的老人,下至几岁的小孩,人人刷抖音消耗了我们大量的时间。如今抖音也和头条一样推出了借kuan软件,叫做dou分 。本文链接：对话图灵奖得主希发基思：模型检测暂无法“框住”人工智能系统http://www.sushuapos.com/show-3-157159-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。