论文部分内容阅读
网页本体语言是共享概念模型的明确形式化规范说明,能够以一种明确的、形式化的方式来表示领域知识,提高异构系统之间的互操作性,促进知识共享.而RDF/RDFS是一个完整的形式化系统,具备BNF形式语法、基于模型理论的形式语义,是一个完备、可靠的形式化系统.通过这些,保证了RDF描述语义推理的形式正确性,保证了应用程序对RDFS描述的网页本体语言的语义解释.网页本体语言是一种基于语义网的语言,网页本体语言试图提供一种语言能够描述存在于网络文档和应用程序中的类以及它们之间的关系,它是RDF在词汇上的扩展.现实生活中我们是怎么样理解和使用概念,一个通常意义上的词语的意思是怎么样用来定义对象的,传统上有两种截然不同的方法来解决这个问题,那就是心理学的方法和逻辑学的方法.本文主要研究怎么样调节这两种方法来对概念的理解达到最好的效果,并且结合网页本体语言,开发了一个基于网页本体语言的容错性推理系统.本文将首先提出一个基于理论的概念推理模型,以及解释各种智能体(例如人)是怎么样对应于具体的环境来激活观点(由多个理论来组成)的,而这些观点就是使用概念推理时所要调用的.本文所说的理论是代表事实和规则的集合,无论是严格的还是容错性的.每个理论都会组织成内在的观点,本文所说的观点就代表着智能体的思维形态或者一个智能体相对于另一个智能体的观点而建立的模型.本文所指观点是组织成层次性的.在某个观点中,对于一个概念的理论是可以优先于在另一个观点中代表相同概念的理论的.哪个观点优先级更高就要根据上下文来判断了.基于网页本体语言的容错性推理系统利用网页本体语言来对上述基于理论的概念推理模型对现实对象进行建模,然后结合智能体的具体观点来对对象的属性进行判断,利用观点的优先级解决了有冲突的属性之间的矛盾,从而为用户推理出更合理的结果.同时,ODRS利用网页本体语言的内在特性,即对象之间都是三元组的关系,适当扩展了功能,即定义了相应的语法来满足用户对于对象之间或者对象和属性之间的一般性推理.