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

Integrated Reasoning on Multiple Knowledge Base of City Public Traffic System

作　　者：熊玲芳[1,2] 杨世瀚[1,2] 吴尽昭[1,2] 卢道设[1,2] 

机构地区：[1]广西民族大学信息科学与工程学院,南宁530006 [2]广西混杂计算与集成电路设计分析重点实验室,南宁530006

出　　处：《计算机与数字工程》2013年第2期214-217,共4页Computer & Digital Engineering

基　　金：国家自然科学基金(编号:60973147);广西自然科学基金(编号:2011GXNSFA018154);广西教育厅科研资助项目(编号:201012MS274);中国科学院2010年度"西部之光"人才培养计划项目"数字科技文献资源语义元数据自动获取"资助

摘　　要：城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。The existing city public traffic system includes the subway,bus,and taxi,each system has built their own knowledge base and expert system,but these knowledge bases are independent of each other.In order to cope with the fusion of multiple knowledge bases（multi-KBs）,a fusion method on multi-KBs is proposed based on description logic.The main idea is to establish the multiplication language of two description logics,as well as its tableau algorithm.Then the tableau algorithm is applied to the intelligent inquiry of a city traffic information system.The case analysis shows that hybrid description logic can bring more efficient information service.

关 键 词：公共交通知识库 描述逻辑 TABLEAU算法 信息查询 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]