Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability /

• Κύριοι συγγραφείς: Xu, Yang (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Ruan, Da (http://id.loc.gov/vocabulary/relators/aut), Qin, Keyun (http://id.loc.gov/vocabulary/relators/aut), Liu, Jun (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Studies in Fuzziness and Soft Computing, 132
• Θέματα: Computational complexity.; Mathematical logic.; System theory.; Computer science-Mathematics.; Artificial intelligence.; Group theory.; Complexity.; Mathematical Logic and Foundations.; Systems Theory, Control.; Math Applications in Computer Science.; Artificial Intelligence.; Group Theory and Generalizations.

 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. 

 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.