位置：立项数据库 > 立项详情页
基于格值逻辑的不确定性推理研究
  • 项目名称：基于格值逻辑的不确定性推理研究
  • 项目类别：面上项目
  • 批准号：60074014
  • 申请代码：F030116
  • 项目来源：国家自然科学基金
  • 研究期限：2001-01-01-2003-12-01
  • 项目负责人：徐扬
  • 负责人职称：教授
  • 依托单位：西南交通大学
  • 批准年度：2000
中文摘要：

本项目基于格值逻辑研究既能处理全序、也能处理非全序不确定性信息的不确定性推理。在动态格值命题逻辑系统Lvpl和动态格值一阶逻辑系统Lvfl中分别构建不确定性推理的理论、方法及软件；在格值命题逻辑系统LP（X）和格值一阶逻辑系统LF（X）中分别构建α-归结远评淼睦砺邸⒎椒叭砑Ｎ茉谌蚝头侨虿蝗范ㄐ孕畔⒔蝗诘幕肪持薪型评硖峁┯行侄巍?

中文主题词： 格蕴涵代数；格值逻辑；不确定性推理；自动推理
结论摘要：

英文主题词Lattice implication algebra (LIA); lattice-valued logic; Uncertainty reasoning; Automated reasoning

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 93
  • 96
  • 0
  • 0
  • 1
期刊论文
A Study of Enterprise Human Resource Competence Appraisement
Closure operators of lattice-valued propositional logic LP(X)
Some operations on Lattice Implication Algebras
The Logical Properties of Filters of Lattice Implication Algebra
项目集的性质研究
基于Lotus Notes 协同工作程序的设计
α -Resolution principle based on first-order lattice-valued logic LF（X）
Fuzzy Reasoning Based on the Extension Principle
(T,⊥,N) Fuzzy Logic
On Prime Filters of Lattice H Implication Algebras
Some Properties of Fuzzy Lie Algebras
II-Type Products of L-Fuzzy Filters
Mining -Frequent Itemset Using FP-Tree
A First Order Lattice Valued Logic System I:Semantics
A First Order Lattice Valued Logic System II:Syntax
基于粗糙集的一种挖掘分类规则算法
格蕴涵代数的左幂等元
模式类及其上的知识表示和推理
格蕴涵代数中滤子的若干性质
\phi-频繁闭项目挖掘问题及其算法
On Quotient Lattice Implication Algebras Induced by Fuzzy Filters
Minimization of Fuzzy Finite Generalized Automata
Ultra LI-Ideals in Lattice Implication Algebras
Some operations o latticeimplication algebras (II)
关于格蕴涵代数的模糊滤子的一个注记
组织和个体激励效益合理最大化的规划模型
企业人力资源新概念及管理策略
Fuzzy Reasoning Based on Generalized Fuzzy If-Then Rules
α -Automated Reasoning Method Based on Lattice-Valued Propositional Logic LP(X)
Further Study on Right Regular Maps of Lattice Implication Algebras
On the Fuzzy LI-Ideals and Fuzzy Filters of Lattice Implication Algebras
A New Lattice-valued Propositional Logic Systems Lvp
On Semantics of L-valued Modal Propositional Logic LMP(X)
Fuzzy Reasoning Based on the L-valued Logic Lvpl
Some Properties of Generalized Fuzzy Method of Cases
L-fuzzy Set Categories Based on Generalized Extension Principle
基于模糊神经网络的Horn 集上的输入归结
格蕴涵代数的拓扑结构
基于有限格蕴涵代数的格值命题逻辑语义系统
图Kn-H的升分解
闭项目集与不动点
企业经营管理者基本素质评价模型
虚拟企业的人力资源系统管理
绩效考核评价的模糊问题
一种新型数字签名方法
格蕴涵代数的一个表示
基于区间值的模糊聚类分析
基于分布式应用技术的分布数据库接力棒访问模型
奇异值分解在图象压缩中的应用分析
基于模糊关系的人力资源管理工作分配算法
ILI-ideals and Prime LI-ideals in Lattice Implication Algebras
Rule Acquisition and Adjustment Based on Set-Valued Mapping
A Resolution-Like Strategy Based on a Lattice-Valued Logic
Fuzzy topology induced by L-fuzzy filters
The Structure and α-resolution Field of In decomposable Extremely Simple Forms of Lattice-Valued Pro
On some properties of Fuzzy T.-algebras and Fuzzy F.-algebras
Lattice Implication Algebras and Their Filters
Implementing semantic deduction of propositional knowledge in an extension multi-layer perception
一致空间中的群结构
多值编码遗传算法
随机振动系统构件应力谱密度的计算
化LF(X)中的任一公式为可规约形式的算法
语义校对系统中的句子语义骨架模糊匹配算法
四值非链格值命题逻辑系统LP4(X)的归结原理
格蕴涵代数的单性和周期性
基于路径搜索的格值命题逻辑自动推理方法
关系数据库中关系代数范畴模型的讨论
幂拓扑分子格范畴及其乘积运算
关于建立人力资源管理专家系统的设想
基于动态神经网络的经典逻辑公式计算方法
关于格蕴涵代数的结构的一些讨论
An Information Processing Application Method Oriented toward Linguistic Valued in Human esources Ev
基于有限格蕴涵代数的格值命题逻辑语法系统
On Normalization of Comprehensive Evaluation System with Complex Uncertain Information
The global solution of an initial boundary value problem for the Damped Boussinesq Equation
Subdirectly Inreducible and Directly indecomposible Lattice Implication Algebras
The asymptotic theory of global solutions for semilinear wave equations in three space dimensions
基于消息机制的分布式数据库数据请求模式研究
铁路货车技术管理信息系统（HMIS）平台的优化研究
基于模态逻辑的决策规则生成与证据合成
格值命题逻辑LP(X)中不可分析极简式的性质
模糊树语言与模糊树文法的等价性
模糊有限自动机两个算子的若干性质
The Syntax of Lattice-Valued Propositional Logic System lp（X）
基于改进射线拟合法的多导联心电图神经网络分类系统
基于泛系粗糙集等价算子上的粒计算模型
模糊集乘积的扩张运算
Fuzzy有理语言与Fuzzy有限态自动机的关系
关于 Fuzzyω正则语言的一个注记
Fuzzy树自动机的等价性
模糊上下文无关文法的判定定理
集值不完备信息系统上的一种知识约简的方法
会议论文
Some Problems on Resolution Method of Lattice-Valued Logic Based on Lattice Implication Algebra
Uncertain influence for the definite type decision and risk type decision due to collecting informat
Resoulution principle based on finite chain lattice-valued proposition logic FCLP(X)
Valuation sets in lattice-valued propositional logic LP(X)
Multilayered Fuzzy Clustering Method Based on Distance and Density
Resolution Based on Six Lattice-valued Proposition Logic LP6(X)
A Clustering Application Method Based on Mix Type Variables in Social System Appraisemenl
An automated reasoning method used in workflow management system
On the relation between filters and deducive rules
Model theory and closure operators of lattice-valued propositional logic LP(X)
A non-classical logic based on information systems
Parallel Unit Resolution
基于变量论域模糊划分的模糊朴素贝叶斯分类方法
The Consistency of Rule-Bases in Lattice-Valued First-Order Logic LF(X)
The Linguistic Control Model of Vehicle Driving
On Model Theory of Lattice-Valued Logic Lvpl
Fuzzy Naive Bayes Classifier Based on Fuzzy Clustering
A Lattice-valued Modal Propositional Logic System LMP(X)
A New Lattice-Valued Propositionl Logic (I): Semantics
alpha-Resolution Principle Based on An Intermediate Element Lattice-Valued Proposition Logic
The Identifiation of Fuzzy Weighted Classification System Incorporated with Fuzzy Naive Bayes from D
The alpha-Resolution Field of Indecomposable Extremely Simple Form of Lattice-Valued Propositional L
语义校对系统中的句子语义骨架模糊匹配算法
A New Fuzzy Clustering Method Based on Distance and Density
基于Horn集的工作流过程执行有效性判断
模糊熵的公理化定义及其熵公式
Two-neural-network for partially unknown nonlinear systems
Dynamic Adaptive Fuzzy Neural-Network Identification and Its Application
Multiple Attributes Group Decion Making under Fuzzy Environment
The diffuse self-organizing map
Constructing a kind of syetems based on neural networks techniques
Resolution Princeple Based on Six Lattice-Valued Proposition Logic LP6(X)
The Humanity Research of Search Engine Based on Uncertain Reasoning
An Approach to Attribute Generalization in Incomplete Information Systems
Clasure Operatiors in Lattice-Valued Proposition Logics
Adding Forecast Support to Workflow Management System by Classic Logic Formula Computing
Tautologies in Some Lattice-Valued Logic Systems
The equivalence between a clause set and a kind of extension multi-layea perceptron
Semantics on Lattice-Valued Modal First-Order Logic
Ultraproduct of First-Order Lattice-Valued Logic LF(X) Based on Finite Lattice Impication Algebra
Double-layered fuzzy clustering method based on distance and density
基于无穷Horn子句集的推理编译
Uncertainty Reasoning Based on Filter of Lattice Implication Algebra
Graded Consequence Relations of Lattice-Valued Propositional Logic LP(X)
Neural Network Resolution on Horn Clause Set
Algorithm of Resolution Based on Matrix Operation in Classical Proposition Logic System
基于矩阵运算的基于归结原理的自动推理算法
基于双模糊神经网络的控制器设计
Generalized association rule base mining and its algorithm
On the Solutions of Lattice-Valued Matrix Game With Fuzziness
Modeling a kind of Fuzzy Systems using Fuzzy Entropy
Analysis and Design of a Fuzzy System Based on Fuzzy Entropy of Fuzzy Partitions
An Automated Reasonging Method Based on Path Searching
Local Relation Hold Reasoning
A Method of Uncertainty Reasoning by Using Information
Dynamic Neural Networks for Logic Formula
A Kind of Resolution Based on NN
A Kind of Resolution Based on NN
基于双模糊神经网络的变结构控制
Local Relation Mapping Theory of Fuzzy Reasoning
On Multi-Dimension and Multiple Approximate Reasoning Based on Lvpl
Research on the Incrementally Mining Algorithm Based on Rough Set and Its Performance
Resolution Reasoning Method in Lattice-Valued Logic LP(X)
An Improving Mining Algorithm Aiming at A Kind of Specific Function of Degree of Intereest
Reasoning Principle Based on Lattice-valued Modal Propositional Logic LMP(X)
Ultraproduct Theorem of First-order Lattice-valued Logic FM
Reasoning Principle Based on an Intermediate Element Lattice-valued First-order Logic IELF(X)
Algorithm of Transforming any Formula in LP(X) to A Pure-generalized Conjunction Normal Form
A Kind of Reasoning Based on Fuzzy Neural Network
Automated Reasoning Method Based on Regular Generalized Conjunctive Normal Form of LP(X)
Four Valued Propositional Logic System FL
Design and Implement of intelligent spider's algorithm of search
Progress and Future on Lattice-Valued Logic Based on Lattice Implication Algebra
Some fuzzy LI-ideals in lattice implication algebras
Theoretical Foundations of Sequential Patterns
A Kind of Fuzzy Least Squares Support Vector Machines for Pattern Classification
Resolution principle based on lattice-valued First-order Logic LF6(X)
Process linguistic variables based on lattice implication algebra
A Resolution Method on Lattice-valued Tense Propositional Logic
Logical properties for some implication-based association rule mining
Brouwerian lattice implication algebras and LI-equation on complete
alpha-Automated Reasoning Method Based on LP(X)
The logic validity of analogy inference and learning
Lattice implication algebra model of a kind of linguistic terms and inference
The properties of implication operator on lattice implication
Design and Implement of intelligent spider's algorithm of search
A Kind of Quantitative Association Rules and It's Mining Algorithm
A method of constructing a quasi-lattice implication algebra
Study on Intelligentized Split-Spread and Intelligentized Renew-Compound of Multiplex Information-Fl
L-valued modal Fuzzy Reasoning based on the Lvpl
LI-filters in lattice implication algebras
Some discussion for the course of approaching of linguistic variable
A new process model of knowledge discoveryin database
Study on reduct and core computation in incompatible information systems
A systems analysis of improving the reasonability of appraisement system of human resource
Uncertainty Information Processing - - from theory to implementations at Southwest Jiaotong Univers
著作
Lattice-Valued Logic - - An alternative approach to treat fuzziness and incomparablity
相关项目
线性时序关系下推理的概率计量化模型
期刊论文 9
谓词逻辑与模型检验中的计量化理论
期刊论文 53 会议论文 16 著作 1
模糊推理的机制及其逻辑基础
期刊论文 29 会议论文 10
结合描述逻辑和霍恩规则的不确定推理算法
期刊论文 5 会议论文 4 专利 1
基于格值逻辑的语言真值归结自动推理研究
期刊论文 258 会议论文 118 著作 4
有限制条件的几何定理机器证明
期刊论文 9 专利 1
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
开放式规划研究
期刊论文 48 会议论文 6
基于不确定性推理的既有结构可靠性评定
期刊论文 16
徐扬的项目
第九届关于计算智能的基础与应用FLINS国际会议
交替跟踪模糊神经网络控制系统的研究
期刊论文 73 会议论文 41 著作 1
抽象模糊逻辑的研究
基于格值逻辑系统的模糊控制及其应用研究
期刊论文 41 会议论文 34 著作 1
基于格值逻辑的语言真值归结自动推理研究
期刊论文 258 会议论文 118 著作 4
第二届智能系统与知识工程国际会议
基于矛盾体分离的动态自动演绎推理研究
基于格值逻辑的α-n(t)元归结动态自动推理研究
期刊论文 279 会议论文 102 获奖 8
基于格值逻辑的不确定性推理研究
基于格值逻辑的语言真值α-广义归结自动推理研究
期刊论文 92