Multiary α-resolution principle for a lattice-valued logic
This paper focuses on resolution-based automated reasoning theory in a lattice-valued logic
system with truth values that are defined in a lattice-valued logical algebraic structure-lattice …
system with truth values that are defined in a lattice-valued logical algebraic structure-lattice …
An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
It is commonsense that people do express, think, reason, and make decision directly using
linguistic terms in natural language rather than using numerical quantification. How to …
linguistic terms in natural language rather than using numerical quantification. How to …
α-Generalized lock resolution method in linguistic truth-valued lattice-valued logic
This paper focuses on efficient non-clausal resolution-based automated reasoning methods
and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to …
and algorithms for a lattice-ordered linguistic truth-valued logic, which corresponds to …
2-Dimension Linguistic Lattice Implication Algebra
H Zhu, J Zhao, W Chang, Y Xu - 2015 10th International …, 2015 - ieeexplore.ieee.org
This paper concerns the representation of the linguistic evaluation set, which is often a total
order set for its simple structure and operations. However, in some uncertain situations, the …
order set for its simple structure and operations. However, in some uncertain situations, the …
Non-Clausal Multi-ary α-Generalized Resolution Calculus for a Finite Lattice-Valued Logic
Due to the need of the logical foundation for uncertain information processing, development
of efficient automated reasoning system based on non-classical logics is always an active …
of efficient automated reasoning system based on non-classical logics is always an active …
(α, β)-Ordered linear resolution of intuitionistic fuzzy propositional logic
L Zou, XN Li, C Pan, X Liu - Information Sciences, 2017 - Elsevier
This paper presents an approach for (α, β)-resolution-based automated reasoning in
intuitionistic fuzzy propositional logic (IFL). In IFL systems, every IFL formula with both a truth …
intuitionistic fuzzy propositional logic (IFL). In IFL systems, every IFL formula with both a truth …
A decision making approach with linguistic weight and unavoidable incomparable ranking
Y Zhang, D Huang, W Gao, VG Kaburlasos - International Journal of …, 2019 - Springer
In order to deal with the decision making problem including some linguistic values
uncertainty information, we propose an approach for decision making with linguistic …
uncertainty information, we propose an approach for decision making with linguistic …
On the algebraic structure of binary lattice-valued fuzzy relations
X Pan, Y Xu - Soft Computing, 2013 - Springer
From a general algebraic point of view, this paper aims at providing an algebraic analysis for
binary lattice-valued relations based on lattice implication algebras—a kind of lattice-valued …
binary lattice-valued relations based on lattice implication algebras—a kind of lattice-valued …
基于语言值相似度推理的网络商家自评价方法
崔晓松, 王颖, 孟佳, 邹丽 - 山东大学学报(工学版), 2017 - gxbwk.njournal.sdu.edu.cn
为更合理的表示不确定性知识ꎬ 在格蕴涵代数的基础上ꎬ 运用不同程度的语气词表达一个模糊
命题的真值程度ꎬ 建立一个基于2n 元语言值格值一阶逻辑的知识表示模型ꎮ …
命题的真值程度ꎬ 建立一个基于2n 元语言值格值一阶逻辑的知识表示模型ꎮ …
[PDF][PDF] a-Paramodulation Method for a Lattice-Valued Logic LnF (X) with Equality
X He, Y Xu, J Liu, Y Li - core.ac.uk
In this paper, a-paramodulation and a-GH paramodulation methods are proposed for
handling logical formulas with equality in a lattice-valued logic LnF (X), which has unique …
handling logical formulas with equality in a lattice-valued logic LnF (X), which has unique …