Preface
It constitutes a great honor for us to publish the selected papers of the 5th Congress of Logic Applied to Technology – LAPTEC'2005 held in Himeji, JAPAN, from April 2nd to 4th, 2005. LAPTEC'2005 was hosted School of Human Science and Environment – University of Hyogo in Japan. It was the first time for LAPTEC to be held in other countries than Brazil since its birth in 2000, and has made the congress more international, with delegates from Japan, Brazil, Taiwan, China, Australia, Brunei. In LAPTEC'2005 we promoted discussion and interaction between researchers and practitionaers focused on both theoretical and practical disciplines concerning logics applied to technology, with diverse backgrounds including all kinds of intelligent systems having classical or non-classical logics as underlying common matters.
First of all, we would like to express our greatest gratitude to Dr. Isao Shirakawa who accepted our offer to be the general chair of LAPTEC'2005, and Dr.Yutaka Suzuki (Univ. Hyogo, Vice President) and Dr.Akihiro Amano (Univ. Hyogo, Vice President) who have kindly presented their great invited lectures in the congress. We also would like to express our gratitude to Dr. Tetsuya Murai and Dr. Masahiro Inuikuchi who have organized the workshop “Rough Sets and Granularity” in LAPTEC'2005, Prof. Germano Lambert Torres (Univ. Itajuba - Brazil) and his staff for the construction of the web site of the LAPTEC2005 and its maintenance, and all other committee members.
We have chairs and committees in LAPTEC'2005 as
General Chairs: Isao Shirakawa (Japan), Kazumi Nakamatsu (Japan), Jair Minoro Abe (Brazil)
Honorary Committee: Hiroakira Ono (Japan), Kiyoshi Iseki (Japan), Lotfi A. Zadeh (U.S.A.), Newton C.A. da Costa (Brazil), Patrick Suppes (U.S.A.), Yutaka Suzuki (Japan)
Program Committee: Ajith Abraham (U.S.A.), Atsuyuki Suzuki (Japan), Don Pigozzi (U.S.A.), Edger G. K. Lopez-Escobar (U.S.A.), Eduardo Massas (Brazil), Germano Lambert Torres (Brazil), Hiroakira Ono (Japan), John A. Meech (Canada), Lakhmi C. Jain (Australia), Lotfi A. Zadeh (U.S.A.), Kenzo Kurihara (Japan), Kiyoshi Iseki (Japan), Manfred Droste (Germany), Marcelo Finger (Brazil), Maria C. Monard (Brazil), Michiro Kondo (Japan), MuDer Jeng (Taiwan), Nelson Favilla Ebecken (Brazil), Newton C.A. da Costa (Brazil), Patrick Suppes (U.S.A.), Pulo Veloso (Brazil), Sachio Hirokawa (Japan), Seiki Akama (Japan), Setsuo Arikawa (Japan), Sheila Veloso (Brazil), Sheng-Luen Chung (Taiwan), Shusaku Tsumoto (Japan), Tadashi Shibata (Japan), Takahira Yamaguchi (Japan), Tetsuya Murai (Japan), Yukihiro Itoh (Japan), Yutaka Hata (Japan).
Organizing Committee: Alexandre Scalzitti (Germany), Claudio Rodrigo Torres (Brazil), Hiroshi Ninomiya (Japan), Kazuo Ichikawa (Japan), Marcos Roberto Bombacini (Brazil), Patrick T. Dougherty (Japan), Yutaka Yamamoto (Japan).
Also we would like to thank the following scholars who helped us in refereeing papers: Maria Ines Castineira (Brazil), Claudia Regina Milare (Brazil), Ricardo Luis de Freitas (Brazil), Adenilso da Silva Simao (Brazil).
Last, we would like to express great thanks to University of Hyogo with hosting LAPTEC'2005, and acknowledge that this publication was partly supported by the Grant in The Japanese Scientific Research Fund Foundation (C)(2) Project No. 16560468.
This book is dedicated to Emeritus Professor Atsuyuki Suzuki in commemoration of his honorable retirement from Shizuoka University, March 2005. Prof. Suzuki is learned in application of paraconsistent logic, and has contributed many papers and as a member of the program committee to LAPTEC since the beginning.
Kazumi Nakamatsu, Jair Minoro Abe, Chairs LAPTEC'2005