ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS IFIP–The International Federation for Information Processing IFIP was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress held in Paris the previous year An umbrella organization for societies working in information processing, IFIP’s aim is two-fold: to support information processing within its member countries and to encourage technology transfer to developing nations As its mission statement clearly states, IFIP’s mission is to be the leading, truly international, apolitical organization which encourages and assists in the development, exploitation and application of information technology for the benefit of all people IFIP is a non-profitmaking organization, run almost solely by 2500 volunteers It operates through a number of technical committees, which organize events and publications IFIP’s events range from an international congress to local seminars, but the most important are: The IFIP World Computer Congress, held every second year; Open conferences; Working conferences The flagship event is the IFIP World Computer Congress, at which both invited and contributed papers are presented Contributed papers are rigorously refereed and the rejection rate is high As with the Congress, participation in the open conferences is open to all and papers may be invited or submitted Again, submitted papers are stringently refereed The working conferences are structured differently They are usually run by a working group and attendance is small and by invitation only Their purpose is to create an atmosphere conducive to innovation and development Refereeing is less rigorous and papers are subjected to extensive group discussion Publications arising from IFIP events vary The papers presented at the IFIP World Computer Congress and at open conferences are published as conference proceedings, while the results of the working conferences are often published as collections of selected and edited papers Any national society whose primary activity is in information may apply to become a full member of IFIP, although full membership is restricted to one society per country Full members are entitled to vote at the annual General Assembly, National societies preferring a less committed involvement may apply for associate or corresponding membership Associate members enjoy the same benefits as full members, but without voting rights Corresponding members are not represented in IFIP bodies Affiliated membership is open to non-national societies, and individual and honorary membership schemes are also offered ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS IFIP 18th World Computer Congress TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004) 22–27 August 2004 Toulouse, France Edited by Max Bramer University of Portsmouth, UK Vladan Devedzic University of Belgrade, Serbia and Montenegro KLUWER ACADEMIC PUBLISHERS NEW YORK, BOSTON, DORDRECHT, LONDON, MOSCOW eBook ISBN: Print ISBN: 1-4020-8151-0 1-4020-8150-2 ©2004 Springer Science + Business Media, Inc Print ©2004 by International Federation for Information Processing Boston All rights reserved No part of this eBook may be reproduced or transmitted in any form or by any means, electronic, mechanical, recording, or otherwise, without written consent from the Publisher Created in the United States of America Visit Springer's eBookstore at: and the Springer Global Website Online at: http://www.ebooks.kluweronline.com http://www.springeronline.com Contents Foreword Acknowledgments xi xiii Paper Sessions Applications Artificial Intelligence Systems in Micromechanics FELIPE LARA-ROSANO, ERNST KUSSUL, TATIANA BAIDYK, LEOPOLDO RUIZ, ALBERTO CABALLERO AND GRACIELA VELASCO Integrating Two Artificial Intelligence Theories in a Medical Diagnosis Application HADRIAN PETER AND WAYNE GOODRIDGE 11 Artificial Intelligence and Law HUGO C HOESCHL AND VÂNIA BARCELLOS 25 Virtual Market Environment for Trade PAUL BOGG AND PETER DALMARIS 35 vi AI Applications and Innovations Neural Networks and Fuzzy Systems An Artificial Neural Networks Approach to the Estimation of Physical Stellar Parameters A.RODRIGUEZ, I.CARRICAJO, C.DAFONTE,B.ARCAY AND M.MANTEIGA Evolutionary Robot Behaviors Based on Natural Selection and Neural Network JINGAN YANG, YANBIN ZHUANG AND HONGYAN WANG 45 55 Control of Overhead Crane by Fuzzy-PID with Genetic Optimisation A SOUKKOU, A KHELLAF AND S LEULMI 67 Creative Design of Fuzzy Logic Controller LOTFI HAMROUNI AND ADEL M ALIMI 81 On-Line Extraction of Fuzzy Rules in a Wastewater Treatment Plant J VICTOR RAMOS, C GONÇALVES AND A DOURADO 87 Agents An Autonomous Intelligent Agent Architecture Based on Constructivist AI FILIPO STUDZINSKI PEROTTO, ROSA VICARI AND LUÍS OTÁVIO ALVARES Finding Manufacturing Expertise Using Ontologies and Cooperative Agents OLGA NABUCO, MAURO KOYAMA, FRANCISCO PEREIRA AND KHALIL DRIRA Using Agents in the Exchange of Product Data UDO KANNENGIESSER AND JOHN S GERO 103 117 129 Applications A Pervasive Identification and Adaptation System for the Smart House PAULO F F ROSA, SANDRO S LIMA, WAGNER T BOTELHO, ALEXANDRE F NASCIMENTO AND MAX SILVA ALALUNA 141 vii Deductive Diagnosis of Digital Circuits J J ALFERES, F AZEVEDO, P BARAHONA, C V DAMÁSIO AND T SWIFT 155 Verification of Nasa Emergent Systems CHRISTOPHER ROUFF, AMY VANDERBILT, WALT TRUSZKOWSKI, JAMES RASH AND MIKE HINCHEY 167 Theory Knowledge Base Structure: Understanding Maintenance JOHN DEBENHAM 177 Learning Bayesian Metanetworks from Data with Multilevel Uncertainty VAGAN TERZIYAN AND OLEKSANDRA VITKO 187 Using Organisational Structures Emergence for Maintaining Functional Integrity In Embedded Systems Networks JEAN-PAUL JAMONT AND MICHEL OCCELLO 197 Efficient Attribute Reduction Algorithm ZHONGZHI SHI, SHAOHUI LIU AND ZHENG ZHENG 211 Using Relative Logic for Pattern Recognition JULIUSZ L KULIKOWSKI 223 Intelligent Tutoring and Collaboration MathTutor: A Multi-Agent Intelligent Tutoring System JANETTE CARDOSO, GUILHERME BITTENCOURT, LUCIANA FRIGO, ELIANE POZZEBON AND ADRIANA POSTAL Analysis and Intelligent Support of Learning Communities in Semi-structured Discussion Environments ANDREAS HARRER An Adaptive Assessment System to Evaluate Student Ability Level ANTONELLA CARBONARO, GIORGIO CASADEI AND SIMONE RICCUCCI 231 243 257 viii AI Applications and Innovations Forming the Optimal Team of Experts for Collaborative Work ACHIM KARDUCK AND AMADOU SIENOU 267 Internet Impact on Performance of Hypertext Classification of Selective Rich HTML Capture HOUDA BENBRAHIM AND MAX BRAMER Introducing a Star Topology into Latent Class Models for Collaborative Filtering 279 293 AND Dialoguing with an Online Assistant in a Financial Domain: The VIP-Advisor Approach JOSEFA Z HERNANDEZ, ANA GARCIA-SERRANO AND JAVIER CALLE An Agency for Semantic-Based Automatic Discovery of Web Services SIMONA COLUCCI, TOMMASO DI NOIA, EUGENIO DI SCIASCIO, FRANCESCO M.DONINI, MARINA MONGIELLO, GIACOMO PISCITELLI AND GIANVITO ROSSI 305 315 Genetic Algorithms GESOS: A Multi-Objective Genetic Tool for Project Management Considering Technical and Non-Technical Constraints CLAUDE BARON, SAMUEL ROCHET AND DANIEL ESTEVE Using Genetic Algorithms and Tabu Search Parallel Models to Solve the Scheduling Problem PEDRO PINACHO, MAURICIO SOLAR, MARIO INOSTROZA AND ROSA MUÑOZ Modelling Document Categories by Evolutionary Learning of Text Centroids J.I SERRANO AND M.D DEL CASTILLO 329 343 359 ix Ontologies and Data Mining ODEVAL: A Tool for Evaluating RDF(S), DAML+OIL and OWL Concept Taxonomies ÓSCAR CORCHO, ASUNCIÓN GÓMEZ-PÉREZ, RAFAEL GONZÁLEZ-CABERO AND M CARMEN SUÁREZ-FIGUEROA 369 AIR - A Platform for Intelligent Systems DRAGAN DJURIC, DRAGAN GASEVIC AND VIOLETA DAMJANOVIC 383 SwissAnalyst O POVEL AND C GIRAUD-CARRIER 393 Data Mining by MOUCLAS Algorithm for Petroleum Reservoir Characterization from Well Logging Data YALEI HAO, MARKUS STUMPTNER, GERALD QUIRCHMAYR AND QING HE 407 Reasoning and Scheduling Verification of Procedural Reasoning Systems (PRS) Programs Using Coloured Petri Nets (CPN) RICARDO WAGNER DE ARAÚJO AND ADELARDO ADELINO DE MEDEIROS Online Possibilistic Diagnosis Based on Expert Knowledge for Engine Dyno Test Benches O DE MOUZON, X GUÉRANDEL, D DUBOIS, H.PRADE AND S BOVERIE CBR and Micro-Architecture Anti-Patterns Based Software Design Improvement TIE FENG, JIACHEN ZHANG, HONGYUAN WANG AND XIAN WANG A Decision Support System (DSS) for the Railway Scheduling Problem L INGOLOTTI, P TORMOS, A LOVA, F BARBER, M.A SALIDO AND M.ABRIL An Interactive Multicriteria Optimisation Approach to Scheduling MARTIN JOSEF GEIGER AND SANJA PETROVIC 421 435 449 465 475 ... CABALLERO AND GRACIELA VELASCO Integrating Two Artificial Intelligence Theories in a Medical Diagnosis Application HADRIAN PETER AND WAYNE GOODRIDGE 11 Artificial Intelligence and Law HUGO C HOESCHL AND. .. membership is open to non-national societies, and individual and honorary membership schemes are also offered ARTIFICIAL INTELLIGENCE APPLICATIONS AND INNOVATIONS IFIP 18th World Computer Congress... The conference is organised by the IFIP Technical Committee on Artificial Intelligence (Technical Committee 12) and its Working Group 12.5 (Artificial Intelligence Applications) Further information