贾海瑞
- 作品数：7 被引量：2H指数：1
- 供职机构：西南交通大学更多>>
- 发文基金：国家自然科学基金四川省教育厅科学研究项目四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于格值命题逻辑系统LP(X)的多元α-归结原理的注记被引量：1
- 2015年
- 进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP(X)的多元α-归结原理的基本理论,给出了基于LP(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP(X)的多元α-归结原理的有效性进行了一定分析,这为建立基于LP(X)的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。
- 刘熠徐扬贾海瑞
- 关键词：格蕴涵代数格值命题逻辑
- 基于格值一阶逻辑LF(X)的多元α-归结原理的注记被引量：1
- 2015年
- 进一步深入研究了基于格蕴涵代数的格值一阶逻辑系统LF(X)的多元α-归结原理的基本理论,给出了在基于LF(X)的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则。对基于LF(X)的多元α-归结原理的有效性进行了一定分析;这为建立基于LF(X)的多元α-归结方法以及构造多元α-归结算法建立了理论基础。
- 刘熠徐扬贾海瑞
- 关键词：格蕴涵代数
- 区间值模糊同或算子
- 2016年
- 针对区间值模糊集理论,提出区间值模糊同或算子的定义,研究区间值模糊自同构在区间值模糊同或算子上的作用,证明区间值模糊同或算子是不可分解的,给出区间值模糊同或算子的3种构造方式,在此基础上研究了区间值模糊同或算子的性质。
- 王丹李莹芳贾海瑞
- 关键词：T模
- 基于格值逻辑的α-多元线性归结自动推理研究
- 人工智能领域中的一个极具有挑战性的研究方面是自动推理（定理机器证明），归结自动推理是自动推理的重要研究方向之一，其研究成果已被应用到很多重要领域，如人工智能、逻辑编程、问题求解、软件模型检测与测试、安全协议、程序自动验证...
- 贾海瑞
- 关键词：格值逻辑格蕴涵代数
- 基于格值命题逻辑的非子句多元α-有序线性广义归结方法
- 为了处理在不确定性环境下的自动演绎，本文重点研究基于自动推理理论的推理方法，其理论是真值定义在格蕴涵代数结构上格值逻辑系统中的。在确定真值水平α的二元归结已有的研究基础上，作为其继续研究和扩展，本文引入基于格值命题逻辑系...
- 贾海瑞徐扬邓鹏
- 基于格值逻辑系统LP(X)的α-归结域的代数结构被引量：1
- 2013年
- 首先得到了与g不可α-归结的广义文字的集合D*α(g)做成了∨-半群且也是一个序滤子;其次研究了由D*α(g)所确定的一个新的代数结构Df,Df做成一个格滤子,并研究了Df的一些相关性质;最后研究了由Df所确定的代数结构κ(D),得到了κ(D)构成滤子并研究了κ(D)的结构。
- 刘熠贾海瑞秦晓燕徐扬
- 关键词：格蕴涵代数滤子
- 命题逻辑中非子句α-有序线性广义归结方法
- 2015年
- 为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继续研究和扩展,引入了基于格值命题逻辑系统LP(X)的非子句多元α-有序线性广义归结方法和演绎,这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后,得到LP(X)中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。
- 贾海瑞徐扬邓鹏
- 关键词：格蕴涵代数格值命题逻辑
