Title: Fuzzy sets, logics, and reasoning about knowledge /
Authors: Dubois, Didier.; Prade, Henri M.; Klement, E. P.
Publisher: Kluwer Academic,
Year: 1999
Subjects: Many-valued logic.; Fuzzy logic.; Fuzzy sets.; Fuzzy sets.; Fuzzy logic.; Many-valued logic.
Abstract: "The aim of this book is to report on recent results pertaining to genuinely logical aspects of fuzzy sets in relation to algebraic considerations, to knowledge representation and commonsense reasoning. It is the first one to propose a state-of-the-art glance at the current status of multiple-valued and fuzzy set-based logics, in an Artificial Intelligence perspective. This volume gathers recent surveys or contributions written by many leading contributors in fuzzy sets, logics and artificial intelligence." "This book will be of interest to scholars and graduate students in logics, algebra, knowledge representation and formal aspects of artificial intelligence."--Jacket.
Contents: Introduction : Bridging the gap between multiple-valued logics, fuzzy logic, uncertain reasoning and reasoning about knowledge / Didier Dubois, Henri Prade and Erich Peter Klement -- The Poincaré paradox and non-classical logics / Ulrich Höhle -- Propositional fuzzy logics based on Frank t-norms : a comparison / Erich Peter Klement and Mirko Navara -- A resolution-based axiomatisation of 'bold' propositional fuzzy logic / Stephan Lehmke -- How to make your logic fuzzy : fibred semantics and the weaving of logics / Dov M. Gabbay -- Introducing grade to some metalogical notions / Mihir K. Chakraborty and Sanjukta Basu -- Closure operators, fuzzy logic and constraints / Giangiacomo Gerla -- Ulam game, the logic of MaxSat, and many-valued partitions / Daniele Mundici -- A many-valued generalisation of the ultrapower construction / Costas A. Drossos -- Gabriel filters and the spectrum of an MV-algebra / Panagis Karazeris --^