位置：成果数据库 > 期刊 > 期刊详情页
基于格值一阶逻辑LF（X）的自动推理算法
  • ISSN号：1002-8331
  • 期刊名称：《计算机工程与应用》
  • 时间：0
  • 分类：TP301.6[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]东北财经大学管理科学与工程学院,辽宁大连116025, [2]西南交通大学智能控制开发中心,成都610031
  • 相关基金：国家自然科学基金No.60474022 No.60875034; 高等学校博士学科点专项科研基金项目No.20060613007~~
作者： 李晓冰[1], 徐扬[2]
关键词： 格值一阶逻辑, 自动推理, α-归结原理, 简单广义子句集, lattice-valued first-order logic, automated reasoning, α -resolution principle, simple generalized clause set
中文摘要：

基于谓词逻辑的归结推理方法是目前理论上较为成熟、可以在计算机上实现的推理方法之一。针对格值一阶逻辑LF（X）中归结自动推理问题,以格值一阶逻辑LF（X）的α-归结原理为理论基础,通过对例子进行分析,提出了LF（X）中简单广义子句集的归结自动推理算法,并证明了该算法的可靠性和完备性。

英文摘要：

Resolution reasoning method based on predicate logic is one of methods which are well-developed and can be implemented on computer.In order to solve automated reasoning based on resolution principle in lattice-valued first-order logic,a resolution automated reasoning algorithm based on α-resolution principle in lattice-valued first-order logic is proposed by analyzing an example.Its soundness and completeness are proved.

同期刊论文项目
基于格值逻辑的语言真值归结自动推理研究
期刊论文 258 会议论文 118 著作 4
基于格值逻辑的语言真值α-广义归结自动推理研究
期刊论文 92
同项目期刊论文
基于概念格的数据挖掘方法在库存管理中的应用
有限链上的格蕴涵代数在不确定性库存模型中的应用
基于十元格蕴涵代数的语言值评价方法
基于语言真值格值一阶逻辑系统Lv(n×2)F(X)中两种模型的不确定性推理
语言真值格蕴涵代数的蕴涵不可约元
软集合和软MV-代数
非交换剩余格的子正蕴涵滤子
多源评价中信息标准化研究
Soft-Resolution Method of Six-Element Linguistic Truth-Valued Intuitionistic Fuzzy Propositional Logic
不完备信息系统中的不可区分关系
不完备决策表中基于相似关系的属性约简
格蕴涵代数LI-理想的粗糙性
Homomorphic Properties of Fuzzy Rough Groups
基于赋范格H蕴涵代数的性质
格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理
直觉 Fuzzifying 拓扑：邻域系
四值非链格值命题逻辑系统L_4P（X）的语义归结方法
正则蕴涵算子的统一表达式
基于概念格的语言真值不确定性推理
剩余格的TL-滤子与TL-同余关系
N（2,2,0）代数的RC-半群
L-Top上的I_r-函子
L＊逻辑系统中的函数决定公式问题
Goedel逻辑系统中公式条件概率真度的研究
格蕴涵代数中α-化子的性质
Gdel逻辑系统中模糊逻辑方程τ（X→p）=α的解的性质
L-FYS和LF-TOP上的函子及其性质
模糊CRI算法及模糊推理的有效性研究
L-余拓扑Vs．广义粗集
基于自反关系的区间值模糊近似空间诱导的拓扑结构
R0-代数滤子的粗糙性
关于G-代数的一些注记
基于语言真值格值一阶逻辑的不确定性推理的语法
格值命题逻辑系统中广义文字的正规性
区间值模糊近似空间的拓扑结构
模糊随机信息系统及其属性约简
几种逻辑系统中的概率真度
软集与软RSL-代数
剩余格的T-模糊滤子与T-模糊同余关系
不同语言值集下的多属性群决策方法
不完备信息系统中属性的重要度及约简方法
三值乘积逻辑系统π_3中的随机化研究
经典逻辑公理在模糊逻辑系统中的真度分析
公式概率真度的相似度及伪距离
Gdel命题逻辑中公式概率真度的相似度及伪距离
n值Goedel逻辑系统中的随机化研究
逻辑系统Gdel,Luk,L*中命题真度值的分布
解释模型类理论及其极小三I-算法
层次闭包空间的紧性
Godel逻辑系统中一类模糊逻辑方程解的性质
L-外部空间范畴与L-拓扑空间范畴
单调线性互补问题的一种内点算法
Ln×L2上几类特殊类型格蕴涵代数方程的解法
格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法
格值命题逻辑LP（X）中的语义归结方法
关于余剩余格的一点注记
基于语言真值格蕴涵代数中对偶分子的推理性质
关于正则余剩余格与对合BCK-格
模糊粗糙群
模糊逻辑系统公理真度分析
有限格蕴涵代数的零化子
格蕴涵代数中多重模糊正关联滤子的研究
n值乘积逻辑系统中的随机化研究
Fuzzy Regular Relations on Hyperquasigroups
关于剩余格的正则滤子
格值命题逻辑LP（X）中自动推理算法效率分析
直觉模糊拓扑空间的基与子基
构造三角模的新方法
强F1连通的新特征
三值乘积逻辑系统中绝对真度的理论研究
层次闭包空间及其分离性
外部算子及其应用
直觉Fuzzifying拓扑的Moore—Smith收敛理论
直觉模糊拓扑空间的子空间
Subalgebra and LI-Ideal of Lattice Implication Algebras
α-Input and a-Unit Resolution Methods for Generalized Horn Clause Set in LV（n×2）F（ X）
一种动态的感官评估实验方法
直觉Fuzzifying拓扑：基和子基
格蕴涵代数中的直觉模糊关联滤子
小波变换在消除干扰中的应用探究
直觉模糊拓扑空间的重域结构
一种数据域描述的加权支持向量回归算法
基于含参量蕴涵算子H_（p,λ）的多种三I算法
层次闭包空间及其连通性
基于不确定理论的二级供应链模型
层次化的K.Fan’s Theorem
Generalized fuzzy ideals of near-rings
求解单调线性互补问题的势下降内点算法
层次内部空间及其分离性
Interval Valued （∈,∈ ∨q）-Fuzzy Filters of MTL-Algebras
基于“矩阵乘法”的网络最短路径算法
New Definition and Properties
Weak LI-ideal in Lattice Impli
LI-ideal spaces of lattice imp
Normal Fuzzy Filters in Lattic
L-Fuzzy Rough Set Based on Res
Fuzzy Logic from the Viewpoint
A study of enterprise human re
A new view on fuzzy hypermodul
Closure Operators of Lattice-v
A language-valued evaluation s
A Rough Sets based Characteris
Transformation of Linguistic T
格值命题逻辑系统LP(X)中广义文
粗糙近似算子的拓扑性质
感观评价过程中语言值的转化
Closure operators of lattice-valued propositional logic LP(X)
A credit evaluation in e-busin
A Depth-First Algorithm of Fin
An evolution Strategy for the
Linguistic model for the contr
Congruence Relations Induced b
Components in Lattices Implica
格值命题逻辑系统Lvpl中的推理规
布尔关联规则集的结构
伪NM代数及其性质
格蕴涵代数不等式
不协调决策表正域约简与其它约简
基于粗糙集理论的模型结构选择与
一种构造格蕴涵代数的方法
超模的同构定理
非可换模糊逻辑系统PL*及其完备
决策表的正域约简及核的计算
基于集值影射的近似算子
有转运运输问题的Hopfield神经网
基于递归神经网络的预测模糊控制
基于剩余蕴涵的模糊概念格构造方
基于并行分层式链路的分布式数据
基于概率信息系统决策规则的R0三
格值命题逻辑系统中的归结自动
剩余格蕴涵代数中n-重素滤子的研
数量经济学与数据挖掘
On the Consistency of Rule Bas
Method of Solution to A Finite
A Fuzzy-set Approach to Treat
Knowledge Discovery for Event
Frequent Item Sets Acquisition
A model of decision-making wit
Generalized fuzzy filters of B
An Intelligent Sensory Evaluat
概念格中不同类型多值背景的研究
Generalized Quantifier in The
基于Schweizer-Sklar T-范数的模
区间值直觉模糊超子群
基于粗糙集扩展模型的决策树生成
广义变精度粗糙集模型中近似算子
The Semantics of Lattice-value
On Fuzzy h-Ideals of Hemirings
An extended process model of k
Resolution–Based Automatic Re
The Properties of Implication
Logical Properties of Lattice
Mining Maximal Frequent Patter
A Linguistic Truth-valued Reas
Handling Linguistic Web Inform
On a Mathematical Relationship
A method to multiple attribute
Intrinsic Value and Market Tim
A Fuzzy Model of Customer Sati
Intuitionistic (S,T)-Fuzzy M-S
Linguistic Truth-value Lattice
基于Dempster-Shafer证据理论的
A Usability-Evaluation Method
Linguistic Truth Values Lattic
Fault Diagnosis and Reliabilit
A Strategy of Finding Maximal
Inclusion degree and support d
一种作业车间调度问题的Hopfield
基于证据理论的人力资源评价合作
在VPRS模型中保持边界的属性约简
Intuitionistic Fuzzy Filters i
An Answer to the Jun-Shim-Lele
计算机辅助感官评估实验的自学习
L-Fuzzy Rough Set Based on the
A Linguistic Lattice-Valued Ap
基于语言真值格值命题逻辑系统的
Inequality with Degrees
Discussion on Resolution Liter
MP Resolution Inference Method
模糊推理的三I算法
基于Lukasiewicz蕴涵算子的反向
依赖空间及其在知识发现中的应用
连续属性决策表的规则获取
Integration of Genetic Algorit
决策表正域约简区分函数条件的改
一种新的加权关联规则模型
The Hierarchical Fuzzy Evaluat
On covering rough sets
BCI-implicative ideals of BCI-
Weighted Qualitive Fuzzy Propo
The Compavt and Noncompact Str
格值一阶逻辑系统LF(X)中带广义
格值一阶逻辑系统LF（X）中的广
格蕴涵代数的素对偶理想
基于格值命题逻辑系统LP（X）的
格蕴涵代数中的格蕴涵代数方程
区间值模糊命题逻辑的∑－广义拟
Generalized fuzzy filters of R
基于对象间相互作用的形式概念分
家用燃气热水器自适应模糊控制策
A linguistic truth-valued unce
A case retrieval model based o
剩余格蕴涵代数中准素理想的研究
Fuzzy h-ideals of Hemirings.
Interpreting and Extracting Fu
On fuzzy isomorphism theorems
基于格值逻辑的语言真值命题逻辑
基于格值逻辑的语言真值一阶逻辑
On transitive uncertainty mapp
格值命题逻辑系统中基于半正则
格值命题逻辑系统中的自动推理
边界域划分约简标准简析
Pseudo-BCK algebras and PD-pos
Fuzzy reasoning with generaliz
A Method for Data Classificati
L-fuzzy h-ideals with operator
Research into Semantical Closu
Ultraproduct of First-order La
Updated Reduction Algorithm in
基于左连续伪T-模的非可换模糊逻
双论域L模糊粗糙集
基于集值映射的拟划分空间中近似
改进的k-平均聚类算法研究
变精度粗糙模糊集模型研究
基于不同蕴涵算子的模糊概念格建
On Relations between Lattice I
关于一类有限格蕴涵代数方程的解
一种算子命题逻辑系统及其T－不
The Intelligent Evaluation Sys
The relationship among several
Double-layer Modificatory Ling
格值命题逻辑系统中-归结域与-
Structure of Fuzzy Filters in
Approach of Concept Lattice to
知识约简的逻辑特征
基于递归神经网络模型预测控制的
基于粗糙集的数据聚类方法研究
Lattice implication ordered se
基于形式背景的概念格约简及其修
基于完备IMTL代数的L模糊粗糙集
基于集合枚举树的关联规则生成算
组织内部形成良好心理契约的博弈
基于包含度的决策表属性约简算法
Resolution Principle on Lattic
Intelligent spider’s algorith
模糊层次分析法权重研究
基于扩张原理的多重多维模糊推理
Study on LI-Ideals of Finite L
On Normed Lattice H Implicatio
Filter-Based Resolution Princi
Intuitionistic Fuzzy Temporal
模糊粗糙集代数
The Algorithm of the Quick Fit
Resolution Fields Of Generaliz
Interval Valued Intuitionistic
基于赋范格H蕴涵代数的性质
基于概念格的语言真值不确定性推理
格值命题逻辑系统L2n＋1P（X）中基于半正则广义文字的自动推理算法
基于多输入信息融合模型的暂态稳定分类
变精度覆盖粗糙集模型的比较
基于形式背景的概念格约简及其修复
LI-ideal Spaces of Lattice Implication Algebra
交通运输网络中两个结点间有流量约束的最小费用最大流算法
Syntactic Extension of Lattice-valued Propositional Logic LP（X）
The Direct Product of Graded Finite Posets
计算机辅助感官评估实验的自学习控制
格值命题逻辑系统中基于滤子的MP归结演绎
集值信息系统在相容关系下的属性约简
格值一阶逻辑系统LF（X）中带广义量词的α-归结原理
粗糙集代数中的剩余格结构
模糊粗糙近似算子的拓扑性质
格值一阶逻辑系统LF（X）中带广义量词的不确定性推理
一种算子命题逻辑系统及其T-不变量推理算法
基于粗糙集与相关向量机的文本分类新方法
不协调覆盖决策系统下属性约简的新的注记
基于不协调覆盖决策系统新的分辨矩阵注记
基于VPRS理论的一种混合分类算法
变精度粗糙集模型及其应用研究
决策表正域约简区分函数条件的改进
粗糙集代数与MV代数
LF（X）中带广义量词的可靠性定理
区间值信息系统基于极大相容类的属性约简
关于一类有限格蕴涵代数方程的解法
格值-阶逻辑系统LF（X）中的广义量词
基于递归神经网络模型预测控制的模型平稳切换
完备剩余格中的上近似与下近似模糊推理方法
有转运运输问题的Hopfield神经网络优化方法
协调覆盖决策系统下基于条件信息熵的属性约简
小波函数在识别PCB串扰信号频率中的应用
基于证据理论的人力资源评价结果合成方法
一种作业车间调度问题的Hopfield神经网络优化方法
剩余格蕴涵代数中n-重素滤子的研究
（m，n）型二重（r1,r2）-循环矩阵的逆和广义逆
M-半群的直觉（S，T）-模糊M-子半群的性质
伪格蕴涵代数
不确定广义系统的时滞依赖鲁棒镇定
基于三角模的模糊粗糙集与模糊关系之间的联系
L-Fuzzy Rough Set Based on Complete Residuated Lattice
Some Properties of α-Subsets
Properties of Fuzzy Entropy Based on the Shape Change of Membership Function
The Syntax of Lattice-Valued Propositional Logic System lp（X）
Logical Properties of Lattice Filter of Lattice Implication Algebra
Knowledge Discovery for Event Series Decision Based on Rough Set
Fault Diagnosis and Reliability Analysis Using Fuzzy Logic Method
半群中的粗准素理想与粗模糊准素理想
运输网络转运结点有容量限制的最大流分配算法
Properties and Relations of Several Operators Based on Covering Rough Sets
A Method for Data Classification Based on Discernibility Matrix and Discernibility Function
J-Resolution Fields of Generalized Literals of L14 P（X）
GENERALIZED FUZZY FILTERS OF BL-ALGEBRAS
一种算子模糊逻辑系统
CATV自动寻址与收视控制信息系统研究
Mining Maximal Frequent Patterns in a Unidirectional FP-tree
Linguistic Truth Values Lattice Implication Algebras
半环中的粗模糊子半环
规则提取算法LBR-EM3及其在心电信号中的应用
交通网络两个相邻结点之间有流量约束的最大流分配算法
A Depth-first Algorithm of Finding All Association Rules Generated by a Frequent Itemset
粗糙集代数与R0-代数
基于模糊关系相似与相像的一点注记
Probabilistic Fuzzy Hypermodules
集值信息系统基于极大变精度相容类的属性约简
一般二元关系下粗糙集的拓扑性质
学生面试问题的一点探讨
Vague决策表理论研究及其决策表的应用
一种基于模糊划分的知识发现
基于包含度的决策表属性约简算法的研究
非可换模糊逻辑系统PL^＊其完备性
两种类型的粗糙度不等式
L-fuzzy h-ideals with Operators in Hemirings
LF（X）中带广义量词的弱完备性定理
On Fuzzy Interior Ideals in Semigroups
基于集值映射的拟划分近似空间中近似算子
基于模糊理论的量化关联规则挖掘算法
基于集值映射的近似算子
一种自适应的模糊关联规则挖掘算法
变精度覆盖粗糙集
集值信息系统在变精度相容关系下的决策规则
广义模糊粗糙集的广义不确定性
基于集对分析的多值信息系统粗集模型及其约简
基于拟序关系的约简
New Definition and Properties of Fuzzy Entropy
期刊信息
  • 《计算机工程与应用》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华北计算技术研究所
  • 主编：怀进鹏
  • 地址：北京市海淀区北四环中路211号北京619信箱26分箱
  • 邮编：100083
  • 邮箱：ceaj@vip.163.com
  • 电话：
  • 国际标准刊号：ISSN：1002-8331
  • 国内统一刊号：ISSN：11-2127/TP
  • 邮发代号:82-605
  • 获奖情况:
  • 1. 2012年首批获得中国学术文献评价中心发布的 “...,2. 2001年获得新闻出版署“中国期刊方阵双效期刊”,3. 2008年首批入选国家科技部“中国精品科技期刊...,4.2003年-2011年连续获得工业和信息化部期刊最高...
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,波兰哥白尼索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:97887