g****t
发帖数: 31659 | 1 日本第五代计算机什么都有。函数式，数据流，...软硬件架构都有。巨资投入AI。
路线图也是人工智能弯道超车。
然后被硅谷攒机器的屌丝赢了。microCPU大兴。OO兴起。
“
元岡達的《第五代计算机》中，第五代计算机系统概念图
报告提出了六种先进体系结构：1）逻辑程序机，2）函数机，3）关系代数机，4）抽象
数据类型机，5）数据流机，和6）冯诺依曼机上的创新” |
x****u
发帖数: 44466 | 2 70年代末数学上已经宣布了符号主义ai的死刑，但日本政府居然在80年代还投入重金
【在 g****t 的大作中提到】
: 日本第五代计算机什么都有。函数式，数据流，...软硬件架构都有。巨资投入AI。
: 路线图也是人工智能弯道超车。
: 然后被硅谷攒机器的屌丝赢了。microCPU大兴。OO兴起。
: “
: 元岡達的《第五代计算机》中，第五代计算机系统概念图
: 报告提出了六种先进体系结构：1）逻辑程序机，2）函数机，3）关系代数机，4）抽象
: 数据类型机，5）数据流机，和6）冯诺依曼机上的创新”
|
w***g
发帖数: 5958 | 3 这个死刑我不了解，但是我对AI的期望正是符号主义这块。
AI内部实现可以是连接主义的，但是API我觉得符号主义的更合适。
AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
【在 x****u 的大作中提到】
: 70年代末数学上已经宣布了符号主义ai的死刑，但日本政府居然在80年代还投入重金
|
h****e
发帖数: 2125 | 4 那是因为小日本被美国人搞，日元升值导致泡沫经济破裂，不是因为搞的高科技不对。
现在床铺正在做的事情也差不多。
【在 g****t 的大作中提到】
: 日本第五代计算机什么都有。函数式，数据流，...软硬件架构都有。巨资投入AI。
: 路线图也是人工智能弯道超车。
: 然后被硅谷攒机器的屌丝赢了。microCPU大兴。OO兴起。
: “
: 元岡達的《第五代计算机》中，第五代计算机系统概念图
: 报告提出了六种先进体系结构：1）逻辑程序机，2）函数机，3）关系代数机，4）抽象
: 数据类型机，5）数据流机，和6）冯诺依曼机上的创新”
|
j*****w
发帖数: 1 | 5 或许底层可以用连接主义，来实现基本概念的建立。
高层用符号主义，来做概念的演算，包括基本概念的组合，比较，或者其他概念运算特
有的操作。
期望端到端完全使用连接主义会有组合爆炸和难以解释的问题。
【在 w***g 的大作中提到】
: 这个死刑我不了解，但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的，但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
|
h*i
发帖数: 3446 | 6 看来认识到这个的人越来越多了。
这正是我司的路线，不过我们在这条路上走了已经三年多了，所以走在前列，想要合作
好快出东西的，请pm我。
: 这个死刑我不了解，但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的，但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
【在 w***g 的大作中提到】
: 这个死刑我不了解，但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的，但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
|
L****8
发帖数: 3938 | 7 符号主义=逻辑电路？
【在 w***g 的大作中提到】
: 这个死刑我不了解，但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的，但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
|
g****t
发帖数: 31659 | 8 你说的不对。那时候专家系统流行。我在国内还念过费根保姆的书。另外没有人宣布过
逻辑主义的死刑。就是改了个名字，把机器验证复杂的逻辑命题不叫AI了。
另外prolog听过吗。
: 70年代末数学上已经宣布了符号主义ai的死刑，但日本政府居然在80年代
还投入
重金
【在 x****u 的大作中提到】
: 70年代末数学上已经宣布了符号主义ai的死刑，但日本政府居然在80年代还投入重金
|
x****u
发帖数: 44466 | 9 符号主义是会导致np的
60年代末人们就发现，有些简单问题不管怎么增强计算力也做不出来，而且用的步骤远
远大于人类思考
【在 w***g 的大作中提到】
: 这个死刑我不了解，但是我对AI的期望正是符号主义这块。
: AI内部实现可以是连接主义的，但是API我觉得符号主义的更合适。
: AI的一个拦路虎是各种模块如何在不需要整体重新训练的前提下互联。
|
x****u
发帖数: 44466 | 10 联结主义也不一定非要BP，BP虽然是捷径，但不一定所有问题都可以BP
【在 j*****w 的大作中提到】
: 或许底层可以用连接主义，来实现基本概念的建立。
: 高层用符号主义，来做概念的演算，包括基本概念的组合，比较，或者其他概念运算特
: 有的操作。
: 期望端到端完全使用连接主义会有组合爆炸和难以解释的问题。
|
|
|
x****u
发帖数: 44466 | 11 符号主义在60年代末就撞上南墙了，但是当时还不知道npc，还以为可以通过未来的计
算机速度解决问题
后来70年代发现了npc的存在，这个玩法就迅速冷下来了
【在 g****t 的大作中提到】
: 你说的不对。那时候专家系统流行。我在国内还念过费根保姆的书。另外没有人宣布过
: 逻辑主义的死刑。就是改了个名字，把机器验证复杂的逻辑命题不叫AI了。
: 另外prolog听过吗。
:
:
: 70年代末数学上已经宣布了符号主义ai的死刑，但日本政府居然在80年代
: 还投入
: 重金
:
|
g****t
发帖数: 31659 | 12 我記得解釋過多次了。大規模集成電路的邏輯驗證。用的其實就是以前符號主義的遺產
。半導體設計的工具鏈裡面一直有。更別說運籌學等等了。
: 符号主义在60年代末就撞上南墙了，但是当时还不知道npc，还以为可以通过未
来的计
: 算机速度解决问题
: 后来70年代发现了npc的存在，这个玩法就迅速冷下来了
【在 x****u 的大作中提到】
: 符号主义在60年代末就撞上南墙了，但是当时还不知道npc，还以为可以通过未来的计
: 算机速度解决问题
: 后来70年代发现了npc的存在，这个玩法就迅速冷下来了
|
x****u
发帖数: 44466 | 13 这个逻辑验证是NPC的，求不出绝对无bug的解来
【在 g****t 的大作中提到】
: 我記得解釋過多次了。大規模集成電路的邏輯驗證。用的其實就是以前符號主義的遺產
: 。半導體設計的工具鏈裡面一直有。更別說運籌學等等了。
:
:
: 符号主义在60年代末就撞上南墙了，但是当时还不知道npc，还以为可以通过未
: 来的计
:
: 算机速度解决问题
:
: 后来70年代发现了npc的存在，这个玩法就迅速冷下来了
:
|
g****t
发帖数: 31659 | 14 NP問題的特殊場景的特殊解法。這就是核心技術。
最容易理解的好比電路板布線。就算是npc,不等於軟件沒有高下之分。
: 这个逻辑验证是NPC的，求不出绝对无bug的解来
【在 x****u 的大作中提到】
: 这个逻辑验证是NPC的，求不出绝对无bug的解来
|
x****u
发帖数: 44466 | 15 npc的问题一般都是采取动态规划的办法求解，以不确保最优解为代价求较优解
深度学习就是动态规划的新马甲
【在 g****t 的大作中提到】
: NP問題的特殊場景的特殊解法。這就是核心技術。
: 最容易理解的好比電路板布線。就算是npc,不等於軟件沒有高下之分。
:
:
: 这个逻辑验证是NPC的，求不出绝对无bug的解来
:
|
g****t
发帖数: 31659 | 16 你不理解我的意思。
例如你家周圍有100户人家，求最短路径送信。读过计算理论的人一般都會講这是
travel sales man問題。所以就說NPC，無解了。
這個作法並不是沒有意義。但是屬於不管什麼問題拿著計算器瞎按一通，然後找答案的
死記硬背的辦法。
試問人類的聚集怎麼可能沒有規律？昔孟母，擇鄰處。這是三字經裡面的話。社區的規
劃怎麼可能沒有內在規律？郵件的來往怎麼可能沒有內在規律？這些可能可以降低計算
成本的方法，計算理論課本是不會講的。
課本裡喜歡把travel sales man拿來當NPC的例子，可以推論出，NPC有解那麼tsp就有
解。然而NPC無解，遠不等於現實中的郵件投遞無法算出最優路徑。
課本上的NPC例子都是削足適履。沒有考慮別的Domain信息。
: npc的问题一般都是采取动态规划的办法求解，以不确保最优解为代价求
较优解
: 深度学习就是动态规划的新马甲
【在 x****u 的大作中提到】
: npc的问题一般都是采取动态规划的办法求解，以不确保最优解为代价求较优解
: 深度学习就是动态规划的新马甲
|
x****u
发帖数: 44466 | 17 prolog之类的是精确推理，只要定稍微复杂点的rule就会卡在指数计算时间上
npc是求不出精确解的，除非问题规模特别小，或者你退一步求次优
【在 g****t 的大作中提到】
: 你不理解我的意思。
: 例如你家周圍有100户人家，求最短路径送信。读过计算理论的人一般都會講这是
: travel sales man問題。所以就說NPC，無解了。
: 這個作法並不是沒有意義。但是屬於不管什麼問題拿著計算器瞎按一通，然後找答案的
: 死記硬背的辦法。
: 試問人類的聚集怎麼可能沒有規律？昔孟母，擇鄰處。這是三字經裡面的話。社區的規
: 劃怎麼可能沒有內在規律？郵件的來往怎麼可能沒有內在規律？這些可能可以降低計算
: 成本的方法，計算理論課本是不會講的。
: 課本裡喜歡把travel sales man拿來當NPC的例子，可以推論出，NPC有解那麼tsp就有
: 解。然而NPC無解，遠不等於現實中的郵件投遞無法算出最優路徑。
|
g****t
发帖数: 31659 | 18 Domain knowledge可以降低問題模型的維度。這是第一。
第二，求次優這個名字本身就很扯。次優解往往不如說是別的性能指標下的最優。就是
改模型。
: prolog之类的是精确推理，只要定稍微复杂点的rule就会卡在指数计算时
间上
: npc是求不出精确解的，除非问题规模特别小，或者你退一步求次优
【在 x****u 的大作中提到】
: prolog之类的是精确推理，只要定稍微复杂点的rule就会卡在指数计算时间上
: npc是求不出精确解的，除非问题规模特别小，或者你退一步求次优
|
x****u
发帖数: 44466 | 19 次优显然不强壮
神经网络的最优解是上帝的全知全能参数，只不过你没有办法在有限时间内算出来
次优就是所谓的top1误差30%之类的东西
【在 g****t 的大作中提到】
: Domain knowledge可以降低問題模型的維度。這是第一。
: 第二，求次優這個名字本身就很扯。次優解往往不如說是別的性能指標下的最優。就是
: 改模型。
:
:
: prolog之类的是精确推理，只要定稍微复杂点的rule就会卡在指数计算时
: 间上
:
: npc是求不出精确解的，除非问题规模特别小，或者你退一步求次优
:
|
g****t
发帖数: 31659 | 20 Npc 跟神經網絡不是一回事。
我想說的就是，幾十個小球桌上亂滾。你用量子力學無法算出它們的軌跡。量子力學過
度到宏觀現象這一步，在具体計算上是難以做到的。
但是假設都是剛體，然後用牛頓力學也许就可以解決這個問題。
: 次优显然不强壮
: 神经网络的最优解是上帝的全知全能参数，只不过你没有办法在有限时间
内算出来
: 次优就是所谓的top1误差30%之类的东西
【在 x****u 的大作中提到】
: 次优显然不强壮
: 神经网络的最优解是上帝的全知全能参数，只不过你没有办法在有限时间内算出来
: 次优就是所谓的top1误差30%之类的东西
|
|
|
R******e
发帖数: 623 | 21 70年代末啥数学结果宣布符号AI死刑？愿闻其详。
【在 x****u 的大作中提到】
: 70年代末数学上已经宣布了符号主义ai的死刑，但日本政府居然在80年代还投入重金
|
x****u
发帖数: 44466 | 22 解人工智能问题的关键是不能用确定性方法，别的无所谓，反正是实验科学
【在 g****t 的大作中提到】
: Npc 跟神經網絡不是一回事。
: 我想說的就是，幾十個小球桌上亂滾。你用量子力學無法算出它們的軌跡。量子力學過
: 度到宏觀現象這一步，在具体計算上是難以做到的。
: 但是假設都是剛體，然後用牛頓力學也许就可以解決這個問題。
:
:
: 次优显然不强壮
:
: 神经网络的最优解是上帝的全知全能参数，只不过你没有办法在有限时间
: 内算出来
:
: 次优就是所谓的top1误差30%之类的东西
:
|
x****u
发帖数: 44466 | 23 人类是70年代末才认识NPC存在的，之前一直认为只要计算机速度足够快就能解一切难题
某人不是说了句：算法+数据结构=程序？
如果没有NPC，那还真是这样
【在 R******e 的大作中提到】
: 70年代末啥数学结果宣布符号AI死刑？愿闻其详。
|
R******e
发帖数: 623 | 24 啥是概念？
【在 j*****w 的大作中提到】
: 或许底层可以用连接主义，来实现基本概念的建立。
: 高层用符号主义，来做概念的演算，包括基本概念的组合，比较，或者其他概念运算特
: 有的操作。
: 期望端到端完全使用连接主义会有组合爆炸和难以解释的问题。
|
j*****w
发帖数: 1 | 25 就是 concept 最传统的意思，将大量无结构的数据符号化，标签化的结果。
比如从一百万像素里认得猫，就是从数据中提取出“猫”的概念。
但是光有基本的概念还不够，我猜可能需要有一套建立在概念上的运算法则，使得不同
的概念可以相互运算得出结果。把它叫 concept calculus 吧。
类似于四则运算或者布尔逻辑，只不过在这套 concept calculus 里，operand 是概念。
【在 R******e 的大作中提到】
: 啥是概念？
|
R******e
发帖数: 623 | 26 是72年还是71年吧，Cook的结果。
但是这个是宣布符号AI死刑吗？
难题
【在 x****u 的大作中提到】
: 人类是70年代末才认识NPC存在的，之前一直认为只要计算机速度足够快就能解一切难题
: 某人不是说了句：算法+数据结构=程序？
: 如果没有NPC，那还真是这样
|
x****u
发帖数: 44466 | 27 判了很多理论死刑，类似于1900年物理大厦旁边的两朵小乌云把一切掀翻了
高德纳敢用7卷TAOCP总结一切CS程序设计技巧，也是过于乐观了。现在看来不但这书必
然烂尾，而且漏掉的新东西实在太多
【在 R******e 的大作中提到】
: 是72年还是71年吧，Cook的结果。
: 但是这个是宣布符号AI死刑吗？
:
: 难题
|
R******e
发帖数: 623 | 28 2014年还听一个华裔澳大利亚学者讲他SAT的结果，当然他是纯理论出身。
【在 x****u 的大作中提到】
: 判了很多理论死刑，类似于1900年物理大厦旁边的两朵小乌云把一切掀翻了
: 高德纳敢用7卷TAOCP总结一切CS程序设计技巧，也是过于乐观了。现在看来不但这书必
: 然烂尾，而且漏掉的新东西实在太多
|
x****u
发帖数: 44466 | 29 70年代初的时候ACM认为计算机科学大厦已经基本完成了，哪想到现在出来了那么多新
问题，而且绝大部分连解法的边也摸不到
码农这个高薪行业的出现就来自于TAOCP框架的失败
【在 R******e 的大作中提到】
: 2014年还听一个华裔澳大利亚学者讲他SAT的结果，当然他是纯理论出身。
|
R******e
发帖数: 623 | 30 嗯嗯，我还是没听明白，真太笨了。旁边有一个台湾美女的头像，我去看看美女。
【在 j*****w 的大作中提到】
: 就是 concept 最传统的意思，将大量无结构的数据符号化，标签化的结果。
: 比如从一百万像素里认得猫，就是从数据中提取出“猫”的概念。
: 但是光有基本的概念还不够，我猜可能需要有一套建立在概念上的运算法则，使得不同
: 的概念可以相互运算得出结果。把它叫 concept calculus 吧。
: 类似于四则运算或者布尔逻辑，只不过在这套 concept calculus 里，operand 是概念。
|
|
|
R******e
发帖数: 623 | 31 次优，top1 30%咋来的？
【在 x****u 的大作中提到】
: 次优显然不强壮
: 神经网络的最优解是上帝的全知全能参数，只不过你没有办法在有限时间内算出来
: 次优就是所谓的top1误差30%之类的东西
|
x****u
发帖数: 44466 | 32 打个比方
【在 R******e 的大作中提到】
: 次优，top1 30%咋来的？
|
R******e
发帖数: 623 | 33 嗯嗯，旁边那个台湾美女的确吸引人。
【在 x****u 的大作中提到】
: 打个比方
|
R******e
发帖数: 623 | 34 Godel关于证明长度的信就认识少np问题了，
https://rjlipton.wordpress.com/the-gdel-letter/
这个小丫头，你觉得漂亮吗？是不是开了眼角？
http://www.jiaoyou8.com/friends_info?action=user_info&login_id=%CC%EC%CA%B9%D5Z%D1%D4
难题
【在 x****u 的大作中提到】
: 人类是70年代末才认识NPC存在的，之前一直认为只要计算机速度足够快就能解一切难题
: 某人不是说了句：算法+数据结构=程序？
: 如果没有NPC，那还真是这样
|
x****u
发帖数: 44466 | |
R******e
发帖数: 623 | 36 这句话的意思等于说：不是计算长度，而是计算所需计算长度。
对了，你觉得那小丫头咋样？漂亮吗？是不是开了眼角？
【在 x****u 的大作中提到】
: 不是证明长度，而是证明所需计算长度
|
T*******x
发帖数: 8565 | 37 这个是有意义的。
【在 g****t 的大作中提到】
: 你不理解我的意思。
: 例如你家周圍有100户人家，求最短路径送信。读过计算理论的人一般都會講这是
: travel sales man問題。所以就說NPC，無解了。
: 這個作法並不是沒有意義。但是屬於不管什麼問題拿著計算器瞎按一通，然後找答案的
: 死記硬背的辦法。
: 試問人類的聚集怎麼可能沒有規律？昔孟母，擇鄰處。這是三字經裡面的話。社區的規
: 劃怎麼可能沒有內在規律？郵件的來往怎麼可能沒有內在規律？這些可能可以降低計算
: 成本的方法，計算理論課本是不會講的。
: 課本裡喜歡把travel sales man拿來當NPC的例子，可以推論出，NPC有解那麼tsp就有
: 解。然而NPC無解，遠不等於現實中的郵件投遞無法算出最優路徑。
|
T*******x
发帖数: 8565 | 38 我觉得第一句是对的。后面的就看不到路了。
念。
【在 j*****w 的大作中提到】
: 就是 concept 最传统的意思，将大量无结构的数据符号化，标签化的结果。
: 比如从一百万像素里认得猫，就是从数据中提取出“猫”的概念。
: 但是光有基本的概念还不够，我猜可能需要有一套建立在概念上的运算法则，使得不同
: 的概念可以相互运算得出结果。把它叫 concept calculus 吧。
: 类似于四则运算或者布尔逻辑，只不过在这套 concept calculus 里，operand 是概念。
|
C*****l
发帖数: 1 | 39 日本还是因为其他原因失败的，牛逼的国家是哪个方向都投资，一个不拉下 |
l*********s
发帖数: 5409 | 40 re, 根本原因是日本严重依赖美国市场，扛不住美国的制裁。技术层面只是皮毛罢了。
【在 C*****l 的大作中提到】
: 日本还是因为其他原因失败的，牛逼的国家是哪个方向都投资，一个不拉下
|
|
|
z****n
发帖数: 12 | 41 人脑就是一个端到端的联结主义……但问题是人脑的众多机理根本没投入相应的人力去
研究，目前也没有足够的手段来研究这个黑箱
当前的AI还是行为主义至上 |
h**c
发帖数: 1979 | |
h**********9
发帖数: 1 | 43 确实
【在 z****n 的大作中提到】
: 人脑就是一个端到端的联结主义……但问题是人脑的众多机理根本没投入相应的人力去
: 研究，目前也没有足够的手段来研究这个黑箱
: 当前的AI还是行为主义至上
|
L****8
发帖数: 3938 | 44 FPGA就是连接主义 但是不用bp算法
【在 z****n 的大作中提到】
: 人脑就是一个端到端的联结主义……但问题是人脑的众多机理根本没投入相应的人力去
: 研究，目前也没有足够的手段来研究这个黑箱
: 当前的AI还是行为主义至上
|
R******e
发帖数: 623 | 45 FPGA是组合逻辑，尽管所谓的连接主义看起来像组合逻辑，但不一样。
【在 L****8 的大作中提到】
: FPGA就是连接主义 但是不用bp算法
|
C*****l
发帖数: 1 | 46 靠投机一个技术方向成功，弯道超车基本不可能。超级大国都是每个方面都押宝，你这
个好人家马上也来跟上。最后是拼工程能力，管理能力。 |
h**********9
发帖数: 1 | 47 说白了，还是烧钱，靠经济科技教育实力。
【在 C*****l 的大作中提到】
: 靠投机一个技术方向成功，弯道超车基本不可能。超级大国都是每个方面都押宝，你这
: 个好人家马上也来跟上。最后是拼工程能力，管理能力。
|
