Yang Xu, Da Ruan, Keyun Qin, Jun Liu

Lattice-Valued Logic (eBook, PDF)

An Alternative Approach to Treat Fuzziness and Incomparability

• Format: PDF

Produktbeschreibung

Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of lattice-valued logic systems and supports newly designed intelligent uncertain-information-processing systems and a wide spectrum of intelligent learning tasks.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 390
• Erscheinungstermin: 2. November 2012
• Englisch
• ISBN-13: 9783540448471
• Artikelnr.: 53088392

Autorenporträt

Yang Xu, Southwest Jiaotong University, P.R. China / Da Ruan, Belgian Nuclear Research Centre, Belgium / Keyun Qin, Southwest Jiaotong University, P.R. China / Jun Liu, The University of Manchester Institute of Science and Technology, U.K.

Inhaltsangabe

I Introduction.- 1 Introduction.- II Lattice Implication Algebras.- 2 Concepts and Properties.- 3 Filters.- 4 LI-Ideals.- 5 Homomorphisms and Representations.- 6 Topological Structure of Filter Spaces.- 7 Connections with Related Algebras.- 8 Related Issues.- III Lattice-Valued Logic Systems.- 9 Lattice-Valued Propositional Logics.- 10 Lattice-Valued First-Order Logics.- 11 Uncertainty and Automated Reasoning.- References.