Preface
 

                            "What I cannot create I do not nnderstand. " Richard P. Feynman
 

The success of engineering work depends on the recognition and use of several synergic factors. While the analytic approach is the key to solving some well-defined subproblems, creativity helps us to free ourselves of prejudices and to find useful analogies. Moreover, critical thinking opens up the way to argumentation with inexact premises and rules. While engineering is based on such complex mental features, it is perhaps more transparent than some other human activities: its world is that of man-made artifacts that should be useful in a broad sense of the word.

This leads us to our belief that in consideration of the advancements in Engineering of Intelligent Systems one may have a proper view of the state of research in the whole of Artificial Intelligence (AI). Knowledge gleaned here is valid not only in this particular application area but provides valuable hints to all perspectives of AI theory and its potential for solving other problems as well. Having recognized the above features of engineering problem solving, the International Society of Applied Intelligence (ISAI), more than a decade ago, initiated a series of conferences named Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE). The Hungarian AI community was honored by the invitation of the ISAI to organize and host the IEA/AIE 2001 conference (June 4-7, 2001, Budapest, Hungary), which is the 14th in the series.

The Call for Papers announcement attracted many researchers and engineers from all over the world. A total of 140 papers was submitted and 104 - representing all continents - were selected for presentation at this conference and are included in these proceedings. Main areas of the AI research and different application domains are represented in the papers that are arranged in conference sections / book chapters as follows: Search, Knowledge Representation, Model-Based Reasoning, Machine Learning, Data Mining, Soft Computing, Evolutionary Algorithms, Distributed Problem Solving, Expert Systems, Pattern and Speech Recognition, Vision, Language Processing, Planning and Scheduling, Robotics, Autonomous Agents, Design, Control, Manufacturing Systems, Finance and Business, Software Engineering, and Tutoring.

In addition to ISAI, the main sponsor of the conference, our special thanks are due to the American Association for Artificial Intelligence (AAAI); the Association for Computing Machinery (ACM/SIGART); the Canadian Society for Computational Studies of Intelligence (CSCSI); the European Coordinating Committee for Artificial Intelligence (ECCAI); the European Research Consortium for Informatics and Mathematics (ERCIM); the Hungarian Academy of Sciences (HAS); the Institution of Electrical Engineers (IEE); the International Neural Network Society (INNS); the Japanese Society of Artificial Intelligence (JSAI); the Ministry of Education, Hungary (OM); and the Southwest Texas State University (SWT) who all supported the l4th IEA/AIE conference.

We wish to thank the members of the International Program Committee, especially those who played specific roles: Soundar Kumara (Program Co-chair), Khosrow Kaikhah (Publicity Chair) and Gusztáv Hencsey (Local Organization Chair). We would also like to thank all the authors and referees for their contribution and efforts which made IEA/AIE 2001 possible. Last but not least, we would like to express our gratitude to Mrs. Mariann Kindl, Congress Secretary, and Mrs. Cheryl Morriss (SWT) for their enthusiastic and unflagging contributions.

March 2001
László Monostori
József Váncza
Moonis Ali
 
 
 

Table of contents
 

Solving Network Synthesis Problems Using Ant Colony Optimisation
Marcus Randall and Elliot Tonkes

A Combined Swarm Differential Evolution Algorithm for Optimization Problems
Tim Hendtlass

An Evolutionary Optimum Searching Tool
Zoltán Tóth and Gabriella Kókai

Value Prediction in Engineering Applications
G. Ziegler, Z. Palotai, T. Cinkler, P. Arató, and A. Lörincz

Scatter Search with Random Walk Strategy for SAT and MAX-W-SAT Problems
Habiba Drias and Mohamed Khabzaoui

Move Ordering Using Neural Networks
Levente Kocsis, Jos Uiterwijk, and Jaap van den Herik

Knowledge Representation
Why Use a Unified Knowledge Representation?
John Debenham

Lazy Knowledge Base Update
Witold ukaszewicz and Ewa Madaliska-Bugaj

On the Computational Aspect of Rule Based Database Updates
Yun Bai and Yan Zhang

Building an Information and Knowledge Fusion System
Tamás Mészáros, Zsolt Barczikay, Ferenc Bodon, Tadeusz P. Dobrowiecki, and György Strausz

Hierarchical Approach for Engineering Skills Acquisition
Mark S. Levin

Dealing with Information in the Different Styles Together - Skill Inheritance and Integration of Information
Setuo Ohsuga and Naoto Ueda

Knowledge Modelling in Support of Knowledge Management
Robert Kende

A New Approach in Object-Based Knowledge Representation: The AROM System
Michel Page, Jérôme Gensel, Cécile Capponi, Christophe Bruley, Philippe Genoud, Danielle Ziébelin, Daniel Bardou, and Véronique Dupierris

Ontology Integration Tasks in Business-to-Business E-Commerce
Borys Omelayenko

Model-Based Reasoning
Using Multiple Models for Debugging VHDL Designs
Franz Wotawa

Lessons Learned from Diagnosing Dynamic Systems Using Possible Conflicts and Quantitative Models
Belarmino Pulido, Carlos Alonso, and Felipe Acebes

Intelligent Assumption Retrieval from Process Models by Model-Based Reasoning
R. Lakner and K.M. Hangos

A Knowledge Model for Automatic Configuration of Traffic Messages
Martín Molina and Mónica Robledo

Machine Learning
Information Extraction from HTML: Combining XML and Standard Techniques for IE from the Web
Luo Xiao, Dieter Wissmann, Michael Brown, and Stefan Jablonski

Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection
Dieter Bühler and Wolfgang Küchlin

Where to Position the Precision in Knowledge Extraction from Text
Luo Xiao, Dieter Wissmann, Michael Brown, and Stefan Jablonski

Generation of Similarity Measures from Different Sources
Benno Stein and Oliver Niggemann

SNN: A Supervised Clustering Algorithm
Jesús S. Aguilar, Roberto Ruiz, José C. Riquelme, and Raúl Giráldez

An Eager Regression Method Based on Best Feature Projections
Tolga Aydn and H. Altay Güvenir

On the Relationship between Learning Capability and the Boltzmann-Formula
Péter Stefán and László Monostori

Data Mining
A View Selection Tool for Multidimensional Databases
Hasan M. Jamil and Giovanni A. Modica

Inductive Learning of a Knowledge Dictionary for a Text Mining System
Shigeaki Sakurai, Yumi Ichimura, Akihiro Suyama, and Ryohei Orihara

Combining Symbolic and Numeric Techniques for DL Contents Classification and Analysis
Yannick Toussaint and Jean-Charles Lamirel

Soft Computing
Neural Learning from Unbalanced Data Using Noise Modeling
Hong Guo and Yi L. Murphey

Neural Modeling of an Industrial Process with Noisy Data
P. Berényi, J. Valyon, and G. Horváth

Enhanced Artificial Neurons for Network Applications
Gerard Murray and Tim Hendtlass

Time Delay Neural Networks Designed Using Genetic Algorithms for Short Term Inter-City Traffic Forecasting
Pawan Lingras and Paul Mountford

An Efficient Hardware Implementation of Feed-Forward Neural Networks
Tamás Szabó and Gábor Horváth

MAPS: A Method for Identifying and Predicting Aberrant Behavior in Time Series
Evangelos Kotsakis and Antoni Wolski

Comparisons of QP and LP Based Learning from Empirical Data
Vojislav Kecman and Tiru Arthanari

A Fuzzy Cognitive Map Based on the Random Neural Model
Jose Aguilar

Synthetic Damage Assessment for RC Structure Based on Fuzzy Logic
Chung-Huei Tsai and Deh-Shiu Hsu

Genetic Algorithm for Fuzzy Logical Equations Solving in Diagnostic Expert Systems
Alexander Rotshtein and Hanna Rakytyanska

Diagnosis Based on Genetic Algorithms and Fuzzy Logic in NPPs
Yangping Zhou, Xiang Fang, and Bingquan Zhao

Vagueness in Spatial Data: Rough Set and Egg-Yolk Approaches
Theresa Beaubouef and Frederick Petry

Evolutionary Algorithms
Dynamic Trait Expression for Multiploid Individuals of Evolutionary Algorithms
Clinton Woodward and Tim Hendtlass

A Genetic and Evolutionary Programming Environment with Spatially Structured Populations and Built-In Parallelism
Miguel Rocha, Filipe Pereira, Sónia Afonso, and José Neves

Genetic and Evolutionary Algorithms for Time Series Forecasting
Paulo Cortez, Miguel Rocha, and José Neves

Layout of Two Dimensional Irregular Shapes Using Genetic Algorithms
Rym M'hallah, Ahlem Bouziri, and Walid Jilani

An Application of Genetic Algorithms to Course Scheduling at the United States Army War College
James J. Donlon

Separation Surfaces through Genetic Programming
José C. Riquelme, Raúl Giráldez, Jesús S. Aguilar, and Roberto Ruiz

Distributed Problem Solving
Distributed Configuration as Distributed Dynamic Constraint Satisfaction
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, and Markus Zanker

Representation Choice Methods as the Tool for Solving Uncertainty in Distributed Temporal Database Systems with Indeterminate Valid Time
Ngoc Thanh Nguyen

Checkpoint-Recovery for Mobile Intelligent Networks
Yoshinori Morita and Hiroaki Higaki

Expert Systems
Automotive Product Documentation
Andreas Kaiser and Wolfgang Küchlin

The Design and Implementation of a Traffic Accident Analysis System
Haiyi Zhang, Barbro Back, and WanLei Zhou

Decision Support System for Shadow Mask Development Using Rule and Case
Honggee Jin, Minsung Kim, Sabum Jung, Keymok Shon, Hyungtae Ha, Byungjin Ye, and Jiwon Jo

An Expert System for Ironmaking
Javier Tuya, Eugenia Díaz, Marta Hermida, José A.L. Brugos, Angel Neira, Alfredo Alguero, and Faustino Obeso

Pattern and Speech Recognition, Vision
Short Circuit Detection on Printed Circuit Boards during the Manufacturing Process by Using an Analogic CNN Algorithm
Timót Hidvégi and Péter Szolgay

Application of Feature Transformation and Learning Methods in Phoneme Classification
András Kocsor, László Tóth, and László Felföldi

A Smart Machine Vision System for PCB Inspection
Tie Qi Chen, Jianxin Zhang, Youning Zhou, and Yi Lu Murphey

Language Processing
Linguistic and Logical Tools for an Advanced Interactive Speech System in Spanish
Jordi Álvarez, Victoria Arranz, Núria Castell, and Montserrat Civit

Selecting a Relevant Set of Examples to Learn IE-Rules
J. Turmo and H. Rodríguez

An Environment for Formal Specification and Verification of Lingware
Bilel Gargouri, Mohamed Jmaiel, and Abdelmajid Ben Hamadou

Sentence Analysis by Case-Based Reasoning
Fairouz Chakkour and Yannick Toussaint

Topic Detection Using Lexical Chains
Yllias Chali

Planning and Scheduling
A Mixed Closure-CSP Method to Solve Scheduling Problems
María Isabel Alfonso Galipienso and Federico Barber Sanchís

Decentralized Autonomous FMS Control by Hypothetical Reasoning Including Discrete Simulator
Hidehiko Yamamoto and Etsuo Marui

Distributed Learning and Control for Manufacturing Systems Scheduling
Joonki Hong and Vittal Prabhu

An Agent for Providing the Optimum Cycle Length Value in Urban Traffic Areas Constrained by Soft Temporal Deadlines
L.A. García and F. Toledo

Interactive Modeling for Batch Simulation of Engineering Systems: A Constraint Satisfaction Problem
Debasis Mitra

Approaches to Increase the Performance of Agent-Based Production Systems
Botond Kádár and László Monostori

Scheduling of Production Using the Multi-agent Approach by Hierarchical Structure
B. Frankovic and T.T. Dang

Optimization of Disassembly Sequences for Recycling of End-of-Life Products by Using a Colony of Ant-Like Agents
F. Failli and G. Dini

Robotics
Sound and Visual Tracking for Humanoid Robot
Hiroshi G. Okuno, Kazuhiro Nakadai, Tino Lourens, and Hiroaki Kitano

Developing a Mobile Robot Control Application with CommonKADS-RT
M. Henao, J. Soler, and V. Botti

Intelligent Control of Mobile Robot during Autonomous Inspection of Welding Damage Based on Genetic Algorithm
Dong-Ying Ju and Satoshi Kushida

Machine Learning for Car Navigation
Dejan Mitrovic

Autonomous Agents
Implementing Agent Management Using Conversation Patterns and Role Theory
Christos Stergiou and Geert Arys

An Approach to Coalition Formation Using Argumentation-Based Negotiation in Multi-agent Systems
Hiromitsu Hattori, Takayuki Ito, Tadachika Ozono, and Toramatsu Shintani

A Negotiation Model to Support Material Selection in Concurrent Design
Robin Barker, Leigh Holloway, and Anthony Meehan

An XML-Based Language for Coordination Protocol Description in Multi-agent System
Mao Weiliang, Sheng Huanye, and Dingpeng

A Distributed Multi-agent Model for Value Nets
Chad Dodd and Soundar R.T. Kumara

Norms for DLP Agents Working in a Warehouse Scenario
Ioan Alfred Letia, Florin Craciun, and Zoltan Köpe

Design
A Methodology for Reliable Systems Design
Jaime Solano-Soto and Luis Enrique Sucar

Intelligent Support for Interactive Configuration of Mass-Customized Products
A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker

Knowledge Decomposition for Conceptual Product Design: An Approach to Develop Specific Domain Expert Systems for Supporting Concurrent Engineering Projects
Rodrigo Hermes de Araújo, Osmar Possamai, and Luiz Dalla Valentina

Control
Intelligent Control Synthesis of Manufacturing Systems
Frantiek apkovi and Peter apkovi

A Knowledge Based System for the Maintenance of Chemical Plants and Its Implementation Using OPTRANS
Giovani Pieri, Michel R. Klein, and Mario Milanese

Different Kinds of Neural Networks in Control and Monitoring of Hot Rolling Mill
L. Cser, J. Gulyás, L. Szücs, A. Horváth, L. Árvai, and B. Baross

Non-linear Prediction of Vibration Series for Turbogenerator Unit
Zhi-Hua Ge, Zhong-He Han, and Chang-Fu Ding

Autonomous Agents Architecture to Supervise and Control a Wastewater Treatment Plant
David Riano, Miquel Sanchez-Marre, and Ignasi R.-Roda

Agent-Based Support for Handling Environmental and Life-Cycle Issues
Elisabeta Zudor and László Monostori

Manufacturing Systems
Fractal Businesses in an E-Business World
Wilfried Sihn and Joachim Klink

Optimisation of Process Chains and Production Plants by Using a Hybrid-, AI-, and Simulation-Based Approach
Z.J. Viharos and L. Monostori

A Multi-Agent Fuzzy Cognitive Tool for Reengineering Manufacturing Systems
Julio Macedo

Finance and Business
Product Line Design with Customer Preferences
András Márkus and József Váncza

Applying Logic of Information Flow and Situation Theory to Model Agents That Simulate the Stock Market Behaviour
Sueli Bandeira Teixeira Mendes and Oscar Luiz Monteiro de Farias

GAs and Financial Analysis
Matty Leus, Dwight Deugo, Franz Oppacher, and Rob Cattral

Semi-structured Knowledge Representation for the Automated Financial Advisor
Boris Galitsky

Software Engineering
Improving Space, Time, and Termination in Rewriting-Based Programming
Nadia Nedjah and Luiza de Macedo Mourelle

Knowledge Intensive Case-Based Assistance for Framework Reuse
Mercedes Gómez-Albarrán and Pedro A. González-Calero

Deciding on a Pattern
Jonathan C. McPhail and Dwight Deugo

Program Modeling for Fault Definition Based Static Analysis
Thomas Illgen

Goal-Driven, Scalable Generation of Complete Interaction Sequences for Testing Graphical User Interfaces
Fevzi Belli

Tutoring
Planning Agents in a Multi-agents Intelligent Tutoring System
Roger Nkambou and Froduald Kabanza

Constraint-Based Tutors: A Success Story
Antonija Mitrovic, Michael Mayo, Pramuditha Suraweera, and Brent Martin

Applying Collision Avoidance Expert System to Navigation Training Systems as an Intelligent Tutor
Chunsheng Yang, Sieu Phan, Pikuei Kuo, and Fuhua Oscar Lin

Author Index