张家锋
- 作品数：26 被引量：25H指数：3
- 供职机构：贵州民族大学理学院更多>>
- 发文基金：国家自然科学基金贵州省科学技术基金博士研究生创新基金更多>>
- 相关领域：理学自动化与计算机技术哲学宗教机械工程更多>>
- 格值一阶逻辑LF(X)中α-广义语义归结方法的相容性
- 2016年
- 自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理由于其易于在计算机上实现而受到广泛研究。为了提高基于格值逻辑的α-广义归结原理的效率,将删除策略应用于α-广义语义归结方法,研究了格值逻辑中删除策略和α-广义语义归结的相容性。首先证明了带有删除策略的α-广义语义归结的完备性;接着,给出了带有删除策略的α-广义语义归结算法,并证明了该算法的可靠性和完备性。
- 张家锋徐扬曹发生
- 关键词：删除策略格值逻辑
- 格蕴涵代数的粗糙滤子
- 2013年
- 将粗糙集理论应用于格蕴涵代数,证明了由格蕴涵代数的滤子能诱导一个粗糙集代数,而且由格蕴涵代数的滤子诱导的等价关系形成的熵集能构成一个格蕴涵代数。通过引入上、下粗糙滤子的概念,讨论了格蕴涵代数中粗糙滤子的性质。
- 夏世芬张家锋徐扬
- 关键词：格蕴涵代数滤子
- 格值命题逻辑系统Ln×2P(X)中广义文字的α-归结性
- 2011年
- 归结自动推理是人工智能领域的一个重要研究方向.以格蕴涵代数为真值域的格值逻辑中的α-归结方法提供了一种处理带有模糊性和不可比较性信息的自动推理问题的工具,能对格值逻辑系统的α-不可满足子句集给出反驳证明,用α-归结原理证明格值逻辑中广义子句集的α-不可满足性,必须首先研究两个广义文字是否可以进行α-归结.研究了格值逻辑中一阶不可分极简式1-IESF和其他一些广义文字的α-归结性,得到了两个广义文字可进行α-归结的条件,以期能对基于格值逻辑的归结自动推理提供一些必要的理论支持.
- 张家锋徐扬
- 关键词：格值逻辑格蕴涵代数
- 格蕴涵代数LI-理想的粗糙性
- 2011年
- 粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质。
- 张家锋何星星
- 关键词：格蕴涵代数
- 格值一阶逻辑LF(X)中的α-语义归结方法被引量：2
- 2014年
- 自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。
- 张家锋徐扬
- 关键词：格值逻辑格蕴涵代数
- 粗糙集代数与R_0-代数被引量：3
- 2006年
- 在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现R0-代数能够抽象刻画偶序对的性质。讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法,借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子和余运算之后,粗糙集代数就成为R0-代数。
- 张家锋顾秀梅秦克云
- 关键词：R0-代数粗糙集
- 关于格值逻辑系统中语义归结的几点思考
- 2011年
- 语义归结方法是对归结原理的一种重要改进,能有效地提高归结推理的效率,讨论了格值逻辑系统的语义归结方法,并列出了语义归结方法的一些创新点。
- 张家锋彭麟淋李景云
- 关键词：格值逻辑
- 邻羟基苯甲酸在银基底上吸附方式的理论和实验研究
- 2016年
- 针对邻羟基苯甲酸(OHBA)在银胶溶液和覆银滤纸上的吸附方式,建立了一个理论模型,经过理论值和实验值对比,发现该模型比较合理。
- 陶智明张家锋周梓发曾建华叶表良薛丽媛
- 关键词：邻羟基苯甲酸滤纸
- 格值命题逻辑系统LP(X)的语义归结方法被引量：2
- 2011年
- 为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。
- 张家锋徐扬何星星
- 关键词：格值逻辑格蕴涵代数
- 决策逻辑的图论模型
- 2014年
- 通过定义二部图上的几个操作运算,利用图论理论提出决策逻辑的一种模型,并证明了它和框架语义模型的等价性。最后研究了决策逻辑系统的粗糙性的语义。
- 曹发生张家锋黄飞丹聂登国
- 关键词：决策逻辑粗糙集语义
