位置：成果数据库 > 会议 > 会议详情页
Algorithm of Resolution Based on Matrix Operation in Classical Proposition Logic System
  • 所属机构名称：西南交通大学
  • 会议名称：The Proceeding of the Second Asian Workshop on Foundations of Software
  • 作者或编辑：3448
  • 第一作者单位：西南交通大学
  • 语言：英文
  • 成果类型：会议
  • 相关项目：基于格值逻辑的不确定性推理研究
作者： Dan Meng|Yang Xu|
同会议论文项目
基于格值逻辑的不确定性推理研究
期刊论文 93 会议论文 96 著作 1
同项目会议论文
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
基于矩阵运算的基于归结原理的自动推理算法
基于双模糊神经网络的控制器设计
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