您的位置： 专家智库 > >

刘瑞胜

作品数：12 被引量：45H指数：4
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国家教育部博士点基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 12篇中文期刊文章

领域

  • 10篇自动化与计算...
  • 3篇理学

主题

  • 4篇认识逻辑
  • 4篇人工智能
  • 4篇逻辑
  • 4篇模态逻辑
  • 2篇信念
  • 2篇知识
  • 2篇缺省逻辑
  • 1篇音调
  • 1篇蕴涵
  • 1篇知识表达
  • 1篇知识库
  • 1篇知识库更新
  • 1篇数据库
  • 1篇搜索
  • 1篇搜索算法
  • 1篇缺省理论
  • 1篇完全信息
  • 1篇逻辑框架
  • 1篇命题逻辑
  • 1篇局部搜索

机构

  • 12篇吉林大学

作者

  • 12篇刘瑞胜
  • 9篇孙吉贵
  • 6篇刘叙华
  • 4篇陈荣
  • 1篇翟永顺

传媒

  • 5篇吉林大学自然...
  • 5篇计算机学报
  • 1篇长春邮电学院...
  • 1篇计算机科学

年份

  • 2篇1999
  • 5篇1998
  • 1篇1997
  • 2篇1996
  • 1篇1995
  • 1篇1993
共 12 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
约束可满足问题求解策略的改进和实验结果
1997年
通过对那些属于NP－Complete的约束可满足问题（如图着色、规划、SAT问题等）的求解实验，指出了局部搜索算法的局限性，由此给出改进的搜索策略．实验结果表明，应用改进的搜索策略使算法效率明显提高．
陈荣孙吉贵刘瑞胜
关键词：局部搜索算法控制策略
标记模态归结的推广被引量：1
1999年
本文将作者提出的高效的命题模态Ｄ逻辑的标记模态归结方法推广到了命题模态逻辑Ｋ，Ｋ４，Ｄ４，Ｔ，Ｓ４系统，建立了上述命题模态逻辑的标记归结形式系统ＭＲＫ，ＭＲＫ４，ＭＲＤ４，ＭＲＴ，ＭＲＳ４．并用转换子句模式的方法，借助于标记模态归结对命题模态Ｄ逻辑的可靠性结果，证明了标记模态归结系统ＭＲＫ，ＭＲＫ４，ＭＲＤ４，ＭＲＴ，ＭＲＳ４分别关于命题模态逻辑Ｋ，Ｋ４，Ｄ４，Ｔ，Ｓ４的可靠性．进而得到了它们的完备性．
孙吉贵刘瑞胜陈荣
关键词：模态逻辑
不完全信息下的溯因诊断被引量：4
1998年
研究缺省逻辑表示下的溯因框架。
孙吉贵刘瑞胜陈荣
关键词：缺省逻辑不完全信息命题逻辑
有序缺省理论及其扩充
1996年
讨论了半正规缺省理论和一般缺省理论之间的关系，将有序的概念引入了一般缺省理论，证明了每个有序缺省理论都有扩张。而且，给出了一个判定缺省理论是否有序的可行算法。
刘瑞胜翟永顺
关键词：知识表达缺省理论人工智能
广义归结中的强蕴涵和涵盖
1993年
本文讨论了涵盖和强蕴涵之间的关系,给出并证明了强蕴涵是涵盖的条件,还证明了在广义归结中同时使用涵盖和强蕴涵做为删除策略仍是完备的.
刘瑞胜
非单调推理的研究现状被引量：2
1995年
<正>一、引言 早在1959年,McCart~[1]就发现常识和常识推理很难处理,因为在常识推理中当前得出的结论,可能会由于以后新事实的加入而被取消.这就是所谓的“非单调性”。
刘瑞胜刘叙华
关键词：非单调推理人工智能数据库
带有约束的缺省逻辑被引量：6
1996年
提出了一种改进缺省逻辑的方法，讨论了这种缺省理论的性质，证明了每个缺省理论都有扩充，具有半单调性和累积性，并讨论了处理多扩充问题的一种方法．
刘瑞胜孙吉贵刘叙华
关键词：非单调逻辑缺省逻辑累积性
基于溯因问题求解的知识库更新被引量：3
1999年
在一个广义的溯因问题框架下，讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法，检查知识库协调性，对知识库进行扩展、约减和修正。
孙吉贵刘瑞胜陈荣
关键词：知识库更新
认识逻辑(2):多认识主体的认识逻辑MEL被引量：2
1998年
认识逻辑EL给出了知识和信念在单一认识主体情形下的逻辑框架．本文将认识逻辑EL推广到多认识主体的情形，得到了一个可靠并且完备的系统MEL．MEL继承了EL的全部性质．MEL的一个重要特点是各个认识主体的知识是可以共享的．MEL可以作为分布式多agent系统的逻辑基础．
刘瑞胜孙吉贵刘叙华
关键词：认识逻辑知识信念人工智能
认识逻辑(1):关于知识和信念的逻辑框架被引量：28
1998年
知识和信念是人工智能领域研究中经常涉及到的两个重要概念．本文讨论了知识和信念的涵义与关系，定义了认识逻辑系统EL，讨论了它的语法和语义，证明了认识逻辑EL不但是可靠的而且是完备的．认识逻辑EL不但可以用来描述人类的认识过程，还可以用于对常识推理以及分布式系统的形式化描述．
刘瑞胜孙吉贵刘叙华
关键词：模态逻辑认识逻辑知识信念人工智能
全选 清除 导出
共2页<12>
聚类工具0