国家自然科学基金(60973147)
- 作品数：3 被引量：12H指数：2
- 相关作者：吴尽昭卢道设熊玲芳杨世瀚王超更多>>
- 相关机构：广西民族大学兰州交通大学北京交通大学更多>>
- 发文基金：广西教育厅科研项目国家自然科学基金广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 城市智能交通系统知识库的综合推理被引量：1
- 2013年
- 城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。
- 熊玲芳杨世瀚吴尽昭卢道设
- 关键词：描述逻辑TABLEAU算法信息查询
- 基于吴方法的不变式生成算法被引量：6
- 2012年
- 在并发程序的分析及验证过程中,不变式起着至关重要的作用,为了提高非线性不变式自动生成算法的效率及通用性,基于将非线性不变式生成问题转换为数值约束求解问题的思想,提出通过检验根理想的从属关系方法使算法具备处理通用代数变迁系统的能力;建立了基于吴方法的非线性不变式自动生成算法,该算法不使用加强的归纳条件,并可以直接处理约束方程.
- 周宁吴尽昭王超
- 关键词：吴方法
- 基于描述逻辑的组合知识库推理被引量：5
- 2012年
- 由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。
- 卢道设杨世瀚吴尽昭熊玲芳
- 关键词：描述逻辑知识库
