Lattice-Valued Logic [electronic resource] : An Alternative Approach to Treat Fuzziness and Incomparability /

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.

Bibliographic Details

Main Authors:	Xu, Yang. author., Qin, Keyun. author., Ruan, Da. author., Liu, Jun. author., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003
Subjects:	Engineering., Computer science, Artificial intelligence., Group theory., System theory., Mathematical logic., Complexity, Computational., Complexity., Mathematical Logic and Foundations., Systems Theory, Control., Math Applications in Computer Science., Artificial Intelligence (incl. Robotics)., Group Theory and Generalizations.,
Online Access:	http://dx.doi.org/10.1007/978-3-540-44847-1
Tags:	Add Tag No Tags, Be the first to tag this record!