Lattice-Valued Logic
An Alternative Approach to Treat Fuzziness and Incomparability
Buch in deiner Nähe kaufen
Beschreibung
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.
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.
First general introduction on lattice-valued logic Includes supplementary material: sn.pub/extras
Autor*in
Yang Xu
Themen in »Lattice-Valued Logic«
Approximated Reasoning Automated Reasoning Computer-Aided Design (CAD) Fuzzy Fuzzy Logic Fuzzy Sets Lattice Lattice Implication Algebra Lattice-Valued Logic Many Valued Logic Non-Classical Logic artificial intelligence intelligence model theory semantics