卢道设
- 作品数：3 被引量：6H指数：1
- 供职机构：广西民族大学信息科学与工程学院更多>>
- 发文基金：中国科学院西部之光基金广西教育厅科研项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 可满足模理论解决器
——拟人拟物算法研究
- 可满足模理论（Satisfiability Modulo Theories，SMT）是布尔可满足问题的扩展，它是对多类型阶逻辑公式进行可满足性判定的理论。可满足模理论解决器是实现公式满足性判定过程的工具，在编译优化问题、...
- 卢道设
- 文献传递
- 城市智能交通系统知识库的综合推理被引量：1
- 2013年
- 城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。
- 熊玲芳杨世瀚吴尽昭卢道设
- 关键词：描述逻辑TABLEAU算法信息查询
- 基于描述逻辑的组合知识库推理被引量：5
- 2012年
- 由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。
- 卢道设杨世瀚吴尽昭熊玲芳
- 关键词：描述逻辑知识库
