您的位置： 专家智库 > >

钟小梅

作品数：17 被引量：3H指数：1
供职机构：西南交通大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金教育部人文社会科学研究基金更多>>
相关领域：自动化与计算机技术交通运输工程理学更多>>

合作作者

文献类型

  • 13篇专利
  • 2篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 3篇自动化与计算...
  • 1篇交通运输工程
  • 1篇理学

主题

  • 12篇矛盾体
  • 9篇命题逻辑
  • 7篇机器证明
  • 5篇一阶逻辑
  • 5篇逻辑公式
  • 4篇并行处理
  • 3篇删除
  • 3篇子句
  • 3篇逻辑
  • 3篇逻辑关系
  • 3篇刻画
  • 2篇延拓
  • 2篇格值
  • 2篇格值逻辑
  • 2篇分离式
  • 1篇代数
  • 1篇导向性
  • 1篇动态性
  • 1篇信息处理
  • 1篇蕴涵代数

机构

  • 17篇西南交通大学

作者

  • 17篇钟小梅
  • 15篇徐扬
  • 14篇何星星
  • 13篇陈树伟
  • 13篇刘军
  • 2篇许伟涛
  • 1篇常之艳
  • 1篇裴峥
  • 1篇李洁
  • 1篇马骏
  • 1篇潘小东
  • 1篇宋振明
  • 1篇秦克云

传媒

  • 1篇模糊系统与数...
  • 1篇计算机科学

年份

  • 1篇2022
  • 13篇2018
  • 1篇2012
  • 1篇2011
  • 1篇2009
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法
本发明公开了一阶逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法依次通过：对于一阶逻辑中的子句集构造扩展三角形标准矛盾体，形成标准矛盾体分离式，根据标准矛盾体分离式判断子句集的不可满足性；如果能够判断子句集不可满足，...
徐扬陈树伟刘军钟小梅何星星
文献传递
L_n×L_2上几类特殊类型格蕴涵代数方程的解法被引量：1
2009年
在格蕴涵代数中提出了加既约元、乘既约元,研究了一类重要的格蕴涵代数Ln×L2中元素的不可约有限分解,并将这一理论用于研究Ln×L2上的几类格蕴涵代数方程,讨论了方程有解的充分必要条件,在此基础上给出了方程的具体解集。
常之艳徐扬许伟涛钟小梅
关键词：格蕴涵代数解集
基于格值逻辑的α-准锁语义归结自动推理研究
智能交通是集信息化、智能化、社会化为一体的新型复杂运输系统，充满了大量的、各种各样的、复杂的不确定性信息。为了更加合理地处理这些不确定性信息，我们需要以逻辑作为其理论基础。由于智能交通系统的复杂性，因此其中必定存在大量的...
钟小梅
关键词：格值逻辑智能交通
命题逻辑中基于极大子句判定公式属性的方法
本发明公开了命题逻辑中基于极大子句判定公式属性的方法，其步骤为：首先，根据子句集S中出现的所有命题变元集合V(S)，构造一个关于V(S)的极大子句D(k)，其次，在子句集S中将与子句～D(k)含有相同文字的子句删除，并将...
徐扬钟小梅刘军何星星陈树伟
文献传递
命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法
本发明公开了命题逻辑中基于矛盾体分离的多元动态自动演绎推理方法，对于命题逻辑中子句集S，在S中选出k个子句C<Sub>j1</Sub>，C<Sub>j2</Sub>，…，C<Sub>jk</Sub>，满足C<Sub>j1...
徐扬钟小梅刘军陈树伟何星星
文献传递
基于格值逻辑的智能信息处理理论与方法
徐扬秦克云裴峥宋振明潘小东马骏许伟涛钟小梅何星星
1.来源与背景：主要来自7个国家自然科学基金项目、1个高等学校博士学科点专项科研基金项目和1个四川省科技厅青年科技基金会基金项目。大家知道，人类的许多智能活动都离不开推理，人类的许多推理离不开不确定性推理，因此，人工智能...
关键词：
命题逻辑中基于标准延拓三角形的矛盾体分离演绎推理
本发明提出了命题逻辑中基于标准延拓三角形的矛盾体分离演绎推理，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式和子句的特点判定子句集属性，如果能够判断子句集不可满足或可满足，则停止；否则，...
徐扬何星星陈树伟钟小梅刘军
文献传递
一阶逻辑中基于标准延拓三角形的矛盾体分离演绎推理
本发明提出了一阶逻辑中基于标准延拓三角形的矛盾体分离多元动态自动演绎推理方法，该方法依次通过：构造基于标准延拓三角形矛盾体；形成矛盾体分离式；根据矛盾体分离式判断子句集属性，如果能够判断子句集不可满足或可满足，则停止；否...
徐扬何星星钟小梅陈树伟刘军
文献传递
一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法
本发明公开了一阶逻辑中基于矛盾体内部子句的逆向并行演绎推理方法，该方法依次通过：对一阶逻辑中的子句集S构造矛盾体并形成矛盾体分离式，根据矛盾体分离式判断演绎推理是否终止：如果S不可满足，则停止；否则，抽取标准矛盾体内部子...
徐扬陈树伟刘军钟小梅何星星
文献传递
命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法
本发明公开了命题逻辑中基于扩展三角形的矛盾体分离演绎推理方法，该方法步骤为：对于命题逻辑中的子句集S构造扩展三角形矛盾体，形成矛盾体分离式，根据矛盾体分离式判断子句集属性；如果能判断子句集不可满足，则停止；否则，将所得矛...
徐扬陈树伟刘军何星星钟小梅
文献传递
全选 清除 导出
共2页<12>
聚类工具0