刚才和mypine兄聊了半天,概要如下:
mypine: 呵呵,发觉现在的应用多是基于符号的呀。
creation_zy: 符号和连接——似乎就这两种嘛
mypine: 我比较认同连接。
creation_zy: 但是连接不好描述...
mypine: 嗯,要将神经网络这之类的玩意儿弄好的确不容易。
mypine: 这里面有一个非常有趣的概念“涌现”,我对它非常敏感。是复杂性科学里面的概念。
creation_zy: 我觉得我们的思维是同时运行在符号和连接这两个层面上的,如果要经过语言神经中枢,那么必然是基于符号的。
mypine: 同意你的观点。不应该用“思维”,这个词容易给人造人理性主义的印象。
creation_zy: 意识?
mypine: 我也找不到什么词语,意识太低级了吧?
mypine: http://www.bookhome.net/baike/other/fuza/ 这儿有一本介绍 “复杂”性科学的书。
creation_zy: 关于意识的运作...读什么会有帮助呢?
mypine: 主要是在概念上与主流保持一致,这样才能在讨论的时候,有共同的基质。你说意识,他说意向,其实大家可能是一个意思,在概念上统一了,才能有得讨论,有得讨论,也许可以有些进步。
mypine: 嗯,记得笛卡尔的那个难题么?
mypine: 哟,看见喜欢的姑娘,我的神经经过了怎么样的运作,才产生的“喜悦”这一感觉呢? 这就是他的难题的一个例子。
creation_zy: 如果用潜意识来解释的话,只要很少几步就可以了
mypine: 实际上他的难题就是你说的意识的“运作”的问题。
creation_zy: 过去的经验改变了她在你心中的形象,一旦你分辨出是“她”,好感就自然升起——条件反射一样。我觉得这是识别问题,不是思维过程
mypine: 呵呵,难道“喜悦”是天生的不成? 识别? 在识别之前,“喜悦”这一意像首先得存在呀,它又是如何产生呢? 产生之后,一个刺激为什么唤醒这种意像呢?
creation_zy: (引述)我认为一切形式的生命都在追求“乐”而厌恶“苦”...生命的形式越高等,由它们派生出来的高级感觉也就越多。
creation_zy: 如上所述,“喜悦”是一种高级的“乐”。它的形成,有着较为复杂的原因,但是,一旦形成,就成为了一种模式。“她”和“喜悦”有正关联——记忆库中存放的无非就是这些东西。
mypine: 关于“苦”与“乐”的定义也跟我说那的“喜悦”一样,是需要追根溯源的。 仿佛在你这儿,她们俩具有某种先验性。
creation_zy: 是啊,如果没有最基本的分辨能力,生命体是什么也做不了的。苦和乐应该是最原始的感受了——绝对先验。
mypine: 呵呵,这一点不敢苟同。难怪你这么轻松,原来给自己找了一个上帝在这儿:) 这样的话,很多问题在你这儿根本就不是问题了,如此这般的推理的话,你的关于感觉的模拟也就可理解了。
creation_zy: 老兄,这可不是什么无因果啊。《楞伽经》中详细的论述过现识以及分别事识的形成原因
creation_zy: 我可不想让我的程序模拟生命形成的完整过程,只是想让它干活——还得干得像个人样
mypine: 绝对先验意味着他们是超越一切的存在,包括这个宇宙。这是你的认同?
creation_zy: 其实,这里的苦、乐可以被认为是奖惩机制的具体体现。如果对任何行为、任何觉受都没有分辨,那就不可能有动力了。
mypine: “其实,这里的苦、乐可以被认为是奖惩机制的具体体现”这只不过说的是苦/乐在我们这个世界的表现而已,与我刚才说的那个问题无关。
mypine: 嗯,你对她们先验的存在只是为了经济上的需要即“那就不可能有动力了”。
creation_zy: 想不到别的动力了
mypine: 不是需要别的动力的问题,而是你认为,我们“应该”需要动力。
creation_zy: 如果没有内在的动力,那么AI程序和其他“按计划执行”的程序就没有任何区别了
mypine: 呵呵,你还是没有明白我的意思
creation_zy: 如果程序中用一个Timer定期触发一些行为——那太没意思了。还有,就是讨论中涉及到的一切心理觉受,都可以用原始感觉的派生来解释
mypine: 那也需要原始感觉如何形成的机制呀。
creation_zy: 老兄,我们不是在制造一个哲学家
mypine: 对AI我的看法是,建立在联结主义之上的符号主义。
mypine: 呵呵,但是没办法,只能这样,AI的问题讨论下去本身也会深yan到哲学与伦理学/心理学上面去的。
mypine: 特别是在讨论智能这一模糊概念本身的时候。除非像符号主义那种天生的乐观态度。
creation_zy: 呵呵
又发现了一个好东东,研究中
http://www.cs.concordia.ca/~haarslev/racer/
RACER is a Semantic Web inference engine for
developing ontologies
query answering over RDFdo
cuments and wrt. specified RDFS/DAML and OWL ontologies
registering permanent queries (e.g., for building ado
cument management system) with notification of new results if available (publish-subscribe facility)
RACER is a Description Logic reasoning system with support for
TBoxes with generalized concept inclusions
ABoxes
Concretedo
mains (e.g., linear (in-)equalities over the reals)
RACER is a prover for modal logic Km with graded modalities and axioms
天!发现了一个[red]
宝藏[/red]: http://citeseer.nj.nec.com/directory.html
http://citeseer.nj.nec.com/41420.html ——大名鼎鼎的《智能不需要推理》!
可惜全都是E文的——看来要努力学习了