| Description |
1 online resource (xvii, 705 pages). |
| Physical Medium |
polychrome |
| Description |
text file |
| Series |
World Scientific proceedings series on computer engineering and information science ; v. 5
|
|
World Scientific proceedings series on computer engineering and information science.
|
| Summary |
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. |
| Bibliography |
Includes bibliographical references and index. |
| Contents |
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. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Logic programming -- Congresses.
|
|
Logic programming. |
|
Soft computing -- Congresses.
|
|
Soft computing. |
| Genre/Form |
Electronic books.
|
|
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
| Added Author |
Wang, Guojun.
|
|
Li, Yongming.
|
|
Zhao, Bin (Chemistry professor)
|
| Other Form: |
Print version: International Conference on Quantitative Logic and Soft Computing (3rd : 2012 : Xi'an, China). Quantitative logic and soft computing. Singapore : World Scientific, 2012 9789814401524 (OCoLC)780478441 |
| ISBN |
9789814401531 (electronic book) |
|
9814401536 (electronic book) |
|
9814401536 |
|
