Formalization of implication based fuzzy reasoning method
From MaRDI portal
Publication:448954
DOI10.1016/j.ijar.2012.01.007zbMath1246.03049OpenAlexW2009336331MaRDI QIDQ448954
Publication date: 11 September 2012
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2012.01.007
Fuzzy logic; logic of vagueness (03B52) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items
Quintuple implication principle on interval-valued intuitionistic fuzzy sets ⋮ Interval-valued fuzzy reasoning method based on similarity measure ⋮ Interval-valued quintuple implication principle of fuzzy reasoning ⋮ On the \(\alpha(u,v)\)-symmetric implicational method for \(\mathrm{R}\)- and \((\mathrm{S},\mathrm{N})\)-implications ⋮ Modus ponens property of \(T\)-power based implications ⋮ Reducing computational overhead by improving the CRI and IRI implication step ⋮ Interval-valued fuzzy reasoning full implication algorithms based on the t-representable t-norm ⋮ Robustness of full implication algorithms based on interval-valued fuzzy inference ⋮ On residual implications derived from 2-uninorms ⋮ Constructive methods for intuitionistic fuzzy implication operators ⋮ Algebraic structures of interval-valued fuzzy \((S,\mathcal N)\)-implications ⋮ A survey of fuzzy implication algebras and their axiomatization ⋮ The dual triple I methods of FMT and IFMT ⋮ Logical foundation of the quintuple implication inference methods ⋮ Lattice-valued simulations for quantitative transition systems ⋮ Triple I method of approximate reasoning on Atanassov's intuitionistic fuzzy sets ⋮ On the symmetric quintuple implicational method of fuzzy reasoning ⋮ On \((G, N)\)-implications derived from grouping functions ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ On interval \((\mathbb{G}, \mathbb{N})\)-implications and \((\mathbb{O}, \mathbb{G}, \mathbb{N})\)-implications derived from interval overlap and grouping functions ⋮ Multiple-rules reasoning based on triple I method on Atanassov's intuitionistic fuzzy sets ⋮ PROPERTY ANALYSIS OF TRIPLE IMPLICATION METHOD FOR APPROXIMATE REASONING ON ATANASSOVS INTUITIONISTIC FUZZY SETS ⋮ Triple I algorithms based on Schweizer-Sklar operators in fuzzy reasoning ⋮ Robustness analysis of full implication inference method ⋮ Symmetric implicational method of fuzzy reasoning ⋮ On a new class of implications: \((g,u)\)-implications and the distributive equations ⋮ On fuzzy implications: an axiomatic approach ⋮ Hierarchical structure and applications of fuzzy logical systems ⋮ On robustness of the full implication triple I inference method with respect to finer measurements ⋮ Simulation for lattice-valued doubly labeled transition systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The role of fuzzy sets in decision sciences: old techniques and new directions
- Topology vs generalized rough sets
- Distributive equations of implications based on nilpotent triangular norms
- The completeness and applications of the formal system \(\mathcal L^\ast\)
- Unified forms of fully implicational restriction methods for fuzzy reasoning
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- The concept of a linguistic variable and its application to approximate reasoning. I
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On equivalent forms of fuzzy logic systems NM and IMTL
- Triple I method of fuzzy reasoning
- Formalized theory of general fuzzy reasoning.
- Triangular norms
- Non-fuzzy versions of fuzzy reasoning in classical logics
- On the strict logic foundation of fuzzy reasoning
- \(R _{0}\) implication: Characteristics and applications
- On the logic foundation of fuzzy reasoning
- Unified full implication algorithms of fuzzy reasoning
- Unified forms of Triple I method
- Fuzzy logic in control systems: fuzzy logic controller. II
- Outline of a New Approach to the Analysis of Complex Systems and Decision Processes