Fuzzy sets, logics, and reasoning about knowledge
By: edited by Didier Dubois, Henri Prade, and Erich Peter Klement
Contributors: Dubois, Didier; Prade, Henri M; Klement, E. P.
Series: Applied logic series -- v. 15
Publisher: Kluwer Academic
Published: 1999
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 423
Subjects: Many-valued logic; Fuzzy logic; Fuzzy sets
Description: "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.
Notes: Includes bibliographical references and index
Table of contents: title: Introduction : Bridging the gap between multiple-valued logics, fuzzy logic, uncertain reasoning and reasoning about knowledge / Didier Dubois, Henri Prade and Erich Peter Klement; title: The Poincaré paradox and non-classical logics / Ulrich Höhle; title: Propositional fuzzy logics based on Frank t-norms : a comparison / Erich Peter Klement and Mirko Navara; title: A resolution-based axiomatisation of 'bold' propositional fuzzy logic / Stephan Lehmke; title: How to make your logic fuzzy : fibred semantics and the weaving of logics / Dov M. Gabbay; title: Introducing grade to some metalogical notions / Mihir K. Chakraborty and Sanjukta Basu; title: Closure operators, fuzzy logic and constraints / Giangiacomo Gerla; title: Ulam game, the logic of MaxSat, and many-valued partitions / Daniele Mundici; title: A many-valued generalisation of the ultrapower construction / Costas A. Drossos; title: Gabriel filters and the spectrum of an MV-algebra / Panagis Karazeris; title: Conditional states in finite-valued logics / Antonio Di Nola, George Georgescu and Ada Lettieri; title: Conditioning on MV-algebras and additive measures; title: further results / Siegfried Weber; title: Toward adequacy conditions for inference schemata in approximate reasoning : the case of the rule of syllogism / Siegfried Gottwald; title: Formal theories in fuzzy logic / Vilém Novák; title: A note on fuzzy inference as deduction / Lluís Godo and Petr Hájek; title: The role of similarity in fuzzy reasoning / Frank Klawonn; title: T-indistinguishability operators and approximate reasoning via CRI / Dionis Boixander and Joan Jacas; title: About similarity-based logical systems / Francesco Esteva, Pere Garcia and Lluís Godo; title: On similarity-based fuzzy clusterings / Helmut Thiele; title: Informational representability : abstract models versus concrete models / Stéphane Demri and Ewa Orłowska; title: From possibilistic information to Kleene's strong multi-valued logics / Gert De Cooman; title: A roadmap of qualitative independence / D. Dubois ... [et al.]; title: Truth functionality and measure-based logics / Luca Boldrin and Claudio Sossai; title: Logic programs with context-dependent preferences / Gerhard Brewka; title: An overview of inconsistency-tolerant inferences in prioritized knowledge bases / Salem Benferhat, Didier Dubois and Henri Prade