Lattice-Valued Logic
Springer Berlin (Verlag)
978-3-642-07279-6 (ISBN)
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.
| Erscheint lt. Verlag | 5.12.2010 |
|---|---|
| Reihe/Serie | Studies in Fuzziness and Soft Computing |
| Zusatzinfo | XVI, 390 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 620 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Technik | |
| Schlagworte | Approximated Reasoning • Artificial Intelligence • automated reasoning • Complexity • Computer-Aided Design (CAD) • fuzzy • Fuzzy Logic • Fuzzy Sets • Intelligence • lattice • Lattice Implication Algebra • Lattice-Valued Logic • Many Valued Logic • model Theory • Non-Classical Logic • Semantics |
| ISBN-10 | 3-642-07279-8 / 3642072798 |
| ISBN-13 | 978-3-642-07279-6 / 9783642072796 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
