Buch, Englisch, 390 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 622 g
An Alternative Approach to Treat Fuzziness and Incomparability
Buch, Englisch, 390 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 622 g
Reihe: Studies in Fuzziness and Soft Computing
ISBN: 978-3-642-07279-6
Verlag: Springer
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.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Maschinelles Lernen
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Fuzzy-Systeme
- Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik Mathematik Numerik und Wissenschaftliches Rechnen Angewandte Mathematik, Mathematische Modelle
Weitere Infos & Material
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.
