基于描述逻辑的组合知识库推理

由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。     

城市智能交通系统知识库的综合推理

城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。