FUZZY LOGIC AND SOFT COMPUTING The K1uwer International Series on ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE Series Editor Kai-Yuan Cai Beijing University ofA eronautics and Astronautics Beijing, CHINA Editorial Advisory Board Han-Fu Chen, Institute of System Science, Chinese Academy of Sciences Jun-Liang Chen, Beijing University of Post and Telecommunication Lin Huang, Peking University Wei Li, Beijing University of Aeronautics and Astronautics Hoi-Min Lin, Institute of Software Technology, Chinese Academy of Sciences Zhi-Yong Liu, Institute of Computing Technology, Chinese Academy of Sciences Ru-Qian Lu, Institute of Mathematics, Chinese Academy of Sciences Shi-Tuan Shen, Beijing University of Aeronautics and Astronautics Qing-Yun Shi, Peking University You-Xian Sun, Zhejiang University Lian-Hua Xiao, National Natural Science Foundation of China Xiao-Hu You, Southeast University Bo Zhang, Tsinghua University Da-Zhong Zheng, Tsinghua University Bing-Kun Zhou, Tsinghua University Xing-Ming Zhou, Changsha University of Technology Also in the Series: INTELLIGENT BUILDING SYSTEMS, by Albert Ting-pat So, Wai Lok Chan; ISBN: 0-7923-8491-1 PERFORMANCE EVALUATION, PREDICTION AND VISUALIZATION OF PARALLEL SYSTEMS by Xingfu Wu; ISBN: 0-7923-8462-8 SOFTWARE DEFECT AND OPERATIONAL PROFILE MODELING by Kai-Yuan Cai; ISBN: 0-7923-8259-5 FUZZY LOGIC IN DATA MODELING: Semantics, Constraints, and Database Design by Guoqing Chen; ISBN: 0-7923-8253-6 ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS by lie Chen and Ron l. Patton; ISBN: 0-7923-8411-3 FUZZY LOGIC AND SOFT COMPUTING edited by Guoqing Chen Tsinghua University, Beijing Mingsheng Ying Tsinghua University, Beijing Kai-Yuan Cai Beijing University ofA eronautics and Astronautics, Beijing l1li.... " SPRINGER SCIENCE+BUSINESS MEDIA, LLC Library of Congress Cataloging-in-Publication Data Fuzzy logic and soft computing / edited by Guoqing Chen, Mingsheng Ying, Kai-Yuan Cai. p. cm. -- (The Kluwer international series on Asian studies in computer and information science ; 6) Includes bibliographical references (p. ). ISBN 978-1-4613-7399-5 ISBN 978-1-4615-5261-1 (eBook) DOI 10.1007/978-1-4615-5261-1 1. Soft computing. 2. Fuzzy logic. 1. Chen, Guoqing, 1956- II. Ying, Mingsheng. III. Cai, Kai-Yuan, 1965- IV. Series. QA76.9.S63F87 1999 006.3--dc21 99-44508 CIP Copyright ® 1999 by Springer Science+Business Media New York Originally published by Kluwer Academic Publishers, New York in 1999 Softcover reprint of the hardcover 1s t edition 1999 AlI 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, photo copying, recording, or otherwise, without the prior written permission of the publisher, Springer Science+Business Media, LLC. Printed on acid-free paper. To: Yan and Luke. --GQC To: Professor Chuanyuan Wen, who gave me generous support for my research on fuzzy reliability. --KYC SERIES EDITOR'S ACKNOWLEDGMENTS I am pleased to acknowledge the assistance to the editorial work by Beijing University of Aeronautics and Astronautics and the National Natural Science Foundation of China Kai-Yuan Cai Series Editor Department ofA utomatic Control Beijing University ofA eronautics and Astronautics Beijing 100083 China TABLE OF CONTENTS LIST OF CONTRIBUTORS .............................................................. ix PREFACE ................................................................................... xiii ACKNOWLEDGEMENTS .............................................................. xiv PART I INVITED PAPERS ............................................................... I I. POSSIBILISTIC LOGIC IN DECISION Didier Dubois and Henri Prade .........................................................3 2. SIMILARITY IN LOGIC PROGRAMMING Giangiacomo Gerla and Maria I. Sessa ............................................. 19 3. A FUZZY MODAL LOGIC FOR SIMILARITY REASONING LIuis Godo and Ricardo O. Rodriguez ............................................. .33 4. FUZZY DYNAMIC PROGRAMMING: BASIC ASPECTS Janusz Kacprzyk and Augustine O. Esogbue ...................................... .49 5. LINGUISTIC MODIFIERS: AN OVERVIEW Etienne E. Kerre and Martine De Cock .................................. , '" .. , '" .. 69 PART II CONTRffiUTED PAPERS. ................................................. 87 6. SOFTWARE PATTERN LAWS AND PARTIAL REPEATABILITY Kai-Yuan Cai and Jin-Hua Liao ...................................................... 89 7. THEORETICAL ANALYSES, NEW ALGORITHMS, AND SOME APPLICATIONS OF GENETIC ALGORITHMS: A REVIEW OF SOME RECENT WORK Yong Gao, Zongben Xu and Guo Li.. .............................................. 121 viii Table a/Contents 8. MEDIUM LOGIC AND ITS EVOLUTION Gale Gu, Zhaohui Zhu, Xi'an Xiao and Wujia Zhu .............................. 135 9. FUZZY WAVELET NEURAL NETWORKS: THEORY AND APPLICATIONS L. C. Jiao, F. Liu, L. Wang and Y. N. Zhang ....................................... 143 10. FACTOR SPACE CANES Hongxing Li ............................................................................ 169 11. AN APPROACH OF ADAPTIVE FUZZY CONTROL AND ITS APPLICATION TO POWER SYSTEMS Yuezhong Tang, Naiyao Zhang and Yanda Li. ................................... 181 12. ROUGH SETS AND THEIR APPLICATIONS IN DATA MINING Jue Wang ............................................................................... 195 13. PARTIAL VALUATIONS AND FUZZY REASONING Guo-Jun Wang and Wei Wang ......................................................2 13 14. LIMITS OF AGENTS IN PROCESS CALCULUS Mingsheng Ying ......................................................................2 21 15. STABLE ADAPTIVE FUZZY VARIABLE STRUCTURE CONTROL FOR A CLASS OF NONLINEAR SYSTEMS Tian-Ping Zhang and Chun-Bo Feng ...............................................2 41 16. THE CLASSIFICATION MECHANISM OF ADAPTIVE GAUSS NEURAL NETWORKS AND APPLICATION ON TARGET CLASSIFICATION Yanning Zhang and Licheng Jiao ...................................................2 57 BIBLIOGRAPHY ......................................................................... 273 INDEX ....................................................................................... 291 LIST OF CONTRIBUTORS Kai-Yuan Cai, Department of Automatic Control, Beijing University of Aeronautics and Astronautics, Beijing 100083, China, E-mail: [email protected] Martine De Cock, Fuzziness and Uncertainty Modelling, Department of Applied Mathematics and Computer Science, University of Gent, Krijgslaan 281 (S9), B- 9000 Gent, Belgium Didier Dubois, Institut de Recherche en Informatique, de Toulouse - CNRS, Universite Paul Sabatier, 118 route de Narbonne, 31062 Toulouse Cedex 4, France Augustine O. Esogbue, School of Industrial and Systems Engineering, Georgia Institute of Technology, Atlanta, GA 30332-0205, . E-mail: [email protected] Chun-Do Feng, Southeastern University, Nanjing, China Yong Gao, Institute for Information Science and System Science and Department of Mathematics, Faculty of Science, Xi'an Jiaotong University, Xi'an 710049, China Giangiacomo Gerla, DMI Universita' di Salerno, 84081 Baronissi (Salerno), Italy LIuis Godo, Institut d'Investigaci6 en, Inte1.ligencia Artificial (IlIA) - CSIC, Campus Univ. Autonoma Barcelona, 08193 Bellaterra, Spain, E-mail: [email protected] Gale Gu, Group of Mathematics, Institute of Communication and Engineering, Nanjing 210016, China Licheng Jiao, State Key Lab of RSP and Center for Neural Networks, Xidian University, Xi'an 710071, China, E-mail: [email protected] Janusz Kacprzyk, Systems Research Institute, Polish Academy of Sciences, u1. Newelska 6,01--447 Warsaw, Poland, E-mail: [email protected] Etienne E. Kerre, Fuzziness and Uncertainty Modelling, Department of Applied Mathematics and Computer Science, University of Gent, Krijgslaan 281 (S9), B- 9000 Gent, Belgium Guo Li, Institute for Information Science and System Science and Department of Mathematics, Faculty of Science, Xi'an Jiaotong University, Xi'an 710049, China x List ofC ontributors Hongxing Li, Department of Mathematics, Beijing Normal University, Beijing 100875, China Yanda Li, Department of Automation, Tsinghua University, Beijing 100084, China Jin-Hua Liao, Department of Computer Science, The University of Alabama in Huntsville, Huntsville, AL35899, USA F. Liu, State Key Lab of RSP and Center for Neural Networks, Xidian University, Xi'an 710071, China, E-mail: [email protected] Henri Prade, Institut de Recherche en Informatique, de Toulouse - CNRS, Universite Paul Sabatier, 118 route de Narbonne, 31062 Toulouse Cedex 4, France Rodriguez Ricardo 0., Dpto. de Computaci6n, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Ciudad de Buenos Aires, Argentina, E-mail: [email protected] Maria I. Sessa, DMI Universita' di Salerno, 84081 Baronissi (Salerno), Italy Yuezhong Tang, Department of Automation, Tsinghua University, Beijing 100084, China Guo-Jun Wang, Shanxi Normal University, Xi'an 710062, China Jue Wang, Institute of Automation, Chinese Academy of Sciences, Beijing 100080, China, E-Mail: [email protected] L. Wang, State Key Lab of RSP and Center for Neural Networks, Xidian University, Xi'an 710071, China, E-mail: [email protected] Wei Wang, Shanxi Economics and Trade Institute, Xi'an, 710061, China Xi'an Xiao, Group of Mathematics, Meteorological College of the Air Force, CPLA, Nanjing 211100, China Zongben Xu, Institute for Information Science and System Science and Department of Mathematics, Faculty of Science, Xi'an Jiaotong University, Xi'an 710049, China Mingsbeng Ying, State Key Laboratory of Intelligent Technology and Systems, Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China, E-mail: [email protected] Naiyao Zbang, Department of Automation, Tsinghua University, Beijing 100084, China