我认为语义网的研究重点, 还不在于追求比FOPL更强大的推理机制, 甚至machine unders
tandable的重点也不是追求强大的逻辑推理能力, 那是人工智能中更深层次的研究问题.
SW的重点是放在"约定",就是网上的主体在通信时相互知道所说的"资源"是同一个东西, 以
及这个东西和别的东西的关系. 即使推理能力是弱的, 也可以满足目前的应用. 对于SW的
期望, 本来就不是要求它绝对智能, 而是解决"鸡同鸭讲"的巴别塔问题的.

【 在 minc (minc) 的大作中提到: 】
: 首先有一个问题
: 什么叫做“可理解”？
:
: 对于机器来说  理解终究还是基于一定逻辑基础上的推理
: 这个逻辑基础就是DL  DL是FOL的子集
: 但是我希望你看一下DL中的推理的几个基本任务
: 几乎有一半的任务都不能解决  也就是计算复杂度太高  而没有优化的算法
:
: 如果你的推理是rule-based的  那么是达不到DL推理的complete and sound的要求的
: 和传统的AI也没有什么区别
: ...................
--
FROM 129.186.93.7