Sympozjum odbedzie sie w Malborku, w hotelu "Dedal", ul. Gen. de Gaulle'a 5, tel. (0-55)726850. Uczestnicy Sympozjum spodziewani sa w niedziele, 14 czerwca wieczorem (przewidziana jest kolacja). Zakonczenie obrad przewidziane jest na piatek, 19 czerwca we wczesnych godzinach popoludniowych (przewidziany jest obiad).. Oplata konferencyjna wynosi 950 zlotych i obejmuje wpisowe (550 zl), koszty zakwaterowania (w pokojach dwuosobowych) oraz wyzywienia. Wpisowe obejmuje: - udzial w tutorialach i sesjach naukowych sympozjum, - materialy konferencyjne z VI i VII Sympozjum IIS - materialy do obu tutoriali - koszty kawy i napoi chlodzacych w przerwach, - udzial w programie towarzyszacym. --------------------------------------------------------------------------- ZGLOSZENIE UDZIALU w VII Miedzynarodowym Sympozjum INTELIGENTNE SYSTEMY INFORMACYJNE IIS'98 Tytul i stopien naukowy ............................................ Nazwisko............................................................ Imie................................................................ Instytucja.......................................................... Adres............................................................... tel..........................fax ................................... e-mail.............................................................. W zwiazku z tym deklaruje dokonanie najpozniej do 30 kwietnia 1998 r. przelewu 950 zl na konto Instytut Podstaw Informatyki PAN BPH XIV O/Warszawa 00-950 Warszawa nr 10601015-2408-27000-400101 z dopiskiem na IIS'98 ---------------------------------------------------------------- P R O G R A M 15 czerwca 1998 (poniedzialek) 8.00 - 9.00 Sniadanie 9.00 - 10.30 Tutorial "Przetwarzanie jezyka naturalnego" Wlodzimierz Zadrozny IBM, T.J. Watson Research Center 10.30 - 11.00 Przerwa na kawe 11.00 - 12.30 cd tutorialu 12.30 - 14.00 Obiad 14.00 - 15.30 cd tutorialu 15.30 - 16.00 Przerwa na kawe 16.00 - 17.30 cd tutorialu 17.30 - 18.00 Przerwa na kawe 18.00 - 18.30 Pacholczyk D.(1), Desmontils E.(2), (1) University of Angers (2) Univ. of Nantes A linguistic interpretation of affirmative or negative information in declarative modeling in image analysis 18.30 - 18.45 Jelonek J., Krawiec K., Slowinski R. Institute of Computing Science, Poznan University of Technology Construction of textural features for classification of histological images 18.45 - 19.00 Daciuk J. Technical University of Gdansk Finite-state automata in document retrieval 20.00 Ognisko ---------------------------------------------------------------- 16 czerwca 1998 (wtorek) 8.00 - 9.00 Sniadanie 9.00 - 10.30 Tutorial Sieci neuronowe Jacek Zurada Computational Intelligence Laboratory, Electrical Engineering Department, University of Louisville 10.30 - 11.00 Przerwa na kawe 11.00 - 12.30 cd tutorialu 12.30 - 14.00 Obiad 14.00 - 15.30 cd tutorialu 15.30 - 16.00 Przerwa na kawe 16.00 - 17.30 cd tutorialu 17.30 - 18.00 Przerwa na kawe 18.00 - 18.30 Kosinski W.(1), Michalewicz Z.(2), Weigl M.(1), Kolesnik R. (1) (1) Institute of Fundamental Technological Research, PAS (2) University of North Carolina at Charlotte, Institute of Computer Science PAS, Genetic algorithms for preprocessing of data for universal approximators 18.30 - 18.45 Zelechowska J.(1), Buller A.(2) (1) Institute of Mathematics, University of Gdansk (2) Faculty of Electronics, Telecommunications and Informatics Technical University of Gdansk Neural network-based system for determining and classifying malignant and benign lesions in ultrasonic images of the breast 18.45 - 19.00 Balicki J., Kitowski Z. The Polish Naval Academy Relaxation methods of artificial neural networks for solving NP-hard module assignment optimization problem in two-processor systems with constrained resources 19.00 Kolacja ---------------------------------------------------------------- 17 czerwca 1998 (sroda) 7.30 - 8.30 Sniadanie 8.30 - 9.00 Kaufman K. A.(1), Michalski R. S.(1)(2) (1) George Mason University (2) Institute of Computer Science PAS Multistrategy data mining via the KGL metalanguage 9.00 - 9.30 Kersten G.E.(1)(3), Szpakowicz S.(2)(1) (1) School of Business, Carleton University (2) School of Information Technology and Engineering, University of Ottawa (3) IIASA Modeling business negotiations for electronic commerce 9.30 - 10.00 Hippe Z. S. Department of Computer Chemistry Rzeszow University of Technology From research on searching hidden regularities in data 10.00 - 10.30 Michalewicz M., Klopotek M. A., Wierzchon S. T. Institute of Computer Science PAS A concept of standard internet tools for integration of databases, knowledge bases and reasoning systems 10.30 - 11.00 Jelonek J., Krawiec K., Stefanowski J. Institute of Computing Science, Poznan University of Technology Comparative study of feature subset selection techniques for machine learning tasks 11.00 - 11.30 Przerwa na kawe 11.30 - 12.00 Cwik J.(1), Koronacki J.(1), Zytkow J.(2)(1) (1) Institute of Computer Science PAS (2) University of North Carolina at Charlotte A heuristic method for stabilization of model choice in nonlinear regression 12.00 - 12.30 Ziarko W. Computer Science Department, University of Regina Rough sets methodology in data mining 12.30 - 13.00 Duch W., Adamczak R., Grabczewski K., Zal G. Department of Computer Methods, Nicholas Copernicus University Hybrid neural-global minimization logical rule extraction method for medical diagnosis support 13.00 - 13.15 Bobrowski L. Institute of Computer Science of Technical University of Bialystok Institute of Biocybernetics and Biomedical Engineering PAS Rules extraction from data sets by using dipolar criterion 13.15 - 13.30 Debska B. Department of Computer Chemistry Rzeszow University of Technology The methodology of an automatic generation of a rule knowledge base from a set of cases 13.30 - 15.00 Obiad 15.00 - 15.30 Przybyszewski A. W., Rubin M. A. Dept. of Neurology, UMass. Medical Center Gating input to visual cortex by feedback to LGN 15.30 - 15.45 Michalski A. Institute of Computing Science, Poznan University of Technology First results with using rough set - based decision rules in reinforcement learning 15.45 - 16.00 Bogdan S.(2), Klopotek M. (1)(2) (1) Institute of Computer Science PAS (2) Warsaw University of Technology A system searching for functional dependencies in continuous data. 16.00 - 16.15 Matuszewski A. Institute of Computer Science PAS Characterization of dependence between two multivalued variables through the Rasch model - application to construction data-mining algorithms for survey data 16.15 - 16.30 Ciupke K., Maniak P. Department of Fundamentals of Machine Design Silesian Technical University Application of machine learning methods to diagnostics of machinery 16.30 - 17.00 Przerwa na kawe 17.00 - 17.30 Alferes J. J.(1), Joao A. (2), Leite Lus Moniz Pereira (2), Przymusinska H.(3), Przymusinski T.(3) (1) Dept. Matematica, Univ. Evora and A.I. Centre, Univ. Nova de Lisboa (2) A.I. Centre, Dept. Informatica, Univ. Nova de Lisboa (3) Dept. Computer Science, Univ. of California Updates of logic programs by logic programs 17.30 - 18.00 Choras R. Institute of Telecommunications, University of Technology and Agriculture Computer vision techniques 18.00 - 18.30 Buller A.(1), de Garis H.(2) (1) Faculty of Electronics, Telecommunications and Informatics Technical University of Gdansk (2) Brain Builder Group Evolutionary Systems Department, ATR Brain-building strategy: some remarks and questions 18.30 - 18.45 Klopotek M.(1)(2), Nowak T.(2) (1) Institute of Computer Science PAS (2) Warsaw University of Technology A simulation environment for testing behavior of a population of home-shopping agents. 18.45 - 19.00 Glowinski C. Warsaw University of Technology, Institute of Control and Computation Technology Instytut Lacznosci Discovering rules with various form of selectors 20.00 Bankiet ---------------------------------------------------------------- 18 czerwca 1998 (czwartek) 7.30 - 8.30 Sniadanie 8.30 - 9.00 Gryz J. Department of Computer Science, York University An algorithm for query folding with functional dependencies 9.00 - 9.30 Mikolajczak B. Computer and Information Science Department University of Massachusetts High-level Petri Nets in development of intelligent parallel and distributed information systems 9.30 - 10.00 Kacprzyk J., Zadrozny S. Systems Research Institute PAS On summarization of large data sets via a fuzzy-logic-based querying add-on to Microsoft Access 10.00 - 10.30 Koczkodaj W.W.(1), Herman M.W.(1), Orlowski M.(2) (1) Computer Science, Laurentian University (2) School of Information Systems, Queensland University of Technology Knowledge elicitation, orthogonal basis and consistency driven pairwise comparisons 10.30 - 10.45 Bartkowiak A., Szustalewicz A. Institute of Computer Science, University of Wroclaw Predictions in presence of outliers: Which tool to choose? 10.45 - 11.00 Czech Z. J. Silesian Technical University Solving the set-partitioning problem using tabu search 11.00 - 11.15 Przerwa na kawe 11.15 - 11.45 Cetnarowicz K., Dobrowolski G., Kisiel-Dorohinicki M., Nawarecki E. Institute of Computer Science, University of Mining and Metallurgy Mechanisms of self-regulation in multi-agent systems 11.45 - 12.15 Obuchowicz A., Korbicz J. Department of Robotics and Software Engineering, Technical University of Zielona Gora Evolutionary search with soft selection and forced direction of mutation 12.15 - 12.45 Nowostawski M., Sloman A. School of Computer Science, The University of Birmingham Emergent thought - Automated agent design 12.45 - 13.00 Kwasnicka Halina Department of Computer Science, Technical University of Wroclaw Efficiency of genetic algorithms with plejotropy and polygene effect - simulation study 13.00 - 13.15 Seredynski F. Institute of Computer Science PAS Genetic algorithms-based intelligent decision support system to task scheduling problem 13.15 - 13.45 Ras Z. W.(1), Bergmann A.(2) (1) University of North Carolina, Dept. of Comp. Science (2) University of Dortmund, Dept. of Comp. Science Maintaining soundness of rules in distributed knowledge-based systems 14.00 Obiad 15.00 - 17.00 Zwiedzanie Zamku Krzyzackiego 18.00 Kolacja 19.00 - 19.15 Kott G., Wieleba R. Department of Computer Science National Academy of Defence Expert system model to support decisions in command 19.15 - 19.30 Kwedlo W., Kretowski M. Institute of Computer Science Technical University of Bialystok Learning decision rules using an evolutionary algorithm and entropy-based discretization 19.30 - 19.45 Pawlak M. Lublin Technical University Department of Management and Technology Basis Application of heuristic algorithms and an evolutionary algorithm to production scheduling 19.45 - 20.00 Skowronski K. Institute of Electronics Fundamentals Warsaw Univerity of Technology Genetic rules induction based on MDL principle 20.00 - 20.15 Nowak G., Hippe Z. Department of Computer Chemistry Rzeszow University of Technology Logical-heuristic strategy for searching optimal transformations of molecular graphs 20.15 - 20.30 Gomolinska A. Belief change, nonmonotonic inference, and the Scott information systems 20.30 - 20.45 Boryczka U. Institute of Computer Science, University of Silesia Optimization of the bus--service and the Ant Colony System 20.45 - 21.00 Duch W., Grudzinski K. Department of Computer Methods, Nicholas Copernicus University A framework for distance-based adaptive classification methods 22.00 "Swiatlo i dzwiek" - impreza na Zamku Krzyzackim ---------------------------------------------------------------- 19 czerwca 1998 (piatek) 7.30 - 8.00 Sniadanie 8.00 - 8.30 Siminski R., Wakulicz-Deja A. Institute of Computer Science, University of Silesia Principles and practice in knowledge bases verification 8.30 - 9.00 Moczulski W. Department of Fundamentals of Machine Design Silesian Technical University Methods of knowledge acquisition in machinery diagnostics 9.00 - 9.15 Lukaszewski T. Institute of Computing Science, Poznan University of Technology On reasoning under uncertainty in adaptive, distributed and multiagent expert systems 9.15 - 9.30 Wylezol M. Department of Fundamentals of Machine Design Silesian Technical University Electronic form - editor for acquisition of empirical rules from experts for the purpose of diagnostics 9.30 - 9.45 Kostka P. Department of Fundamentals of Machine Design Silesian Technical University Optimization of representation space for knowledge acquisition on rotating machinery using machine learning methods 9.45 - 10.15 Przerwa na kawe 10.15 - 10.45 Sikora M.(1), Mrozek A. (2) (1) Computer Science Institute of the Technical University of Silesia (2) Theoretical and Applied Computer Science Institute PAS Semantic oriented synthesis of a rule knowledge base integrated inference engine. 10.45 - 11.15 Grzymala-Busse J. W.(1), Soe Than(2) (1) Department of Electrical Engineering and Computer Science University of Kansas (2) Department of Mathematics and Computer Science Virginia Military Institute Inducing simpler rules from reduced data 11.15 - 11.45 Onisko A.(1), Druzdzel M. J.(2), Wasyluk H.(3) (1)Institute of Computer Science, Bialystok University of Technology (2)Decision Systems Laboratory, School of Information Sciences and Intelligent Systems Program, University of Pittsburgh (3)Medical Center of Postgraduate Education A probabilistic model for diagnosis of liver disorders 10.45 - 12.00 Stepaniuk J.(1), Urban M.(2), Baszun-Stepaniuk E.(2) (1) Institute of Computer Science, Bialystok University of Technology (2) 2nd Department of Children's Diseases, University Medical School The application of rough set based data mining technique in the prognostician of the diabetic nephropathy prevalence 12.00 - 12.15 Drwal G.(1), Mrozek A.(2) (1) Institute of Mathematics Silesian Technical University (2) Theoretical and Applied Computer Science Institute PAS System RClass - software implementation of a rough classifier 12.15 - 12.30 Marszal-Paszek B., Paszek P. Institute of Computer Science, University of Silesia Extract strong relationship between data from decision table 12.45 Obiad -------------------------------------------------------------------------- Language Understanding: From Applications to Principles (Rozumienie jezyka: od zastosowan do zasad) Wlodek Zadrozny IBM Research wlodz@watson.ibm.com Tutorial Abstract. In the last year conversational technologies have appeared on the market. These systems allow customers to interact with telephony applications, such as banking information systems or airline reservation systems, using speech and natural language understanding. Limited language understanding, even if less noticeable, is also a part of the state-of-the-art in machine translation, information retrieval, and computer-based instruction. The natural question arises: has the problem of language understanding been solved? This tutorial will attempt to draw a map of natural language processing from the point of view of the practical state-of-the-art systems, esp. the conversational ones. It will start with a brief history of research issues in natural language processing from Leibniz to Chomsky to Darpa, describe the progress achieved, move to the analysis of current technologies, and finish with a synthesis of current research results and issues. In the epilogue we will try to make some predictions. The tutorial will cover (in one/two sections) representation of language and linguistic data at the sentence level: grammars and models of language processing; models of parsing; statistical and rule-based models of language; currently accepted algorithms for sentence processing; and (very briefly) models of speech processing. One section will cover dialog: representations, Gricean maxims, human-computer interaction, architectures of implemented dialog systems, and tools for building conversational (and multimodal) systems. Another section will be devoted to the use of natural language understanding in information retrieval, machine translation, and computer-assisted education. Pointers to demos of tools and systems will also be given. In the final part of the tutorial we will reanalyze the issues of meaning of linguistic expressions and linguistic representations based on the relevant practical experience, recent research results and current theories of algorithmic complexity. Wlodek Zadrozny manages the Conversation Machines project at IBM T.J.Watson Research Center. The project aims at identifying key technologies for building dialogue-based spoken interfaces. The group has built and evaluated a number of prototypes of conversation-for-action systems, e.g. a prototype phone dialogue banking system, and is now trying to find for them a place in the marketplace. Wlodek Zadrozny received his Ph.D. from Polish Academy of Sciences, and has worked at Watson since 1985. He has worked in many areas of computer science, such as computer arithmetic, knowledge representation, and natural language processing. His current interests include dialogue systems, theories of context, and tools for multimodal interaction. ----------------------------------------------------------------------- SZTUCZNE SIECI NEURONOWE Jacek Zurada Computational Intelligence Laboratory, Electrical Engineering Department, University of Louisville 1. Wprowadzenie w tematyke oraz rys historyczny 2. Uczenie z nadzorem i bez nadzoru 3. Przeglad podstawowych architektur sieci neuronowych 4. Metody uczenia sie (Hebb, Oja, perceptron, delta, korelacyjna, ze wspolzawodnictwem) 5. Uczenie sie w sieciach jednokierunkowych wielowarstwowych - metoda propagacji wstecznej bledu - metoda lambda - wybor odpowiednich architektur (eliminacja wejsc, wag i neuronow) - przyklady zastosowan (klasyfikacja, aproksymacja, modelowanie systemow a czasem dyskretnym, predykcja, sterowanie) 6. Sieci neuronowe z radialnym funkcjami bazowymi 7. Sieci atraktorowe (Hopfielda) - z czasem dyskretnym (do pamieci skojarzeniowych) - z czasem ciaglym (do zagadnien optymalizacji) - uogolnione sieci atraktorowe (na zespolone wartosci funkcji aktywacji i na wielopoziomowe neurony) 8. Samoorganizujace sie mapy Kohonena - metoda uczenia sie warstw - przyklady odwzorowan sasiedztw i prawdopodobienstw 9. Przeglad zagadnien, zastosowan i perspektyw rozwoju sieci neuronowych Resume-Dr. Jacek M. Zurada Jacek M. Zurada is the S.T. Fife Alumni Professor of Electrical Engineering at the University of Louisville, Louisville, Kentucky. He has held visiting appointments at the Technical University of Gdansk, Poland, the Swiss Federal Institute of Technology, Zurich, Switzerland, Auburn University, Northeastern University, and Princeton University. He has authored or co-authored more than 150 journal and conference papers in the area of neural networks and circuits and systems for signal processing. In addition, he authored the 1992 PWS text Introduction to Artificial Neural Systems, contributed to the 1994 and 1995 Ablex volumes Progress in Neural Networks, and co-edited the 1994 IEEE Press volume Computational Intelligence: Imitating Life (with R.J. Marks and C.J. Robinson). Dr. Zurada is the Editor-in-Chief of IEEE Transactions on Neural Networks. He has been Associate Editor of IEEE Transactions on Neural Networks (1992-97) and IEEE Transactions on Circuits and Systems, Part II (1993-97). At present, he is Associate Editor of IEEE Transactions on Circuits and Systems, Part I, and of Neurocomputing. He was Guest Co-editor of the Special Issue on Soft Computing of Neurocomputing (1996), and he has been an invited speaker on learning algorithms, associative memory, neural networks for optimization, and techniques for rule extraction at many national and international conferences. Dr. Zurada has received a number of awards for distinction in research and teaching, including the 1993 Presidential Award for Research, Scholarship, and Creative Activity. He is an IEEE Fellow, IEEE Distinguished Speaker, and Executive Vice President of the IEEE Neural Networks Council. **************************************************************