熊玲芳
- 作品数：4 被引量：6H指数：1
- 供职机构：广西民族大学更多>>
- 发文基金：广西教育厅科研项目广西壮族自治区自然科学基金中国科学院西部之光基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于描述逻辑的组合知识库推理被引量：5
- 2012年
- 由于知识库的定义不同,相近领域的知识库不能相互利用已有知识进行推理。为了联合不同的知识库进行推理,通过对描述逻辑的表现形式进行扩展提出一种组合描述逻辑,并基于概念的相似性将不同的领域概念进行关联,给出组合描述逻辑的语法及语义以及相应的Tableau算法。通过实例表明,组合描述逻辑可以利用已有知识进行推理;组合描述逻辑可以将不同的知识库进行结合,为借用不同知识库的知识进行推理提供一条新的途径。
- 卢道设杨世瀚吴尽昭熊玲芳
- 关键词：描述逻辑知识库
- 城市智能交通系统知识库的综合推理被引量：1
- 2013年
- 城市公共交通(地铁,公交,出租车等)智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知识库的融合问题,提出一种基于描述逻辑的知识库融合方法。这种方法的主要思想是基于描述逻辑建立起知识库描述语言的积语言,并建立用于这种混合知识库推理的Tableau算法,然后把算法具体应用到某城市的交通信息系统的智能查询中。实例分析表明,混合描述逻辑能够给人们带来更高效的信息服务。
- 熊玲芳杨世瀚吴尽昭卢道设
- 关键词：描述逻辑TABLEAU算法信息查询
- 基于拟物的布尔可满足性问题连续求解方法研究
- 布尔可满足性问题（简称SAT问题）是给定布尔公式，判断是否存在一组变量的赋值使得公式成真，如果存在这样的一组赋值，则公式是可满足的，否则公式是不可满足的。SAT问题是第一个被验证为NP完全的问题，已广泛应用于逻辑推理、人...
- 熊玲芳
- 关键词：特征列
- 文献传递
- 基于几何规划的布尔可满足问题求解方法
- 2013年
- 布尔可满足问题是计算机科学中诸多领域的重要问题,它的快速求解具有十分重要的意义。将具有实际物理背景的Solar算法中的拟物算法与几何规划相结合,提出并实现了一种布尔可满足性问题的连续求解方法。经实验验证,这种算法对布尔可满足性问题的求解具有一定的实用价值。
- 何安平吴尽昭梁艺熊玲芳吴昊
- 关键词：布尔可满足性
