Artificial intelligence applications and innovations: IFIP 18th World Computer Congress: TC12 First International Conference on Artificial Intelligence Applications and Innovations

499 Pages·2004·11.98 MB·English

by  Max Bramer

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
contributedpapers 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 extensivegroupdiscussion.
Publicationsarisingfrom IFIPevents 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 editedpapers.
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 honorarymembershipschemes 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
eBookISBN: 1-4020-8151-0
Print ISBN: 1-4020-8150-2
©2004 Springer Science + Business Media, Inc.
Print ©2004by International Federation for Information Processing.
Boston
All rights reserved
No part of this eBook maybe reproducedor transmitted inanyform or byanymeans,electronic,
mechanical, recording, or otherwise, without written consent from the Publisher
Created in the United States of America
Visit Springer's eBookstore at: http://www.ebooks.kluweronline.com
and the Springer Global Website Online at: http://www.springeronline.com
Contents
Foreword xi
Acknowledgments xiii
Paper Sessions
Applications 1
Artificial Intelligence Systems in Micromechanics 1
FELIPE LARA-ROSANO, ERNST KUSSUL, TATIANA BAIDYK,
LEOPOLDO RUIZ, ALBERTO CABALLERO AND GRACIELA VELASCO
Integrating Two Artificial Intelligence Theories in a Medical
Diagnosis Application 11
HADRIANPETER AND WAYNEGOODRIDGE
Artificial Intelligence and Law 25
HUGO C. HOESCHL AND VÂNIABARCELLOS
Virtual Market Environment for Trade 35
PAULBOGG AND PETERDALMARIS
vi AI Applications and Innovations
Neural Networks and Fuzzy Systems
An Artificial Neural Networks Approach to the Estimation of
Physical Stellar Parameters 45
A.RODRIGUEZ, I.CARRICAJO, C.DAFONTE,B.ARCAY AND
M.MANTEIGA
Evolutionary Robot Behaviors Based on Natural Selection and
Neural Network 55
JINGANYANG,YANBINZHUANG AND HONGYANWANG
Control of Overhead Crane by Fuzzy-PID with Genetic Optimisation 67
A. SOUKKOU,A.KHELLAF AND S. LEULMI
Creative Design of Fuzzy Logic Controller 81
LOTFIHAMROUNI AND ADELM. ALIMI
On-Line Extraction of Fuzzy Rules in a Wastewater Treatment Plant 87
J. VICTOR RAMOS, C. GONÇALVES AND A. DOURADO
Agents
An Autonomous Intelligent Agent Architecture Based on
Constructivist AI 103
FILIPOSTUDZINSKIPEROTTO,ROSAVICARI
ANDLUÍSOTÁVIOALVARES
Finding Manufacturing Expertise Using Ontologies and
Cooperative Agents 117
OLGANABUCO,MAUROKOYAMA,FRANCISCOPEREIRA
ANDKHALILDRIRA
Using Agents in the Exchange of Product Data 129
UDOKANNENGIESSER AND JOHNS. GERO
Applications 2
A Pervasive Identification and Adaptation System for the
Smart House 141
PAULOF. F. ROSA,SANDROS. LIMA,WAGNERT. BOTELHO,
ALEXANDREF. NASCIMENTO AND MAXSILVAALALUNA
vii
Deductive Diagnosis of Digital Circuits 155
J. J. ALFERES,F. AZEVEDO,P. BARAHONA,C. V. DAMÁSIO
ANDT. SWIFT
Verification of Nasa Emergent Systems 167
CHRISTOPHERROUFF,AMYVANDERBILT,
WALTTRUSZKOWSKI,JAMESRASH AND MIKEHINCHEY
Theory
Knowledge Base Structure: Understanding Maintenance 177
JOHNDEBENHAM
Learning Bayesian Metanetworks from Data with Multilevel
Uncertainty 187
VAGANTERZIYAN ANDOLEKSANDRAVITKO
Using Organisational Structures Emergence for Maintaining
Functional Integrity In Embedded Systems Networks 197
JEAN-PAULJAMONT AND MICHELOCCELLO
Efficient Attribute Reduction Algorithm 211
ZHONGZHISHI,SHAOHUILIU AND ZHENGZHENG
Using Relative Logic for Pattern Recognition 223
JULIUSZ L. KULIKOWSKI
Intelligent Tutoring and Collaboration
MathTutor: A Multi-Agent Intelligent Tutoring System 231
JANETTECARDOSO,GUILHERMEBITTENCOURT,
LUCIANA FRIGO, ELIANE POZZEBON AND ADRIANA POSTAL
Analysis and Intelligent Support of Learning Communities in
Semi-structured Discussion Environments 243
ANDREAS HARRER
An Adaptive Assessment System to Evaluate Student Ability Level 257
ANTONELLACARBONARO,GIORGIOCASADEI AND
SIMONERICCUCCI
viii AI Applications and Innovations
Forming the Optimal Team of Experts for Collaborative Work 267
ACHIMKARDUCK AND AMADOUSIENOU
Internet
Impact on Performance of Hypertext Classification of Selective
Rich HTML Capture 279
HOUDABENBRAHIM ANDMAXBRAMER
Introducing a Star Topology into LatentClass Models for
Collaborative Filtering 293
AND
Dialoguing with an Online Assistant in a Financial Domain:
The VIP-Advisor Approach 305
JOSEFAZ. HERNANDEZ,ANAGARCIA-SERRANO AND
JAVIER CALLE
An Agency for Semantic-Based Automatic Discovery of
Web Services 315
SIMONACOLUCCI,TOMMASODINOIA,
EUGENIODISCIASCIO,FRANCESCOM.DONINI,
MARINA MONGIELLO, GIACOMO PISCITELLI AND
GIANVITOROSSI
Genetic Algorithms
GESOS: A Multi-Objective Genetic Tool for Project Management
Considering Technical and Non-Technical Constraints 329
CLAUDEBARON,SAMUELROCHET AND DANIELESTEVE
UsingGenetic Algorithms and Tabu Search Parallel Models to
Solve the SchedulingProblem 343
PEDROPINACHO,MAURICIOSOLAR,MARIOINOSTROZA
AND ROSA MUÑOZ
ModellingDocument Categories by Evolutionary Learning of
Text Centroids 359
J.I. SERRANO AND M.D.DELCASTILLO
ix
Ontologies and Data Mining
ODEVAL: A Tool for Evaluating RDF(S), DAML+OIL
and OWL Concept Taxonomies 369
ÓSCARCORCHO,ASUNCIÓNGÓMEZ-PÉREZ,
RAFAELGONZÁLEZ-CABERO AND M. CARMENSUÁREZ-FIGUEROA
AIR - A Platform for Intelligent Systems 383
DRAGANDJURIC,DRAGANGASEVIC AND VIOLETADAMJANOVIC
SwissAnalyst 393
O. POVEL AND C. GIRAUD-CARRIER
Data Mining by MOUCLAS Algorithm for Petroleum Reservoir
Characterization from Well Logging Data 407
YALEIHAO,MARKUSSTUMPTNER,GERALDQUIRCHMAYR AND
QINGHE
Reasoning and Scheduling
Verification of Procedural Reasoning Systems (PRS) Programs
Using Coloured Petri Nets (CPN) 421
RICARDOWAGNERDEARAÚJO AND ADELARDOADELINO
DE MEDEIROS
Online Possibilistic Diagnosis Based on Expert Knowledge for
Engine Dyno Test Benches 435
O.DEMOUZON,X. GUÉRANDEL,D. DUBOIS,H.PRADE
ANDS. BOVERIE
CBR and Micro-Architecture Anti-Patterns Based Software
Design Improvement 449
TIEFENG,JIACHENZHANG,HONGYUANWANG AND XIANWANG
A Decision Support System (DSS) for the Railway Scheduling
Problem 465
L. INGOLOTTI,P. TORMOS,A. LOVA,F. BARBER,M.A. SALIDO
ANDM.ABRIL
An Interactive Multicriteria Optimisation Approach to Scheduling 475
MARTINJOSEFGEIGER AND SANJAPETROVIC