宋振明
- 作品数:54 被引量:155H指数:7
- 供职机构:西南交通大学数学学院更多>>
- 发文基金:国家自然科学基金四川省科技支撑计划中央高校基本科研业务费专项资金更多>>
- 相关领域:理学自动化与计算机技术文化科学航空宇航科学技术更多>>
- 化LF(X)中任一公式为可归约形式的算法被引量:1
- 2003年
- 针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究 .简述了LF(X)及其中公式的相关概念 ,证明了对LF(X)中公式进行转化的若干理论结果 ,并由此给出化LF(X)
- 孟丹宋振明秦克云
- 关键词:人工智能多值逻辑
- 一种基于概念匹配度模型的中文问答系统
- 2008年
- 答案抽取是问答系统的核心部分,本文根据汉语本身的特点,采用了本体论方法,借鉴了概念格的思想,提出了一种基于概念匹配度模型的中文问答系统。该系统通过计算与问题概念节点的匹配度,就可以抽取出查询问题的答案。该模型采用了定量计算,缩短了问题—答案匹配时间,并通过实例证明了该模型是有效的。
- 李静宋振明
- 关键词:概念格问答系统相似度
- 基于学习子句长度和LBD的删除策略
- 2019年
- 学习子句的删除在求解器的构成中是非常重要的。因为学习子句删除策略的"优劣"不仅影响BCP的效率,还影响内存的占用问题,为避免出现这些问题,很多学者做了大量的工作,提出了很多良好的学习子句删除策略。然而当前的学习子句删除策略都有一个缺点:删除学习子句时有可能会删除在后续搜索过程中有很大作用的子句,因为不能确保每次删除的都是没有"价值"的子句。在充分考虑学习子句的长度和变量的决策层的基础上,本文提出基于学习子句长度和LBD的删除策略——LLBD策略,并形成算法,然后用该策略替换Glucose求解器中的删除策略,最后通过实验表明LLBD策略能够求解出更多的实例,求解器的效率也有所提高,表明本文策略有一定的优势。
- 刘姚宋振明
- 关键词:LBD
- 一种基于最大满矩阵生成概念格的算法被引量:4
- 2015年
- 形式概念分析的核心是概念格,它在本质上描述了对象和属性之间的联系,表明了概念之间的泛化和例化关系,因此概念格的构造就显得尤为的重要。从形式背景的关系矩阵出发,扫描形式背景的行和列找出属性值为1的全部满矩阵,定义了最大满矩阵的概念,证明了最大满矩阵是概念矩阵的充要条件。并在此理论上提出了一种基于最大满矩阵生成概念格的算法,并对所提出的算法进行了理论论证。通过实例的运算,验证了该算法的有效性。
- 郭伦众宋振明
- 关键词:形式概念分析矩阵
- 格蕴涵代数中滤子的逻辑性质(英文)被引量:3
- 2001年
- 讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 。
- 王伟徐扬宋振明
- 关键词:格蕴涵代数滤子传递性逻辑性质完全分配格替换定理
- 基于Geom/Geom/1/c排队的到港容量研究
- 2013年
- 针对到港航班出现的延误现象,提出了一种新的流量模型.该模型利用Geom/Geom/1排队系统,通过分析转移概率矩阵的平稳分布,建立航班到港容量的数学表达式,并形成数学模型.基于该数学模型,推导了航班的等待时间期望.作为实际案例,结合实际航班运行情况进行仿真,研究了到港容量与机场服务率之间的关系,仿真结果近于实际结果,表明该模型具有较好地适应性及准确性.
- 邓文红周忠丽宋振明徐扬
- FM逻辑的紧致性与Lwenheim-Skolem性被引量:1
- 1998年
- 讨论了FM模型的若干性质 。
- 秦克云徐扬宋振明
- 关键词:紧致性
- 一类格值-类Horn子旬逻辑
- Horn子句逻缉理论在专家系统、模式识别、自然语言理解等人工智能研究领域发挥了重要的作用,但在进行不确定性推理时,基于二值情形的Horn子句逻辑就变得暗然失色了。为此,该文探讨了一类命题真值基于格上的,即基于格蕴涵代数的...
- 刘军宋振明马骏
- 关键词:格值逻辑格蕴涵代数可靠性
- 文献传递
- 格蕴涵代数的关联理想与模糊关联理想(英文)被引量:10
- 2001年
- 本文提出了格蕴涵代数的关联理想和模糊关联理想的概念 ,讨论了它们的性质 ,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子。
- 赵光峰徐扬宋振明
- 关键词:格蕴涵代数模糊滤子
- 关于内射的格蕴涵代数
- 2000年
- 多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「1」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。
- 宋振明郑逢斌
- 关键词:格蕴涵代数内射多值逻辑