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.
| ISBN: | 9783642072796 |
| Publication date: | 5th December 2010 |
| Author: | Yang Xu |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 390 pages |
| Series: | Studies in Fuzziness and Soft Computing |
| Genres: |
Maths for engineers Cybernetics and systems theory Mathematical logic Groups and group theory Mathematical foundations Mathematical theory of computation Artificial intelligence |