Mathematical Principles of Fuzzy Logic

Transcription

1 Mathematical Principles of Fuzzy Logic

2 THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE

3 MATHEMATICAL PRINCIPLES OF FUZZY LOGIC VILEM N O V K University of Ostrava Institute for Research and Applications of Fuzzy Modeling Brafova 7, Ostrava 1, Czech Republic IRINA PERFILIEVA Moscow State Academy of Instrument Making Stromynka 20, Moscow, Russia and University of Ostrava Institute for Research and Applications of Fuzzy Modeling Brafova 7, Ostrava 1, Czech Republic JIRI MOCKOR University of Ostrava Institute for Research and Applications of Fuzzy Modeling Brafova 7, Ostrava 1, Czech Republic... " Springer-Science+Business Media, LLC

4 Library of Congress Cataloging-in-Publication Data Novak, Vilem. Mathematical principles of fuzzy logic I Vilem Novak, Irina Perfilieva and Jiri Mockor. p. cm. -- (The Kluwer international series in engineering and computer science ; secs 517) Includes bibliographical references and index. ISBN ISBN (ebook) DOI / Fuzzy logic. 1. Perfilieva, Irina II. Mockof, Jin. III. Title. IV. Series. QA9.64.N dc CIP Copyright 1999 by Springer Science+Business Media New York Originally published by Kluwer Academic Publishers in 1999 Softcover reprint ofthe hardcover Ist edition 1999 AII rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, mechanical, photocopying, recording, or otherwise, without the prior written permission of the publisher, Springer-8cience+Business Media, LLC. Printed an acid-free paper.

5 To David and Martin, to Vitalij, to Sona, Marek and Katerina, with love

6 Contents Preface xi 1. FUZZY LOGIC: WHAT, WHY, FOR WHICH? Vagueness and Uncertainty Vagueness and Fuzzy Sets What Is Fuzzy Logic Outline of the Agenda of Fuzzy Logic ALGEBRAIC STRUCTURES FOR LOGICAL CALCULI Algebras for Logics Boolean algebras Residuated lattices and MV-algebras Filters and Representation Theorems Elements of the theory of t-norms Introduction to Topos Theory T opos theory Lattice of subobjects in topos LOGICAL CALCULI AND MODEL THEORY Classical Logic Propositional logic Predicate logic Many-sorted predicate logic Classical Model Theory Formal Logical Systems Model Theory in Categories FUZZY LOGIC IN NARROW SENSE Graded Formal Logical Systems Truth Values Intuition on truth values and operations with them Truth values as algebras Why Lukasiewicz algebra Enriching structure of truth values Predicate Fuzzy Logic of First-Order 114

7 Vlll MATHEMATICAL PRINCIPLES OF FUZZY LOGIC Syntax and semantics Basic properties of fuzzy theories Consistency of fuzzy theories Extension of fuzzy theories Henkin fuzzy theories Complete fuzzy theories Lindenbaum algebra of formulas and its properties Completeness theorems Sorites fuzzy theories Partial inconsistency and the consistency threshold Additional connectives Disposing irrational logical constants 4.4 Fuzzy Theories with Equality and Open Fuzzy Theories Fuzzy theories with equality Consistency theorem in fuzzy logic Herbrand theorem in fuzzy logic 4.5 Model Theory in Fuzzy Logic Basic concepts of fuzzy model theory Chains of models Ultraproduct theorem 4.6 Recursive Properties of Fuzzy Theories FUNCTIONAL SYSTEMS IN FUZZY LOGIC THEORIES Fuzzy Logic Functions and Their Representation by Formulas Formulas and their relation to fuzzy logic functions Piecewise linear functions and their representation by formulas Normal Forms for FL-Functions and Formulas of Propositional Fuzzy Logic Normal forms for L-valued FL-functions Normal forms for functions represented by formulas FL-Relations and Their Connection with Formulas of Predicate Fuzzy Logic FL-Relations and Their Representation by Formulas Normal Forms and Approximation Theorems Representation of FL-relations and Consistency of Fuzzy Theories Approximation of Continuous Functions by Fuzzy Logic Normal Forms Approximation of continuous functions through FL- relations Approximation of continuous functions determined by a defuzzification operation Representation of Continuous Functions by the Conjunctive Normal Form FUZZY LOGIC IN BROADER SENSE Partial Formalization of Natural Language Evaluating and simple conditional linguistic syntagms Translation of evaluating syntagms and predications into fuzzy logic The meaning of simple evaluating syntagms Formal Scheme of FLb Special Theories in FLb Independence of formulas Deduction on simple linguistic descriptions Fuzzy approximation based on simple linguistic descriptions 249

8 Contents IX 7. TOPOl AND CATEGORIES OF FUZZY SETS 7.1 Category of O-sets as generalization of fuzzy sets 7.2 Category of O-fuzzy sets O-fuzzy sets over MV-algebras 7.3 Interpretation of formulas in the category CO - Set 8. FEW HISTORICAL AND CONCLUDING REMARKS References Index

9 Preface This book is an attempt to provide a systematic course of the formal theory of fuzzy logic. We made a lot of effort to be precise, but at the same time to explain the motivation and interpretation of all the results and, if possible, to accompany the theory by examples. There are a lot of other books on various aspects of fuzzy logic. Our book is more specific from the point of view of several aspects. First, it is based on logical formalism demonstrating that fuzzy logic is a well developed logical theory. Second, it includes the theory of functional systems in fuzzy logic, which provide explanation of what, and how can be represented by formulas of fuzzy logic calculi. Third, except for the generalization of the classical way of interpretation within the environment of fuzzy sets constructed over classical sets, it also presents much more general interpretation of fuzzy logic within the environment of other proper categories of fuzzy sets stemming either from the topos theory, or even generalizing the latter. Last but not least, the leading philosophical point of view is presentation of fuzzy logic especially as the theory of vagueness as well as the theory of the common-sense human reasoning, which is based on the use of natural language, the distinguished feature of which is vagueness of its semantics. We expect the book to be read by people interested in fuzzy logic and related areas, and also by logicians, mathematicians and computer scientists interested in mathematical aspects of fuzzy logic. It can be used in special courses of fuzzy logic, artificial and computational intelligence, in master and post-gradual university studies, in advanced courses on various applications including fuzzy control, decision-making and others. The book is divided into eight chapters. The first chapter is introductory and it provides motivation for the development of fuzzy logic, describes its structure and outlines its potential for applications. Fuzzy logic is there divided into that in narrow sense (FLn), which is a special many-valued logic aiming at description of the vagueness phenomenon and that in broader sense (FLb), whose aim is to provide a formal theory for modeling of natural human deduction based on the use of natural language. It is argued that characterization of the vagueness phenomenon is fundamental for further development of fuzzy logic as well as its applications.

10 xii MATHEMATICAL PRINCIPLES OF FUZZY LOGIC The second chapter is an overview of the basic algebraic concepts necessary for characterization of the structure of truth values and for understanding to the subsequent chapters. The third chapter briefly reminds basic concepts of classical logic, and also the notation which is employed further. The main chapters of the book are fourth to seventh. The fourth chapter contains explanation of fuzzy logic in narrow sense. We confine ourselves mainly to fuzzy logic based on the Lukasiewicz algebra of the truth values. Many reasons have been given arguing that this requirement is a necessary consequence of the assumptions, which seem to be natural and convincing. Among them, essential are continuity of the connectives (this follows from the conviction that vagueness phenomenon requires continuity) and completeness (balance between syntax and semantics). We prove lemmas and theorems characterizing behaviour of FLn, including deduction, contradiction, and others. The main result is the completeness theorem. Besides this, we also outline fundamentals of the model theory and discuss questions concerning computability. The fifth chapter describes functional systems related to propositional and predicate calculi of fuzzy logic. A notable role here is played by the well known McNaughton theorem. We provide a constructive proof of it and then, deduce a canonical representation of formulas of propositional fuzzy logic as well as some special representation of formulas of predicate fuzzy logic. A special attention has been paid to the generalization of disjunctive and conjunctive normal forms into fuzzy logic. Among the main properties of them, the ability to represent approximately continuous functions including evaluation of the quality of the approximation has been investigated. The sixth chapter extends the previous theory to obtain a theory of parts of natural language to constitute fuzzy logic in broader sense. We present a formalization of the concepts of intension and extension, evaluating linguistic syntagms and linguistic description (a set of IF-THEN rules), and demonstrate some theorems characterizing their behaviour. The seventh chapter is more abstract and deals with fuzzy sets and fuzzy logic within category theory. First, we present properties of three possible categories of fuzzy sets. The subsequent sections provide the reader with a general picture of fuzzy logic interpreted in top os and its place in topos logic. We tried to show two possible approaches. The first one is based on top os theory and Heyting algebra structures defined on the set of subobjects. The second one is based on the MV -algebra structures defined on these sets. In this book, we present some of the results and consequences, which could be useful from the point of view of fuzzy set theory. In particular, we tried to show explicitly similarities between the obtained categories and topoi, and to show how the internal logic in these categories could be directly developed. The book is concluded by a short, eighth chapter giving a brief overview of the history of fuzzy logic and outlining some of its actual problems to be solved in the future. Sections 2.4, 3.4 and Chapter 7 have been written by J. Mockor. Chapter 5 has been written by 1. Perfilieva and Chapters 4 and 6 by V. Novak. The rest has has been written by by the latter two authors together.

11 PREFACE xiii This book has been prepared mostly in the Institute for Research and Applications of Fuzzy Modeling of the University of Ostrava, Czech Republic, which has been established on the basis of the project VS of the Ministry of Education, Youth and Physical Training of the Czech Republic. Some parts have been prepared also in the Moscow State Academy of Instrument-Making and Informatics, Russia, and Institute of the Theory of Information and Automation of the Academy of Sciences of the Czech Republic. We wish to express our thanks to all who helped us in the preparation of this book. On the first place, we thank to people whose work has been for us the main source of knowledge and inspiration, namely P. Hajek from UI AS OR, U. Hahle from the University of Wuppertal, D. Mundici form the University of Milano and A. dinola from the University of Salerno. Further, we thank to the people who have read the manuscript and helped us to improve it on many places, namely to R. Belohlavek and A. Dvorak from IRAFM, University of Ostrava, and to S. Gottwald from the University of Leipzig. We want also to thank to our Chinese friends, M. Ying and G. Chen from Beijing Tschingua University, and G. Wang from ShaanXi Normal University for their hospitality, which helped to write some parts of this book during the stay of the first two authors in China. Last but not least, we want to thank to Prof. T. Kreck, director of the Institut fur Mathematik in Oberwolfach, and also to other workers of it for providing us unexceptionable working conditions in which significant portions of the book have been written. Ostrava, May 1999 Vilem Novak, Irina Perfilieva, Jiif Mockof