Quantitative logic and soft computing proceedings of the Ql & Sc 2012, Xi'an, China, 12-15 May 2012 (World Scientific, 2012)
The QL & SC 2012 is a major symposium for scientists, and practitioners all around the world to present their latest researches, results, ideas, developments and applications in such areas as quantitative logic, many-valued logic, fuzzy logic, quantification of software, artificial intelligence, fuzzy sets and systems and soft computing. This invaluable book provides a broad introduction to the fuzzy reasoning and soft computing. It is certain one should not go too far in approximation and optimization, and a certain degree must be kept in mind. This is the essential idea of quantitative logic a
Includes bibliographical references and index
Weighted automata and quantitative logics / M. Droste -- On the role of [symbol]-groups and Po-groups for algebraic and quantum structures / A. Dvurecenskij -- Personalised recommender systems for e-business intelligence with soft computing / J. Lu -- Types of bipolarity and bipolar structures / J. Montero [and others] -- Granular logic systems and their development in the setting of granular fuzzy relational equations / W. Pedrycz -- An axiomatic method for evaluating goodness of closed predicate propositions containing no function letters / G.-J. Wang -- Intelligent learning systems for soft information / R.R. Yager -- Semantic resolution principle in propositional valuation algebra / B.H. Han and X.N. Li -- Logical properties of the system L[symbol] and their applications / L. Zhang and D.W. Pei -- Continuity of fuzzy peasoning in several metrics / S.S. Dai, D.W. Pei and L. Li -- Falsity accumulation theory in multi-valued Godel logic system / X.J. Hui --
- The affine transformation in quantitative logic / Q.P. Wang and G.-J. Wang -- Accuracy and roughness measures for formulae in rough logic / Y.H. She and X.L. He -- Many-valued modal logic metric spaces based on frames / H.X. Shi and G.-J. Wang -- Riecan and Bosbach states on Glivenko residuated lattices / H.-J. Zhou -- Matching function-based fully implicational methods for fuzzy reasoning / H.W. Liu and P.J. Xue -- Fuzzy preunivex functions / L.F. Li, S.Y. Liu and J.K. Zhang -- Sunstructiral fuzzy logics with N-contraction / S.M. Wang -- The semantics theory for multi-valued reasoning about knowledge / L.N. Ma and S. Liu -- The probability-truth degree of uncertain propositional formula / X.F. Zhang and G.W. Meng -- The approximate reduction in many-valued propositional logic systema L[symbol] / P. Yu -- Cirquent calculus system CL8S versus calculus of structures systems SKSG for propositional logic / W.Y. Xu and S.Y. Liu --
- Truth degree of formulas and state theory / D.W. Pei, L. Li and L.L. Xie -- Theory of [symbol]-fuzzy truth degree relative to finite theory in logic system R[symbol] / G.N. Xu and Y.M. Li -- Truth degree and nearness on fuzzy sets based on Lukasiewicz implication / D.-X. Zhang and S.-L. Chen -- The classical symmetrical logic metric sub-space / M.D. Hu -- Generalized R-calculus / Q.-Y. He, J. Ding and L.-S. Xu -- Universal triple I method and its application to textual emotion polarity recognition / Y.M. Tang, F.J. Ren and Y.X. Chen -- A quantitative relation model between trustworthy attributes / H.W. Tao and Y.X. Chen -- Bisimilarity for fuzzy doubly labeled transition systems / H.Y. Pan, M. Zhang and Y.X. Chen -- Fuzzy random expected value model based multi-objective optimization routing for wireless sensor networks / J.L. Lu and X.M. Wang