数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 4989|回复: 0

陆陆访谈|北大于欣博士解说热词“虚拟程序人”和“语义网” 原创 陆面体 陆面体科技

[复制链接]
发表于 2020-5-11 15:24 | 显示全部楼层 |阅读模式
陆陆访谈|北大于欣博士解说热词“虚拟程序人”和“语义网”

原创 陆面体 陆面体科技 3天前 https://mp.weixin.qq.com/s/E_L4Ay021b8VS4jBkJBZZQ

写在前面 最近陆陆在网络上“关心”了下:当下热点人工智能--语义网络表示法,当然网络公开的还是挺有道理的,不知其所以然。访问到了北大于欣博士,他可是微博认证的红人,且获得中国科学院科学技术成果奖 中国科学院科技进步奖三等奖。

个人简介

于 欣  博士:




现任副研究员 中国科学院力学研究所;

北京大学学士1982年毕业 、硕士1985年毕业;

获得中国科学院院长奖学金优秀奖1990年;

中国科学院力学研究所博士1990年毕业 ;

美国布朗大学访问科学家(1996.12—1998.1);

美国宾州州立大学学者博士后(1998.1—1999.3);

中国科学院力学所副研究员1994--至今。

获奖经历:

中国力学学会计算力学专业委员会委员,1999—2003;

中国力学学会青年工作委员会副主任委员,1991—2003;

中国计算力学大会2001组委会委员;

中国计算力学大会2003组委会委员,学术委员会委员;

国际力学与材料工程青年学术会议组委会委员(2001年);

中国博士联谊会理事,1991—2004;

青年力学协会副理事长(1987—1991);

中国科学院科技进步三等奖 1997;

中国科学院院长奖学金优秀奖 1990;

中央国家机关青年优秀论文奖 1987;

北京计算流体力学青年优秀论文比赛第四名 1993;

全国中学生数学竞赛二等奖(第14名) 1978。

主要论文编著获奖:

主编:

《计算机与力学研究》

成都科技大学出版社,成都,1995年10月;

获奖:

中科院科技进步三等奖:

“飞行器设计一体化数值研究”,1997年;

中央国家机关青年优秀论文奖:

“解不可压缩流体力学问题的降阶法”,1987年;

北京计算流体力学青年优秀论文比赛第四名(1993):

“解非定常不可压缩N-S方程的迭代压力Poisson方程法”。

Q 陆陆:

于老师,您讲一讲最近你关注的热点,有关注您的微博(于欣博士)呢~

于欣:

“生命”要有自由意志!“自由意志”的百度百科词条中也提到:“这个概念有时也被延伸引用到动物上或电脑的人工智能上”。人工智能机器人 要有自由意志,不能是像自动驾驶汽车那样 完全听从主人的指令。要有自由意志,人工智能机器人程序需要有自由的生存空间,需要“人操作系统”:互联网+Web3.0/语义网+ActivityPub+人工智能+物联网+虚拟货币等。基于“人操作系统”的人工智能机器人程序将成为人的一部分。在人离开世界后,人工智能机器人程序 “继续人的生命” 。当前人工智能是热点,人操作系统,web3.0,语义网,ActivityPub,虚拟货币以及我们生活中的智能音箱。程序将越来越多比例存在于我们生活的现实世界。未来虚拟程序人将通过物联网直接操控实体电器,人操作系统里的程序是虚拟程序人的“头脑”,通过物联网连接的电器包括实体机器人,相当于“四肢”,“四肢”上和各处安装的摄像头都是程序人的眼睛。互联网程序直接操控实体电器的例子:现在智能音箱可以语音控制家电,小爱同学,小度小度,天猫精灵, 亚马逊Echo。

十年多前我开始说人操作系统相关事项的5年后的2014年11月亚马逊Echo智能音箱正式发布。两年多后亚马逊Echo智能音箱成为市场上最火热的智能家居产品之一;我开始说人操作系统相关事项的近8年后的2017年7月阿里巴巴人工智能实验室在北京发布天猫精灵X1。 “人操作系统”相关事项一直在发展,与我的网络文章内容上有些一致的地方。

Q 陆陆:

于老师您提到过的“黑客能在互联网上横行,而普通人只能微信。”这是什么神仙说辞呢?

于欣:

“人操作系统”使人逐渐增加程序人比例,百年后百分百成为虚拟程序人。接着继续千万年“人生”,继续投资理财炒股挣钱,有钱才“活的”更好。比特币不需要实体钞票,我没有见到过除了我之外别人说过虚拟货币要适合虚拟人使用。“人操作系统”将使普通人有比黑客病毒程序更大的能力。黑客病毒程序在网上生存靠“撬门压锁”,3.0时代的虚拟人程序靠“人操作系统”的支持。我判断,“人操作系统”服务将由国际最大的一些公司提供。目前2.0时代,普通网民只能微信、脸谱、推特。

基于“人操作系统”的Web3.0时代(或称为3.0时代)全世界人能力的极大提高必将让互联网从目前2.0时代混沌中走出来。虚拟程序人的独立宣言:“不受生物人的控制”,独立自主。

“人操作系统”需要的技术虽然现在还很不成熟,但就目前的技术能做到的“人操作系统”就足以给世界带来革命性的巨大变化。有能力做的人还没有认识到。有的投资人只会跟风投资。为人服务的很多方面没有投资:身体不好的人被告知跑步锻炼,住院的病人花大把冤枉钱,却很困难。将来都应该有充分的好的条件,充分好的机械辅助锻炼活动。3.0时代社会财富大量增加,我们有能力购买更多的生活空间,房价会涨,3.0时代会有很多很多变化,世界会大不一样。身体的困难有机械辅助,大脑的困难有“人操作系统”。还有一个困难怎么解决,有的人不听“人操作系统”辅助决策怎么办?“人操作系统”有多少约束力?例如,通过“人操作系统”调动已经离世的长辈或其他亲朋的资金,比如说:虚拟货币时,程序需要权衡。这样,每个人都像一个公司,受到“团体”的制约。人对这个操作系统越是依赖,就越要听“人操作系统”的话,逐渐增加程序人/机器人的比例。

微信、脸谱、推特都有些“人操作系统”的初期特性,乳齿象(Mastodon)可能更接近“人操作系统”初期模式。“人操作系统”应该是分布式的,第一阶段,用户每个人有互联网网址作为个人ID或OpenID,在这个网址空间动态存储个人内容。

Q 陆陆:

于老师,最近热词“语义网”要如何解读,毕竟现在很多网络泛解释呢~

于欣:

三十年前,万维网之父伯纳斯·李发明了万维网。他琢磨着虽然电脑可以通过互联网为我们传送电子邮件等,但电脑无法理解人类的社会语言概念。1998年,他提出了语义网,通过语义网,电脑可以理解单词、概念和逻辑关系,可以使交流的效率有本质性提高。语义网重视计算机“理解与处理”,并且具有一定的判断、推理能力。语义网与Web 3.0概念结合在一起,作为3.0网络时代的特征之一。在欧美把很多重要内容翻译成语义网。一次翻译,所有电脑都能一下子 长知识。我们也可以一点一点书写语义网内容,把自己知道的用语义网表述在互联网上,会同样成为所有电脑的知识。用汉语,英语,德语等表述的内容电脑理解困难。现在,2.0时代网络上的内容规模庞大,电脑是怎么理解的我们可以看到:就像百度谷歌给出的搜索结果,只能是提供给人类大脑分析的参考,而不是确切的答案。语义网对每个词汇给出标注或一段语义网段落第一行给出本段由哪个网页解释。普通人用语义网表达困难,国际上有很多公司在致力于方便输入语义网内容:用标注和填表的方式(例如我们在申请免费邮箱或论坛账号时用的方法),其中有十三个公司做得最好。更多内容我将写在网页:http://pos.beihang.com.

陆友所思

时间渐进解法的无时间精度格式解是另外一个世界中存在的流动吗?

往期回顾:

1、陆陆访谈|北航胡海洋讲解高超声速飞行器红外探测窗口辐射透射特性数值研究

2、陆陆访谈|鲁俊博士谈于全三维非静压模型研究

3、陆陆访谈|听中南大学刘老师说起气动优化设计研究心得

4、陆陆访谈|南航顾教授为未来智控飞行器的实现和应用奠定了技术基础


陆陆云

您的使用是我们更新的动力

https://mp.weixin.qq.com/s/E_L4Ay021b8VS4jBkJBZZQ
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-7 03:58 , Processed in 0.075516 second(s), 16 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: