※ 引述《HYL (UNEMPLOYED)》之铭言： : ※ 引述《reader (读者)》之铭言： : : 这真是要叹气，我这十年来一直在做的东西，就是我那位学弟去美国读 : : 大学之前寄来的笔记里的东西。那时他宣告不搞 CS 了，留了几篇笔记 : : 给几位比较能看得懂他在写什麽的人。 : : 他在一篇笔记中，阐明现今物件导向理论的基本问题，用数学观点说明 : : 软体必须是有机动态的结合，才能避免软体发展极限的问题，并给定出 : : 一些可能的方法。 : 可否请大学长把这点说明的更详细点吗？ 其实是重构成本的问题，软体在变动时，需要的人力资源，如果跟软体 规模有关，那麽人类必将面临软体的整合极限。 这详细推衍会很复杂，他也没说，当然可以自己分析，就不多说，但是 主要有几个关键点，就是程式单元与程式单元之间的连结与中间层，能 不能建立起自动化的构造机制。 他写了几个可能性。大致上就是几种简单模型和机制。在 2000 年时， 我和唐整理出基於语言学和生物机制的一个较完整模型。後来唐那边又 更进一步利用德希达的後现代主义语言哲学的论点，建构出更佳模型， 不过，那个模型只怕有明显的效能问题。但模型够漂亮是没话说，这点 我比不上。 我这边则是利用早期他对我和刘讨论 OO 架构问题时所提出来的建议， 做了工程上的优化模型，应该比较有实作优势。 : 最近在上AI，教授发的一篇 A Methodology and Modelling Technique : for Systems of BDI Agents : 就是把AI应用在 OO Modeling上，老实讲这篇我看不大懂，大概还要再 : 多看几篇相关的 paper才能推测出来 BDI倒底是什麽；不过从这篇 paper : 里面举的Air Traffice Management System来看，若能搭配上logic reasoning : 那这个价构的确比现有的OO强大多了。 : 给定initial state - constraint - goal state - operator，透过logic : reasoning 几个instance自己就可以plan产生出来，真是满可怕的。 : 当然受现於现有的 logic reasoning technique，在有解的状况下是NP， : 无解的状况下是 intractable problem，要把这架构套用到现有系统上 : 仍有一段路要走。 这也是唐的架构的一个明显问题，单的笔记也没多写，这类的模型不管 怎麽做，我想都不应该脱离现实太多，如果计算能力的需求上昇太过於 剧烈，那麽除非是量子电脑可以有效解决，不然反而只能变成个别程式 单元，却做不成软体整合的巨观架构，特别是在规模可能要扩及全球的 大型网路架构，更是如此。 这是我一贯反对用 logic reasoning 来做的基本原因。以工程观点， 效能一定是要严加考量的，特别是我想做成先进网路架构而不是个别的 系统架构，更不希望让 Cisco 统治世界。 : 单当年是十八岁出国的吗？我以为他跳级很多次，你前面说的他小学的 : 故事时，当时我姐跟他是国语实小的同学，同班只有一年，他又跳级跳 : 走了。 嗯，如果只跳一级，那就是十七，跳两级是十六，跳两级外加早读是 十五，不过想想比较可能是只跳一级吧。 : 刚看了一下他的网页，发觉他又跳回CS了，应该是今年可以拿到 PhD : 网页上放了堆看不懂的AI paper，看来又要看到日出了.... 喔喔，这应该算是好消息吧。不管他做什麽，都希望他能安心研究。 --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 61.222.173.29