中文XML论坛--知识和推理的理解[讨论]

贴子主题：知识和推理的理解[讨论]

本主题类别: Ontology Engineering

初入本体与推理这个领域，会有很多很多的困惑，既有理性上的，也有感性上的。对于这样形而上学的概念，该如何理解和发挥，是个仁者见仁的问题。
      所谓本体，对我们来说，就是一种知识表示的形式化，很大程度上来自于人工智能领域的研究成果。所谓人工智能，很宽泛的说，就是如何使得机器可以有能力根据它所知道的来决定它的某些行为。这里最大的问题就是对几个基本概念的理解。
      第一个要深入理解的就是知识。对于知识究竟是什么，这问题争论了几千年，到现在要给它一个广泛接受的定义，都很难。计算机领域里，对此概念的表述也从未一致过。一般的，知识对我们来说，就是一些命题，也就是一些有真价值的句子。当然，这是抽象的说知识。另一点值得说的是，知识有客观性和主观性，这就牵扯到了知识的主体，一般把主体的这种认识上的知识叫Belief。
     第二个需要有一定理解的概念是表示。应该说不论我们想处理什么，如果不把它表示出来，那什么也没法进行。对于表示来说，都是基于符号的，但是对语义Web领域来说，最重要的是以一阶逻辑为基础的各种表示方法及其扩展和变形。因此，对于一阶逻辑有一个全面深入的学习和理解是必须的。
    第三个，也是最重要的一个就是推理。一般的讲，逻辑推理就是一个对符号的形式处理过程，它从一组已知的命题出发去得到一些新的命题。这实际就是每种符号逻辑都必须回答的entailment问题。也就是对一组给定的命题集合K，和一个特定的命题a，是否有K |= a 成立。


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	46.875ms