|
![]() |
|||
|
||||
OverviewLattice-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. Full Product DetailsAuthor: Yang Xu , Da Ruan , Keyun Qin , Jun LiuPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2003 ed. Volume: 132 Dimensions: Width: 15.50cm , Height: 2.30cm , Length: 23.50cm Weight: 1.690kg ISBN: 9783540401759ISBN 10: 354040175 Pages: 390 Publication Date: 15 July 2003 Audience: General/trade , General Format: Hardback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsI 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |