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.
• Φυσική περιγραφή: XVI, 390 p. online resource.
• ISBN: 9783540448471
• ISSN: 1434-9922 ;
• DOI: 10.1007/978-3-540-44847-1

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.