METAMATHEMATICS OF FUZZY LOGIC

Transcription

1 METAMATHEMATICS OF FUZZY LOGIC

2 TRENDS IN LOGIC Studia Logica Library VOLUME 4 Managing Editor Ryszard Wojcicki, Institute ofphilosophy and Sociology, Polish Academy ofsciences, Warsaw, Poland Editors Petr Hajek, Institute ofcomputer Sciences, Academy ofsciences ofthe Czech Republic, Prague, Czech Republic David Makinson, Ville d'avray, France Daniele Mundici, Department ofcomputer Sciences, University ofmilan, Italy Krister Segerberg, Department ofphilosophy, Uppsala University, Uppsala, Sweden Alasdair Urquhart, Department ofphilosophy, University oftoronto. Canada Assistant Editor Jacek Malinowski, Box 61, UPT , Warszawa 37, Poland SCOPE OF THE SERIES Trends in Logic is a bookseries covering essentially the same area as the journal Studia Logica - that is, contemporary formal logic and its applications and relations to other disciplines. These include artificial intelligence, informatics, cognitive science, philosophy of science, and the philosophy of language. However, this list is not exhaustive, moreover, the range of applications, comparisons and sources of inspiration is open and evolves over time. The titles published in this series are listed at the end ofthis volume.

3 PETRHĂJEK Institute o/computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic METAMATHEMATICS OF FUZZY LOGIC SPRINGER-SCIENCE+BUSINESS MEDIA, B.V.

4 A C.I.P. Catalogue record for this book is available from the Library of Congress. ISBN ISBN (ebook) DOI / Printed on acid-free paper AII Rights Reserved 1998 Springer Science+Business Media Dordrecht Originally published by Kluwer Academic Publishers in 1998 Softcover reprint of the hardcover 1 st edition 1998 No part of the material protected by this copyright notice may be reproduced or utilized in any form or by any means, electronic or mechanical, incjuding photocopying, recording or by any information storage and retrieval system, without written permission from the copyright owner

5 To my wife Marie, to my daughter Marie, to my son Jonas, to my grandson Jonas with love.

6 CONTENTS CONTENTS PREFACE v vii CHAPTER ONE I PRELIMINARIES Introduction A survey of Boolean propositional logic Boolean predicate calculus Function symbols; varieties ofalgebras Lattices and Boolean algebras Ordered Abelian groups 22 CHAPTER TWO I MANY-VALUED PROPOSITIONAL CALCULI Continuous t-norms and their residua The basic many-valued logic Residuated lattices; a completeness theorem Some additional topics 56 CHAPTER THREE I LUKASIEWICZ PROPOSITIONAL LOGIC Getting Lukasiewicz logic MV-algebras; a completeness theorem Rational Pavelka logic 79 CHAPTER FOUR I PRODUCT LOGIC, GODEL LOGIC Product logic GOdellogic Appendix: Boolean logic 103 CHAPTER FIVE I MANY-VALUED PREDICATE LOGICS The basic many-valued predicate logic Completeness Axiomatizing GOdellogic Lukasiewicz and product predicate logic Many-sorted fuzzy predicate calculi Similarity and equality 141 v

7 Vi CONTENTS CHAPTER SIX I COMPLEXITY AND UNDECIDABILITY Preliminaries Complexity of fuzzy propositional calculi Undecidability of fuzzy logics 161 CHAPTER SEVEN I ON APPROXIMATE INFERENCE The compositional rule of inference Fuzzy functions and fuzzy controllers An alternative approach to fuzzy rules 189 CHAPTER EIGHT I GENERALIZED QUANTIFIERS AND MODALI- TIES Generalized quantifiers in Boolean logic Two-valued modal logics Fuzzy quantifiers and modalities On "probably" and "many" More on "probably" and "many" 238 CHAPTER NINE I MISCELLANEA Takeuti-Titani fuzzy logic An abstract fuzzy logic On the liar paradox Concluding remarks 271 CHAPTER TEN I HISTORICAL REMARKS Until the forties The fifties The sixties The seventies The eighties The nineties 281 REFERENCES 283 INDEX 295

8 PREFACE This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. Some important systems of real-valued propositional and predicate calculus are defined and investigated. The aim is to show that fuzzy logic as a logic of imprecise (vague) propositions does have well developed formal foundations and that most things usually named "fuzzy inference" can be naturally understood as logical deduction. There are two main groups of intended readers. First, logicians: they can see that fuzzy logic is indeed a branch of logic and may find several very interesting open problems. Second, equally important, researchers involved in fuzzy logic applications and soft computing. As a matter offact, most ofthese are not professional logicians so that it can easily happen that an application, clever and succcessful as it may be, is presented in a way which is logically not entirely correct or may appear simple-minded. (Standard presentations ofthe logical aspects of fuzzy controllers are the most typical example.) This fact would not be very important ifonly the bon ton oflogicians were harmed; but it is the opinion ofthe author (who is a mathematical logician) that a better understanding of the strictly logical basis of fuzzy logic (in the usual broad sense) is very useful for fuzzy logic appliers since if they know better what they are doing, they may hope to do it better. Still more than that: a better mutual understanding between (classical) logicians and researchers in fuzzy logic promises to lead to deeper cooperation and new results. The book has been developed from a series of lectures which I held first in the Institute of Computer Science of the Academy of Sciences of the Czech Republic (for postgraduate students) and then also at the Technical University of Vienna, Austria. My paper [75] was the first draft of the contents of the book. Later I had the opportunity to give tutorials on fuzzy logic at the Helena Rasiowa minisemester at Warsaw in winter 1996, for Italian PhD students at Ravello in spring 1997 and at the IFSA congress in Prague, as well as the FUZZ-IEEE congress at Barcelona in summer There is written material that appeared as ref. [81]. I am indebted to my collaborators Ivan Kramosil, Ms. Dagmar Harmancova, Milan Daniel, David Coufal and David Svejda for stimulating comments and cooperation. I have extremely enjoyed long-term cooperation with my Spanish (Catalan) colleagues F. Esteva and L. Gado. I have learned from the work of and contact with S. Gottwald, D. Mundici, U. Hohle, M. Baaz, VB

9 viii PREFACE J. Paris, J. Shepherdson, Ms. Isabel Ferreirim and several other colleagues. Finally, the criticism of the anonymous referee was helpful in the final stage of writing this book. The text was typed in LaTex by Ms. Iva Sindelkova, 1. Oliverius and Ms. I. Baranovska. My Tex experts were A. Stedry and R. Neruda. My thanks go to all of them. I also recognize partial support by the COST Action 15 and the grant No A of the Grant Agency of the Academy of Sciences of the Czech Republic; this support has been crucial for attending conferences, meeting people and buying relevant books. Finally let me mention two related monographs in preparation: Cignoli, D'Ottaviano and Mundici [30] and Gottwald [66] (English version of his [67].) The overlap with the present book is small and the books complement each other. Prague, September 1997.