城市智能交通系统知识库的综合推理
熊玲芳
杨世瀚
吴尽昭
卢道设
1.广西民族大学信息科学与工程学院 南宁530006;广西混杂计算与集成电路设计分析重点实验室 南宁5300062.广西民族大学信息科学与工程学院 南宁530006;广西混杂计算与集成电路设计分析重点实验室 南宁5300063.广西民族大学信息科学与工程学院 南宁530006;广西混杂计算与集成电路设计分析重点实验室 南宁5300064.广西民族大学信息科学与工程学院 南宁530006;广西混杂计算与集成电路设计分析重点实验室 南宁530006
摘要：城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的.为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法.这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中.实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务.
关键词：公共交通知识库描述逻辑Tableau算法信息查询
分类号：TP391(计算技术、计算机技术)
资助基金：国家自然科学基金(60973147)广西自然科学基金(2011GXNSFA018154)广西教育厅科学研究项目(201012MS274)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 214-217 )
英文信息