Lecture Notes in Artificial Intelligence 2308

Transcription

1 Lecture Notes in Artificial Intelligence 2308 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

2 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo

3 Ioannis P. Vlahavas Constantine D. Spyropoulos (Eds.) Methods andapplications of Artificial Intelligence Second Hellenic Conference on AI, SETN 2002 Thessaloniki, Greece, April 11-12, 2002 Proceedings 13

4 Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors Ioannis P. Vlahavas Aristotle University of Thessaloniki, Dept. of Informatics Thessaloniki, Greece Constantine D. Spyropoulos N.C.S.R. "Demokritos", Inst. of Informatics &Telecommunications Software and Knowledge Engineering Lab Aghia Paraskevi, Greece Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Methods and applications of artificial intelligence : proceedings / Second Hellenic Conference on AI, SETN 2002, Thessaloniki, Greece, April 11-12, Ioannis P. Vlahavas ; Constantine D. Spyropoulos (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002 (Lecture notes in computer science ; Vol : Lecture notes in artificial intelligence) ISBN CR Subject Classification (1998): I.2, H.5.2, H.4, I.4 ISSN ISBN Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna e.k. Printed on acid-free paper SPIN: /

5 Preface In recent times Artificial Intelligence (AI) has proved to be a very fruitful research area whose results have found numerous real-life applications, in the areas of telecommunications, e-commerce, management, medicine, education, etc. The advent and rapid growth of the Internet and the World Wide Web have motivated further the interest and activity in this field, through the increasing demand for intelligent information systems. This volume includes a collection of papers accepted for oral presentation at the 2nd Hellenic Conference on Artificial Intelligence (SETN 2002), organized by the Hellenic Society for Artificial Intelligence (EETN) and the Department of Informatics at the Aristotle University of Thessaloniki (AUTH), Greece. The conference was held in Thessaloniki, Greece, April 2002, and it constituted the first attempt at establishing a regular Hellenic conference on Artificial Intelligence. EETN was established in 1988 with the aim of organizing and promoting AI research among Greeks in Greece and abroad. Since its foundation, EETN has participated in the organization of various national and international events related to AI and its subfields, including the first Hellenic Symposium on Artificial Intelligence (SETN 96). EETN has also been a member society of the European Coordinating Committee on Artificial Intelligence (ECCAI) since 1996, and organized the advanced school on AI (ACAI 99). The Department of Informatics of AUTH has been actively engaged in AI research for over 15 years through the Logic Programming & Intelligent Systems group and the Signal Processing group. Both groups have been publishing papers and have been involved in numerous research projects in the areas of Logic Programming, Constraint Solving, Knowledge-Based Systems, Planning, Machine Learning, Image/Video/Speech Processing, Neural Networks, Fuzzy Logic, Biometrics, Distance Learning, etc. Furthermore, the Signal Processing group organized the IEEE-sponsored International Conference on Image Processing (ICIP 2001). The program of the conference included presentations of research results and applications from distinguished Greek scientists from all over the world. The submission of papers to the conference was overwhelming, both in quantitative and qualitative terms. Each submitted paper was evaluated by two, and in some cases three, independent reviewers on the basis of their relevance to AI, originality, significance, technical soundness, and presentation. The selection was hard, as only 42papers out of the 121 submitted were accepted for oral presentation and inclusion in this volume, after further discussion with the members of the Advisory Board. The selected papers cover a broad range of AI topics, such as Knowledge Representation and Reasoning, Natural Language Processing, Human-Computer Interaction, Machine Learning, Machine Vision, Multiagent Systems, etc. In ad-

6 VI Preface dition, the volume includes two talks given by Christos Papadimitriou (Berkeley University, U.S.A.) and John Mylopoulos (University of Toronto, Canada), the distinguished invited speakers of the conference. The editors would like to thank all those who contributed to the success of SETN Especially, they would like to express their gratitude to the sponsors who supported the conference, the Organizing Committee, for implementing the conference schedule in a timely and flawless manner, the Advisory Board, the Program Committee, and the additional reviewers, for the time and effort spent in reviewing the papers, and the two invited speakers for their kind participation. Last but not least, the editors would like to thank all the authors who submitted papers to this conference and would like to invite them to participate in the next Hellenic Conference on Artificial Intelligence, as well. February 2002 Ioannis P. Vlahavas Constantine D. Spyropoulos

7 Conference Chair Ioannis P. Vlahavas (Aristotle University of Thessaloniki) Conference Co-chair Constantine D. Spyropoulos (NCSR Demokritos ) Organizing Committee Nick Bassiliades (Aristotle University of Thessaloniki) Petros Kefalas (City Liberal Studies) Vangelis Karkaletsis (NCSR Demokritos ) Constantine Kotropoulos (Aristotle University of Thessaloniki) Constantine Lazos (Aristotle University of Thessaloniki) Georgios Paliouras (NCSR Demokritos ) Ioannis Refanidis (Aristotle University of Thessaloniki) Ioannis Tsoukalas (Aristotle University of Thessaloniki) Stavros Stavroulakis (Secretariat) Advisory Board Nikolaos Fakotakis (University of Patras) Constantine Halatsis (National and Kapodistrian University of Athens) Elias Houstis (University of Patras / University of Thessaly) Ioannis Kontos (National and Kapodistrian University of Athens) Vassilis Moustakis (Technical University of Crete / FORTH) Georgios Papakonstantinou (National Technical University of Athens) Ioannis Pitas (Aristotle University of Thessaloniki) Andreas Pomportsis (Aristotle University of Thessaloniki) Timoleon Sellis (National Technical University of Athens) Michail-Gerasimos Strintzis (Aristotle University of Thessaloniki / CERTH) Athanasios Tsakalidis (University of Patras / Computer Technology Institute) Spyros Tzafestas (National Technical University of Athens)

8 VIII Organization Program Committee Ion Androutsopoulos (NCSR Demokritos ) Maria Aretoulaki (SemanticEdge, Germany) Nikolaos Avouris (University of Patras) Georgios Dimitriou (University of Sheffield, UK) Ioannis Dimopoulos (University of Cyprus) Georgios Dounias (Aegean University) Theodoros Evgeniou (INSEAD, France) Eleni Galliotou (TEI of Athens) Petros A. M. Gelepithis (Kingston University, UK) Emmanouil Gergatsoulis (NCSR Demokritos / University of Pireaus) Nikolaos Hatziargyriou (National Technical University of Athens) Ioannis Hatzilygeroudis (University of Patras) Dimitris Kalles (Ahead RM / University of Patras) Grigoris Karakoulas (Canadian Imperial Bank / Toronto University, Canada) Stavros Kokkotos (Dynamic Ideas, USA) Konstantinos Koutroumbas (National Observatory of Athens) Georgios Magoulas (Brunel University, UK) Kostas Margaritis (University of Macedonia) Themistoklis Panayiotopoulos (University of Pireaus) Christos Papatheodorou (NCSR Demokritos / Ionian University) Stavros Perantonis (NCSR Demokritos ) Stelios Piperidis (Institute of Language and Speech Processing) Dimitris Plexousakis (University of Crete / FORTH) Georgios Potamias (FORTH) Demosthenes Stamatis (TEI of Thessaloniki) Panagiotis Stamatopoulos (National and Kapodistrian University of Athens) Konstantinos Stathis (City University, UK) Nikolaos Vassilas (TEI of Athens / NCSR Demokritos ) Georgios Vouros (Aegean University) Emmanouil Yakoumakis (Athens University of Economics and Business)

9 Organization IX Additional Referees Panagiotis Adamidis Foto Afrati Lefteris Aggelis Antonis Argyros Yannis Avrithis Panagiotis D. Bamidis Nick Bassiliades Constantinos Chandrinos Eleni Charou Christofer Child Stavros Christodoulakis Vassilis Christofides Panos Constantopoulos Dimitrios Dervos Dimitrios Dranidis Dimitrios M. Emiris Attila Fazekas Cristophe Garcia Maria Grigoriadou Nick Ioannidis Antonis C. Kakas Achilles D. Kameas Vangelis Karkaletsis Dimitrios Karras Grigoris Karvounarakis Petros Kefalas Panayiotis H. Ketikidis Stefanos Kollias Constantine Kotropoulos Manolis Koubarakis Dimitrios E. Koulouriotis Yannis Labrou Isaac E. Lagaris George K. Lekeas Aristidis C. Likas Panagiotis Linardis Christos Makris Stratos Malassiotis Costas Neocleous Nikolaos Nikolaidis Christos Nomikos Penny Noy George Paliouras Iraklis Paraskakis Vasilios Petridis Ioannis Refanidis Panagiotis Rondogiannis George Rovithakis Dimitrios Sampson Christos N. Schizas Kyriakos Sgarbas Christos Siamitros Myra Spiliopoulou Andreas Stafylopatis Ioannis Stamelos Yannis Stavrakas Kostas Stergiou Chrysostomos Stylios Francesca Tonny Athanasios Tsadiras Ioannis Tsamardinos Nicolas Tsapatsoulis Panagiotis Tsarchopoulos Giorgos Tselentis George A. Tsihrintzis Lefteris Tsoukalas Alexis Tsoukias Konstantinos Tzafestas Stavros Varoufakis Michalis Vazirgiannis Michael N. Vrahatis Michael Zervakis

10 Table of Contents Invited Talks Understanding the Internet... 1 Christos H. Papadimitriou Agent-Oriented Software Development... 3 John Mylopoulos, Manuel Kolp, and Paolo Giorgini Knowledge Representation & Reasoning The Ramification and Qualification Problems in Temporal Databases Nick Papadakis and Dimitris Plexousakis Multi-inference with Multi-neurules Ioannis Hatzilygeroudis and Jim Prentzas Decision Making Based on Past Problem Cases Ioannis Stamelos and Ioannis Refanidis Logic Programming & Constraint Satisfaction Relating Defeasible Logic to Extended Logic Programs George Antoniou On Algorithms for Decomposable Constraints Kostas Stergiou Cspcons: A Communicating Sequential Prolog with Constraints Ioannis P. Vlahavas, Ilias Sakellariou, Ivan Futo, Zoltan Pasztor, and Janos Szeredi Genetic Evolution of Software Microorganisms Themistoklis Panayiotopoulos, Harry Kalogirou, Anthony Petropoulos, and Dionisis Dimopoulos Planning & Scheduling A Probabilistic Approach to Robust Execution of Temporal Plans with Uncertainty Ioannis Tsamardinos Crew Pairing Optimization with Genetic Algorithms Harry Kornilakis and Panagiotis Stamatopoulos

11 XII Table of Contents Integration of Topological and Metric Maps for Indoor Mobile Robot Path Planning and Navigation Panagiotis G. Zavlangas and Spyros G. Tzafestas Natural Language Processing Symbolic Authoring for Multilingual Natural Language Generation Ion Androutsopoulos, Dimitris Spiliotopoulos, Konstantinos Stamatakis, Aggeliki Dimitromanolaki, Vangelis Karkaletsis, and Constantine D. Spyropoulos A User-Sensitive Spoken Dialogue System Incorporating Emotional Responsiveness Gloria Dabiri, Michael Brown, Maria Aretoulaki, and Matthias Nitzsche Transforming Spontaneous Telegraphic Language to Well-Formed Greek Sentences for Alternative and Augmentative Communication Georgios Karberis and Georgios Kouroupetroglou Role Identification from Free Text Using Hidden Markov Models Georgios Sigletos, Georgios Paliouras, and Vangelis Karkaletsis Human-Computer Interaction Improving SMS Usability Using Bayesian Networks Manolis Maragoudakis, Nikolaos K. Tselios, Nikolaos Fakotakis, and Nikolaos M. Avouris Fuzzy Inference for Student Diagnosis in Adaptive Educational Hypermedia Maria Grigoriadou, Harry Kornilakis, Kyparisia A. Papanikolaou, and George D. Magoulas MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation Nikolaos Vassilas, George Miaoulis, Dionysios Chronopoulos, Elias Konstantinidis, Ioanna Ravani, Dimitrios Makris, and Dimitri Plemenos Intelligent Semantic Access to Audiovisual Content Yannis Avrithis, Giorgos Stamou, Anastasios Delopoulos, and Stefanos Kollias Machine Learning A Multi-clustering Fusion Algorithm Dimitrios Frossyniotis, Minas Pertselakis, and Andreas Stafylopatis

12 Table of Contents XIII Distance and Feature-Based Clustering of Time Series: An Application on Neurophysiology George Potamias Least-Squares Methods in Reinforcement Learning for Control Michail G. Lagoudakis, Ronald Parr, and Michael L. Littman Knowledge Discovery Association Rules & Evolution in Time George Koundourakis and Babis Theodoulidis Managing Uncertainty and Quality in the Classification Process Maria Halkidi and Michalis Vazirgiannis The Role of Domain Knowledge in a Large Scale Data Mining Project Ioannis Kopanas, Nikolaos M. Avouris, and Sophia Daskalaki Neural Networks Artificial Neural Network Learning: A Comparative Review Costas Neocleous and Christos Schizas Piecewise Neural Networks for Function Approximation, Cast in a Form Suitable for Parallel Computation Ioannis G. Tsoulos, Isaac E. Lagaris, and Aristidis C. Likas Using Hopfield Networks to Solve Assignment Problem and N-Queen Problem: An Application of Guided Trial and Error Technique Christos Douligeris and Gang Feng A Bayesian Regularization Method for the Probabilistic RBF Network Constantinos Constantinopoulos, Michalis K. Titsias, and Aristidis Likas Pattern Recognition Support Vector Machines with Clustering for Training with Very Large Datasets Theodoros Evgeniou and Massimiliano Pontil A Temporal Network of Support Vector Machine Classifiers for the Recognition of Visual Speech Mihaela Gordan, Constantine Kotropoulos, and Ioannis Pitas Fuzzy Stochastic Automata for Reactive Learning and Hybrid Control Gerasimos G. Rigatos

13 XIV Table of Contents Machine Vision Overview of Wave Probe-Based High-Resolution Subsurface Sensing, Imaging, and Vision George A. Tsihrintzis and Konstantinos G. Girtis 3D Volume Reconstruction by Serially Acquired 2D Slices Using a Distance Transform-Based Global Cost Function Stelios Krinidis, Christophoros Nikou, and Ioannis Pitas Definition and Extraction of Visual Landmarks for Indoor Robot Navigation Dimitrios I. Kosmopoulos and Konstantinos V. Chandrinos Factors Affecting the Accuracy of an Active Vision Head Antonios Gasteratos and Giulio Sandini Intelligent Internet & Multiagent Systems Query Translation for Mediators over Ontology-Based Information Sources Yannis Tzitzikas, Nicolas Spyratos, and Panos Constantopoulos Intelligent Querying of Web Documents Using a Deductive XML Repository Nick Bassiliades and Ioannis P. Vlahavas Roles in Collaborative Activity Ioannis Partsakoulakis and George Vouros Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours Petros Kefalas Intelligent Applications On the Application of Artificial Intelligence Techniques to the Quality Improvement of Industrial Processes Pavlos Georgilakis and Nikos Hatziargyriou Using Non-uniform Crossover in Genetic Algorithm Methods to Speed up the Generation of Test Patterns for Sequential Circuits Michael Dimopoulos and Panagiotis Linardis Hybrid Computational Intelligence Schemes in Complex Domains: An Extended Review Athanasios Tsakonas and George Dounias Author Index...513