|

楼主 |
发表于 2020-6-2 21:14:48
|
显示全部楼层
lizhou 于 2003-3-9 15:00
再说两句,若有冒犯,请海涵
相对化归,不可解度等等的研究都牵涉到oracle(不是数据库的oracle,而是所谓神谕(详细内容请看有关可计算性或不可计算性理论)).所谓形式化的界限早就有定论了.至于人工智能,如果不是强人工智能(像MINSKY),那么就是对某种知识的形式化,也在形式化的界限之内.强人工智能就是说ORACLE 也可以形式化,或者ORACLE 不存在(这个跟一些数学结果矛盾).是否存在类似ORACLE的集?不难举出例子.这就是强人工智能的结局
我实在精力有限,上网主要为放松,不愿意多动脑子,多看(为节省一点精力).如果一两个月后有时间,我愿意稍微详细讨论一下有关演绎,归纳,方法的问题,就权当表示一点不同的看法吧.
上面是三月份说的话,欠债还钱。懒散得很,真想打折扣或干脆赖帐算了。
关于归纳推理,CARNAP曾想用归纳逻辑建立大逻辑体系,可惜没法给归纳推理赋予一个可以与实际相符的测度而未成功。后来其准弟子solomonoff用准测度来研究归纳推理,解决了一些问题。这一理论是和上个世纪关于随机性的理论密切相关的。是很具备哲学意味而又奠基在数学理论(概率,可计算理论,信息论)基础之上的,应该没有疑问。相应的,利用随机性理论也给出了occam剃刀原理的数学形式(这说法不十分准确)。baysian推理也利用准测度和随机性理论给予处理.具体内容可以参看an introduction to kolmogorov complexity(by liming),中文节译本是描述复杂性,科学出版社出版,哪位有兴趣,可以对照朱晓农君关于归纳推理(也可以包括他理解的abduction)来看看。如果在这个领域中一些已经有定论的问题上大胆说话或大胆假设,会叫这个领域的专家认为作自然语言研究的人个性太强或台大胆。当然我也不是这方面的专家,只是因为思考一些问题而牵涉到随机性与可计算性关系的问题,猜测到一些结果,去年(大约春夏)向一位在这方面研究有得的人(应该称学者或数学家吧,如果我们不过分考虑年龄和资历)请教,才知道有这样 一个交叉的前沿地带。当时向他请教的具体内容在南京大学小百合数学版上有,在南大中文论坛上也有一部分。敝见以为这个领域和语言学研究大有牵连。可惜用到的数学知识不少(至少在我看来用了一些比较专门的知识),用作工具和深入研究不容易。谁要是年龄知识才智都合适,相信会在这里挖到宝藏
所以归纳推理赋予与实际 相符的测度的问题,可以不必再讨论。是否可以完全说清楚把握真的方法,也可以不必争论。
|
|