当前在线人数12685
首页 - 分类讨论区 - 电脑网络 - 葵花宝典版 - 同主题阅读文章

此篇文章共收到打赏
0

  • 10
  • 20
  • 50
  • 100
您目前伪币余额:0
未名交友
[更多]
[更多]
人工智能弯道超车
[版面:葵花宝典][首篇作者:guvest] , 2019年05月26日23:30:51 ,5147次阅读,50次回复
来APP回复,赚取更多伪币 关注本站公众号:
[首页] [上页][下页][末页] [分页:1 2 3 ]
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 1 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: 人工智能弯道超车
发信站: BBS 未名空间站 (Sun May 26 23:30:51 2019, 美东)

日本第五代计算机什么都有。函数式,数据流,...软硬件架构都有。巨资投入AI。
路线图也是人工智能弯道超车。
然后被硅谷攒机器的屌丝赢了。microCPU大兴。OO兴起。



元岡達的《第五代计算机》中,第五代计算机系统概念图
报告提出了六种先进体系结构:1)逻辑程序机,2)函数机,3)关系代数机,4)抽象
数据类型机,5)数据流机,和6)冯诺依曼机上的创新”

--
※ 修改:·guvest 於 May 27 01:02:36 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 2 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Sun May 26 23:42:52 2019, 美东)

70年代末数学上已经宣布了符号主义ai的死刑,但日本政府居然在80年代还投入重金

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 日本第五代计算机什么都有。函数式,数据流,...软硬件架构都有。巨资投入AI。
: 路线图也是人工智能弯道超车。
: 然后被硅谷攒机器的屌丝赢了。microCPU大兴。OO兴起。



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
wdong
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 3 ]

发信人: wdong (万事休), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Sun May 26 23:47:42 2019, 美东)

这个死刑我不了解,但是我对AI的期望正是符号主义这块。
AI内部实现可以是连接主义的,但是API我觉得符号主义的更合适。
AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。

【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
: 70年代末数学上已经宣布了符号主义ai的死刑,但日本政府居然在80年代还投入重金



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 108.]

 
helpme
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 4 ]

发信人: helpme (名虚胖字满肥), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Sun May 26 23:53:25 2019, 美东)

那是因为小日本被美国人搞,日元升值导致泡沫经济破裂,不是因为搞的高科技不对。


现在床铺正在做的事情也差不多。


【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 日本第五代计算机什么都有。函数式,数据流,...软硬件架构都有。巨资投入AI。
: 路线图也是人工智能弯道超车。
: 然后被硅谷攒机器的屌丝赢了。microCPU大兴。OO兴起。



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 67.]

 
justnow
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 5 ]

发信人: justnow (阿材), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Sun May 26 23:59:55 2019, 美东)

或许底层可以用连接主义,来实现基本概念的建立。

高层用符号主义,来做概念的演算,包括基本概念的组合,比较,或者其他概念运算特
有的操作。

期望端到端完全使用连接主义会有组合爆炸和难以解释的问题。

【 在 wdong (万事休) 的大作中提到: 】
: 这个死刑我不了解,但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的,但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。




--
※ 修改:·justnow 於 May 27 00:10:22 2019 修改本文·[FROM: 40.]
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 40.]

 
hci
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 6 ]

发信人: hci (海螺子), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:05:00 2019, 美东)

看来认识到这个的人越来越多了。

这正是我司的路线,不过我们在这条路上走了已经三年多了,所以走在前列,想要合作
好快出东西的,请pm我。


【 在 wdong(万事休) 的大作中提到: 】
<br>: 这个死刑我不了解,但是我对AI的期望正是符号主义这块。
<br>: AI内部实现可以是连接主义的,但是API我觉得符号主义的更合适。
<br>: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
<br>
--
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 67.]

 
Liber8
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 7 ]

发信人: Liber8 (Space-Time continuum), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:10:21 2019, 美东)

符号主义=逻辑电路?
【 在 wdong (万事休) 的大作中提到: 】
: 这个死刑我不了解,但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的,但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。



--
※ 来源:·WWW 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 73.]

 
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 8 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:11:28 2019, 美东)

你说的不对。那时候专家系统流行。我在国内还念过费根保姆的书。另外没有人宣布过
逻辑主义的死刑。就是改了个名字,把机器验证复杂的逻辑命题不叫AI了。

另外prolog听过吗。
【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: 70年代末数学上已经宣布了符号主义ai的死刑,但日本政府居然在80年代
还投入
重金
<br>

--
※ 修改:·guvest 於 May 27 00:16:11 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 9 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:33:04 2019, 美东)

符号主义是会导致np的

60年代末人们就发现,有些简单问题不管怎么增强计算力也做不出来,而且用的步骤远
远大于人类思考

【 在 wdong (万事休) 的大作中提到: 】
: 这个死刑我不了解,但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的,但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 10 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:34:02 2019, 美东)

联结主义也不一定非要BP,BP虽然是捷径,但不一定所有问题都可以BP

【 在 justnow (阿材) 的大作中提到: 】
: 或许底层可以用连接主义,来实现基本概念的建立。
: 高层用符号主义,来做概念的演算,包括基本概念的组合,比较,或者其他概念运算特
: 有的操作。
: 期望端到端完全使用连接主义会有组合爆炸和难以解释的问题。



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 11 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:35:42 2019, 美东)

符号主义在60年代末就撞上南墙了,但是当时还不知道npc,还以为可以通过未来的计
算机速度解决问题

后来70年代发现了npc的存在,这个玩法就迅速冷下来了

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 你说的不对。那时候专家系统流行。我在国内还念过费根保姆的书。另外没有人宣布过
: 逻辑主义的死刑。就是改了个名字,把机器验证复杂的逻辑命题不叫AI了。
: 另外prolog听过吗。
: <br>: 70年代末数学上已经宣布了符号主义ai的死刑,但日本政府居然在80年代
: 还投入
: 重金
: <br>



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 12 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:38:51 2019, 美东)

我記得解釋過多次了。大規模集成電路的邏輯驗證。用的其實就是以前符號主義的遺產
。半導體設計的工具鏈裡面一直有。更別說運籌學等等了。


【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: 符号主义在60年代末就撞上南墙了,但是当时还不知道npc,还以为可以通过未
来的计
<br>: 算机速度解决问题
<br>: 后来70年代发现了npc的存在,这个玩法就迅速冷下来了
<br>
--
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 13 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:46:50 2019, 美东)

这个逻辑验证是NPC的,求不出绝对无bug的解来

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 我記得解釋過多次了。大規模集成電路的邏輯驗證。用的其實就是以前符號主義的遺產
: 。半導體設計的工具鏈裡面一直有。更別說運籌學等等了。
: <br>: 符号主义在60年代末就撞上南墙了,但是当时还不知道npc,还以为可以通过未
: 来的计
: <br>: 算机速度解决问题
: <br>: 后来70年代发现了npc的存在,这个玩法就迅速冷下来了
: <br>



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 14 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:51:30 2019, 美东)

NP問題的特殊場景的特殊解法。這就是核心技術。
最容易理解的好比電路板布線。就算是npc,不等於軟件沒有高下之分。
【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: 这个逻辑验证是NPC的,求不出绝对无bug的解来
<br>


--
※ 修改:·guvest 於 May 27 00:54:24 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 15 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 00:58:24 2019, 美东)

npc的问题一般都是采取动态规划的办法求解,以不确保最优解为代价求较优解

深度学习就是动态规划的新马甲

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: NP問題的特殊場景的特殊解法。這就是核心技術。
: 最容易理解的好比電路板布線。就算是npc,不等於軟件沒有高下之分。
: <br>: 这个逻辑验证是NPC的,求不出绝对无bug的解来
: <br>



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 16 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 01:10:26 2019, 美东)

你不理解我的意思。

例如你家周圍有100户人家,求最短路径送信。读过计算理论的人一般都會講这是
travel sales man問題。所以就說NPC,無解了。

這個作法並不是沒有意義。但是屬於不管什麼問題拿著計算器瞎按一通,然後找答案的
死記硬背的辦法。

試問人類的聚集怎麼可能沒有規律?昔孟母,擇鄰處。這是三字經裡面的話。社區的規
劃怎麼可能沒有內在規律?郵件的來往怎麼可能沒有內在規律?這些可能可以降低計算
成本的方法,計算理論課本是不會講的。

課本裡喜歡把travel sales man拿來當NPC的例子,可以推論出,NPC有解那麼tsp就有
解。然而NPC無解,遠不等於現實中的郵件投遞無法算出最優路徑。

課本上的NPC例子都是削足適履。沒有考慮別的Domain信息。



【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: npc的问题一般都是采取动态规划的办法求解,以不确保最优解为代价求
较优解
<br>: 深度学习就是动态规划的新马甲
<br>


--
※ 修改:·guvest 於 May 27 01:13:31 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 17 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 01:12:42 2019, 美东)

prolog之类的是精确推理,只要定稍微复杂点的rule就会卡在指数计算时间上

npc是求不出精确解的,除非问题规模特别小,或者你退一步求次优

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 你不理解我的意思。
: 例如你家周圍有100户人家,求最短路径送信。读过计算理论的人一般都會講这是
: travel sales man問題。所以就說NPC,無解了。
: 這個作法並不是沒有意義。但是屬於不管什麼問題拿著計算器瞎按一通,然後找答案的
: 死記硬背的辦法。
: 試問人類的聚集怎麼可能沒有規律?昔孟母,擇鄰處。這是三字經裡面的話。
: 課本裡喜歡把travel sales man拿來當NPC的例子,可以推論出,NPC有解那麼tsp就有
: 解。然而NPC無解,遠不等於現實中的郵件投遞無法算出最優路徑。
: 課本上的NPC例子都是削足適履。沒有考慮別的Domain信息。
: <br>: npc的问题一般都是采取动态规划的办法求解,以不确保最优解为代价求
: ...................


--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 18 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 01:14:22 2019, 美东)

Domain knowledge可以降低問題模型的維度。這是第一。
第二,求次優這個名字本身就很扯。次優解往往不如說是別的性能指標下的最優。就是
改模型。


【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: prolog之类的是精确推理,只要定稍微复杂点的rule就会卡在指数计算时
间上
<br>: npc是求不出精确解的,除非问题规模特别小,或者你退一步求次优
<br>


--
※ 修改:·guvest 於 May 27 01:16:31 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

 
xiaoju
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 19 ]

发信人: xiaoju (可爱的龙猫), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 01:17:40 2019, 美东)

次优显然不强壮

神经网络的最优解是上帝的全知全能参数,只不过你没有办法在有限时间内算出来

次优就是所谓的top1误差30%之类的东西

【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: Domain knowledge可以降低問題模型的維度。這是第一。
: 第二,求次優這個名字本身就很扯。次優解往往更強壯。不如說是別的性能指標下的最
: 優。就是改模型。
: <br>: prolog之类的是精确推理,只要定稍微复杂点的rule就会卡在指数计算时
: 间上
: <br>: npc是求不出精确解的,除非问题规模特别小,或者你退一步求次优
: <br>



--

※ 来源:·BBS 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 113.]

 
guvest
进入未名形象秀
我的博客
[回复] [回信给作者] [本篇全文] [本讨论区] [修改] [删除] [转寄] [转贴] [收藏] [举报] [ 20 ]

发信人: guvest (我爱你老婆Anna), 信区: Programming
标  题: Re: 人工智能弯道超车
发信站: BBS 未名空间站 (Mon May 27 01:24:55 2019, 美东)

Npc 跟神經網絡不是一回事。

我想說的就是,幾十個小球桌上亂滾。你用量子力學無法算出它們的軌跡。量子力學過
度到宏觀現象這一步,在具体計算上是難以做到的。

但是假設都是剛體,然後用牛頓力學也许就可以解決這個問題。


【 在 xiaoju(可爱的龙猫) 的大作中提到: 】
<br>: 次优显然不强壮
<br>: 神经网络的最优解是上帝的全知全能参数,只不过你没有办法在有限时间
内算出来
<br>: 次优就是所谓的top1误差30%之类的东西
<br>

--
※ 修改:·guvest 於 May 27 01:29:30 2019 修改本文·[FROM: 47.]
※ 来源:· 未名空间站 网址:mitbbs.com 移动:在应用商店搜索未名空间·[FROM: 47.]

[首页] [上页][下页][末页] [分页:1 2 3 ]
[快速返回] [ 进入葵花宝典讨论区] [返回顶部]
回复文章
标题:
内 容:

未名交友
将您的链接放在这儿

友情链接


 

Site Map - Contact Us - Terms and Conditions - Privacy Policy

版权所有,未名空间(mitbbs.com),since 1996