Multiple Approaches to Intelligent Systems 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings

We never create anything, We discover and reproduce. The Twelfth International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems has a distinguished theme. It is concerned with bridging the gap between the academic and the industrial worlds of Artificial Intelligence (AI) and Expert Systems. The academic world is mainly concerned with discovering new algorithms, approaches, and methodologies; however, the industrial world is mainly driven by profits, and concerned with producing new products or solving customers’ problems. Ten years ago, the artificial intelligence research gap between academia and industry was very broad. Recently, this gap has been narrowed by the emergence of new fields and new joint research strategies in academia. Among the new fields which contributed to the academic-industrial convergence are knowledge representation, machine learning, searching, reasoning, distributed AI, neural networks, data mining, intelligent agents, robotics, pattern recognition, vision, applications of expert systems, and others. It is worth noting that the end results of research in these fields are usually products rather than empirical analyses and theoretical proofs. Applications of such technologies have found great success in many domains including fraud detection, internet service, banking, credit risk and assessment, telecommunication, etc. Progress in these areas has encouraged the leading corporations to institute research funding programs for academic institutes. Others have their own research laboratories, some of which produce state of the art research.

Invited Talks.- Formalisations of Uncertain Reasoning.- Agent-Oriented Software Engineering.- A Unified-Metaheuristic Framework.- Fuzzy Systems.- A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems.- Modelling Fuzzy Sets Using Object-Oriented Techniques.- A Fuzzy Approach to Map Building.- Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems.- Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model.- Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model.- A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain.- Neural Networks.- Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic.- A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications.- Study of Weight Importance in Neural Networks Working with Colineal Variables in Regression Problems.- The Parallel Path Artificial Micronet.- Genetic Algorithms.- A Generation Method to Produce GA with GP Capabilities for Signal Modeling.- Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation.- Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization.- A Genetic Algorithm for Visualizing Networks of Association Rules.- Genetic Algorithms in Solving Graph Partitioning Problem.- Application of Genetic Algorithms in Power System Stabilizer Design.- A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain.- Search.- A New Gradient-Based Search Method: Grey-Gradient Search Method.- An Improvised A Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts.- Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems.- Reasoning.- Cost-Based Abduction Using Binary Decision Diagrams.- New Directions in Debugging Hardware Designs.- Reasoning with Diagrams: The Semantics of Arrows.- MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis.- Expert Systems and Applications.- WebMaster: Knowledge-Based Verification of Web-Pages.- Towards Task-Oriented User Support for Failure Mode and Effects Analysis.- Incremental and Integrated Evaluation of Rule-Based Systems.- A Model of Reflection for Developing AI Applications.- A Compositional Process Control Model and Its Application to Biochemical Processes.- Visual and Textual Knowledge Representation in DESIRE.- Verification of Knowledge Based-Systems for Power System Control Centres.- Self-Crossover and Its Application to the Traveling Salesman Problem.- Enabling Client-Server Explanation Facilities in a Real-Time Expert System.- Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks.- Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge.- Alex: A Computer Aid for Treating Alexithymia.- Case-Base Reasoning.- Mechanizing Proofs of Integrity Constraints in the Situation Calculus.- Using Cases for Process Modelling: An Example from the Water Supply Industry.- Financial Analysis by Case Based Reasoning.- Training of the Learner in Criminal Law by Case-Based Reasoning.- Intelligent Agents.- Constraint-Based Agent Specification for a Multi-agent Stock Brokering System.- A Communication Language and the Design of a Diagnosis Agent – Towards a Framework for Mobile Diagnosis Agents.- Information Broker Agents in Intelligent Websites.- Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing.- A Multi-agent Solution for Advanced Call Centers.- A Multiagent System for Emergency Management in Floods.- Problem-Solving Frameworks for Sensible Agents in an Electronic Market.- A Model for Distributed Multi-agent Traffic Control.- Smart Equipment Creating New Electronic Business Opportunities.- Distributed AI.- Agent Oriented Conceptual Modeling of Parallel Workflow Systems.- A Distributed Algorithm as Mobile Agents.- Why Ontologies Are Not Enough for Knowledge Sharing.- A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems.- Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database.- Using Labelled and Unlabelled Data to Train a Multilayer Perceptron for Colour Classification in Graphic Arts.- A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components.- A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation.- SAPIA: A Model Based Satellite Image Interpretation System.- Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images.- Machine Learning.- Air-Crew Scheduling through Abduction.- Unfold/Fold Inductive Proof: An Extension of a Folding Technique.- On Solving the Capacity Assignment Problem Using Continuous Learning Automata.- Supervised Parameter Optimization of a Modular Machine Learning System.- Non-supervised Rectangular Classification of Binary Data.- Synthesizing Intelligent Behavior: A Learning Paradigm.- Automatic Input-Output Configuration and Generation of ANN-Based Process Models and Their Application in Machining.- DCL: A Disjunctive Learning Algorithm for Rule Extraction.- Temporal Reasoning.- Modeling and Simulating Breakdown Situations in Telecommunication Networks.- Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources.- to Reasoning about Cyclic Intervals.- A Multiple-Platform Decentralized Route Finding System.- Heuristic Selection of Aggregated Temporal Data for Knowledge Discovery.- Knowledge Representation.- Architectural Knowledge Representation Using the Galois Lattice Technique.- Automated Solving of the DEDS Control Problems.- A More Efficient Knowledge Representation for Allen’s Algebra and Point Algebra.- Unified Chromosome Representation for Large Scale Problems.- A Novel Framework for Hybrid Intelligent Systems.- Planning and Scheduling.- The Design of a Multi-tiered Bus Timetabling System.- Scheduling of a Production Unit via Critical Block Neighborhood Structures.- An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT.- Tutoring and Manufacturing Systems.- Designing an Intelligent Tutoring System in the Domain of Formal Languages.- Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks.- An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems.- The Economic Benefits of Internet-Based Business Operations in Manufacturing.- CNC Manufacturing of Complex Surfaces Based on Solid Modeling.- Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case.- Intelligent Software Engineering.- A Formal Approach to Lingware Development.- A Formal Knowledge Level Process Model of Requirements Engineering.- Pieces of Mind: Component-Based Software Development of Artificial Intelligence.- CNC Automatic Programming System for Wire-EDM.