ISBN: 3-540-66076-3
TITLE: Multiple Approaches to Intelligent Systems
AUTHOR: Imam, Ibrahim F.; Kodratoff, Yves; El-Dessouki, Ayman; Ali, Moonis (Eds.)
TOC:

Invited Talks
Formalisations of Uncertain Reasoning
F. S. C. da Silva, Cidade Universitria, Brazil 1
Agent-Oriented Software Engineering
N. R. Jennings, University of London, United Kingdom 4
A Unified-Metaheuristic Framework
I. H. Osman, University of Kent, United Kingdom, and Faculty of Administrative Sciences, Kuwait 11
Fuzzy Systems
A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems
S.-L. Wang, Y.-H. Wu, I-Shou University, Taiwan 13
Modeling Fuzzy Sets Using Object-Oriented Techniques
G. Y. C. Wong, H. W. Chun, City University of Hong Kong, Hong Kong 23
A Fuzzy Approach to Map Building
H. Zreak, M. Alwan, M. Khaddour, Higher Institute of Applied Sciences and Technology, Syria 33
Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems
D. Pacholczyk, University of Angers, France 43
Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model
R. Sendelj, Yugoslav Navy; V. Devedzic, University of Belgrade, Yugoslavia 54
Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model
H.-K. Fan, Kuang-Ku Institute of Technology and Commerce; C. Chen, National Taiwan University of Science and Technology; C.-M. Hong, National Taiwan Normal University, Taiwan 64
A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain
T.-P. Hong, T.-T. Wang, I-Shou University, Taiwan 74
Neural Networks
Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic
Y. Dakroury, A. A. El Al, O. Badr, Ain Shams University, Egypt 80
A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications
D. Manrique, J. Ros, Universidad Politcnica de Madrid; A. Vilarrasa, University Hospital 12 de Octubre, Spain 92
Study of Weight Importance in Neural Networks Working With Colineal Variables in Regression Problems
A. Martnez, Ciudad Universitaria; J. Castellanos, C. Hernndez, Facultad de Informtica; F. de Mingo, EUIT de Informtica, Spain 101
The Parallel Path Artificial Micronet
G. Murray, T. Hendtlass, J. Podlena, Swinburne University of Technology, Australia 111
Genetic Algorithms
A Generation Method to Produce GA with GP Capabilities for Signal Modeling
A. Ezzat, N. Inuzuka, H. Itoh, Nagoya Institute of Technology, Japan 118
Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation
M. Rocha, J. Neves, Universidade do Minho, Portugal 127
Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization
M. El-Beltagy, A. Keane, University of Southampton, United Kingdom 137
A Genetic Algorithm for Visualizing Networks of Association Rules
F. Guillet, P. Kuntz, IRIN/IRESTE; R. Lehn, IRIN/IRESTE, PerformanSE S.A., France 145 Genetic Algorithms in Solving Graph Partitioning Problem
S. Shazely, H. Baraka, Cairo University; A. Abdel-Wahab, Electronics Research Institute, H. Kamal, Cairo University, Egypt 155
Application of Genetic Algorithms in Power System Stabilizer Design
A. I. Baaleh, A. F. Sakr, Cairo University, Egypt 165
A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain
E. B. Mansilla, Ramon Llull University, Spain; A. Mekaouche, University of Nantes, France; J. M. G. Guiu, Ramon Llull University, Spain 175
Search A New Gradient-Based Search Method: Grey-Gradient Search Method
C.-M. Chen, National Taiwan University of Science and Technology; C.-M. Hong, National Taiwan Normal University; H. Fan, Kuang-Ku Institute of Technology and Commerce, Taiwan 185
An Improvised A* Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts
D. A. L. Piriyakumar, P. Levi, University of Stuttgart, Germany 195
Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems
A. R. Appas, Electronic Research Institute, A. M. Darwish, Cairo University, A. El-Dessouki, Electronic Research Institute, S. I. Shaheen, Cairo University, Egypt 205
Reasoning
Cost-Based Abduction Using Binary Decision Diagrams
S. Kato, Toyota National College of Technology; S. Oono, H. Seki, H. Itoh, Nagoya Institute of Technology, Japan 215
New Directions in Debugging Hardware Designs
F. Wotawa, Institut fr Informationssysteme Wien, Austria 226
Reasoning with Diagrams: The Semantics of Arrows
G. Ligozat, Universit Paris-Sud, France 236
MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis
H. Milde, L. Hotz, J. Kahl, B. Neumann, S. Wessel, University of Hamburg, Germany 246
Expert Systems and Applications
WebMaster: Knowledge-Based Verification of Web-Pages
F. van Harmelen, Vrije Universiteit Amsterdam; J. van der Meer, Aldministrator, The Netherlands 256
Towards Task-Oriented User Support for Failure Mode and Effects Analysis
G. Peter, University of Ulm (FAW); D. Rsner, Otto-von-Guericke-University, Germany 266
Incremental and Integrated Evaluation of Rule-Based Systems
P. G. Chander, Bell Laboratories, USA; R. Shinghal, T. Radhakrishnan, Concordia University, Canada 276
A Model of Reflection for Developing AI Applications
M. H. Ibrahim, F. A. Cummins, EDS/Leading Technologies and Methods, USA 286
A Compositional Process Control Model and Its Application to Biochemical Processes
C. M. Jonker, J. Treur, Vrije Universiteit Amsterdam, The Netherlands 296
Visual and Textual Knowledge Representation in DESIRE
C. M. Jonker, Vrije Universiteit Amsterdam, The Netherlands; R. Kremer, University of Calgary, Canada; P. van Leeuwen, Vrije Universiteit Amsterdam, The Netherlands; D. Pan, University of Calgary, Canada; J. Treur, Vrije Universiteit Amsterdam, The Netherlands 306
Verification of Knowledge Based-Systems for Power System Control Centers
J. Santos, L. Faria, C. Ramos, Z. A. Vale, Polytechnic Institute of Porto; A. Marques, REN - Portuguese Transmission Network, Portugal 316
Self-Crossover and Its Application to the Traveling Salesman Problem
M. K. Kundu, N. R. Pal, Indian Statistical Institute, India 326
Enabling Client-Server Explanation Facilities in a Real Time Expert System
N. Malheiro, Z. A. Vale, C. Ramos, J. Santos, Polytechnic Institute of Porto; A. Marques, REN - Portuguese Transmission Network, Portugal 333
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks
P. Frhlich, W. Nejdl, Universit t Hannover, Germany; M. Schroeder, Universitat Hannover and City University, United Kingdom; C. Dam sio, L. M. Pereira, Universidade Nova de Lisboa, Portugal 343
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge
V. Y. Terziyan, S. Puuronen, University of Jyvaskyla, Finland 353
Alex: A Computer Aid for Treating Alexithymia
R. N. Smith, Northeastern University; W. J. Frawley, University of Delaware, USA 362
Case-Base Reasoning
Mechanizing Proofs of Integrity Constraints in the Situation Calculus
E. Kounalis, P. Urso, Universit de Nice, Sophia-Antipolis, France 372
Using Cases for Process Modelling: An Example from the Water Supply Industry
G. Saward, University of Hertfordshire, United Kingdom 382
Financial Analysis by Case Based Reasoning
E. Ameur, K. Boudina, University of Montreal, Canada 388
Training of the Learner in Criminal Law by Case-Based Reasoning
S. Blanger, M. A. Thibodeau, E. Ameur, University of Montreal, Canada 398
Intelligent Agents
Constraint-Based Agent Specification for a Multi-Agent Stock Brokering System
B. H. Ooi, A. K. Ghose, University of Wollongong, Australia 409
A Communication Language and the Design of a Diagnosis Agent - Towards a Framework for Mobile Diagnosis Agents
C. Piccardi, F. Wotawa, Institut fr Informationssysteme Wien, Austria 420
Information Brokering Agents in Intelligent Websites
C. M. Jonker, J. Treur, Vrije Universiteit Amsterdam, The Netherlands 430
Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing
T. Gavrilova, A. Voinov, I. Lescheva, Institute for High Performance Computing and Databases, Russia 440
A Multi-agent Solution for Advanced Call Centers
B. Bauer, Siemens Corporate Technology; C. Klein, Siemens I, C Networks, Germany 450
A Multi-agent System for Emergency Management in Floods
J. Cuena, M. Molina, Technical University of Madrid, Spain 460
Problem-Solving Frameworks for Sensible Agents in an Electronic Market
K. S. Barber, A. Goel, D. Han, J. Kim, T. H. Liu, C. E. Martin, R. McKay, University of Texas at Austin, USA 470
A Model for Distributed Multi-agent Traffic Control
C. Bel, W. van Stokkum, Kenniscentrum CIBIT, The Netherlands 480
Smart Equipment Creating New Electronic Business Opportunities
R. Gustavsson, University of Karlskrona/Ronneby, Sweden 490
Distributed AI Agent Oriented Conceptual Modeling of Parallel Workflow Systems
S. Aknine, S. Pinson, Universit Paris Dauphine, France 500
A Distributed Algorithm as Mobile Agents
D. Deugo, Carleton University, Canada 510
Why Ontologies are Not Enough for Knowledge Sharing
F. S. C. da Silva, University de So Paulo; W. Weber Vasconcelos, University Estadual do Cear ; Brazil; J. Agust, Institute d'Investigaci en Intelligencia Artificial; Spain; D. Robertson, Edinburgh University, United Kingdom, A. C. V. de Melo, Universidade de So Paulo, Brazil 520
Pattern Recognition and Vision
A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems
K. Mostafa, S. I. Shaheen, A. M. Darwish, I. Farag, Cairo University, Egypt 530
Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database
M. E. Ragab, Electronics Research Institute; A. M. Darwish, Cairo University; E. M. Abed, Electronics Research Institute; S. I. Shaheen, Cairo University, Egypt 540
Using Labeled and Unlabeled Data to Train a Multilayer Perceptron for Color Classification in Graphic Arts
A. Verikas, Halmstad University, Sweden, and Kaunas University of Technology, Lithuania; A. Gelzinis, Kaunas University of Technology, Lithuania; K. Malmqvist, Halmstad University, Sweden 550
A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components
M.A. Rodrigues, Y. Liu, The University of Hull, United Kingdom 560
A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation
E. Zangrouba, T. Hedidar, A. Jaoua, Universitaire Ras Tabia, Tunisia 570
SAPIA: A Model Based Satellite Image Interpretation System
F. Ramparany, F. Sandt, Cap Gemini Sogeti Group, France 580
Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images
S. Shah, Wayne State University; J.K. Aggarwal, The University of Texas at Austin, USA 590
Machine Learning
Air-Crew Scheduling through Abduction
A. C. Kakas, A. Michael, University of Cyprus, Cyprus 600
Unfold/Fold Inductive Proof: An Extension of a Folding Technique
R. Salem, K. Bsaes, Campus Universitaire, Tunisia 612
On Solving the Capacity Assignment Problem Using Continuous Learning Automata
B. J. Oommen, T. D. Roberts, Carleton University, Canada 622
Supervised Parameter Optimization of a Modular Machine Learning System
M. Link, M. Ishitobi, Mitsubishi Materials Corporation, Japan 632
Non-supervised Rectangular Classification of Binary Data
H. M. Sellami, Institut Superieur de Gestion, Tunisia; A. Jaoua, King Fahd University of Petroleum and Minerals, Saudia Arabia 642
Synthesizing Intelligent Behavior: A Learning Paradigm
M. S. Hamdi, K. Kaiser, Universitaet Hamburg, Germany 649
Automatic Input-output Configuration and Generation of ANN-based Process Models and Their Application in Machining
Z. J. Viharos, L. Monostori, Hungarian Academy of Sciences, Hungary 659
DCL: A Disjunctive Learning Algorithm for Rule Extraction
S. M. Abu-Soud, Princess Sumaya University, Jordan, M. R. Tolun, Middle East Technical University, Turkey 669
Temporal Reasoning
Modeling and Simulating Breakdown Situation in Telecommunication Networks
A. Osmani, LIPN, Institute Galile, France 679
Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources
S. Puuronen, H. Kaikova, University of Jyvaskyla, Finland 688
Introduction to Reasoning About Cyclic Intervals
A. Osmani, LIPN, Institute Galile, France 698
A Multiple-Platform Decentralized Route Finding System
H. W. Guesgen, University of Auckland, New Zealand; D. Mitra, Jackson State University, USA 707
Heuristic Selection of Aggregated-Temporal Data for Knowledge Discovery
H. Hamilton, D. J. Randall, University of Regina, Canada 714
Knowledge Representation
Architectural Knowledge Representation Using the Galois Lattice Technique
D. Chitchian, S. Sariyildiz, H. Koppelaar, Delft University of Technology, The Netherlands 724
Automated Solving of the DEDS Control Problems
F.Capkovic, Slovak Academy of Sciences, Slovak Republic 735
A More Efficient Knowledge Representation for Allen's Algebra and Point Algebra
J. Kahl, L. Hotz, H. Milde, S. Wessel, University of Hamburg, Germany 747
Unified Chromosome Representation for Large Scale Problems
H. H. Baraka, S. Eid, H. Kamal, Cairo University, A. H. AbdelWahab, Electronics Research Institute, Egypt 753
A Novel Framework for Hybrid Intelligent Systems
H. A. Hefny, Arab Organization for Industrialization, A. Abdel Wahab, Electronics Research Institut, A. A. Bahnasawi, S. I. Shaheen, Cairo University, Egypt 761
Planning and Scheduling
The Design of a Multi-tiered Bus Timetabling System
H. W. Chun, City University of Hong Kong, S. H. C. Chan, Advanced Object Technologies Limited, Hong Kong 771
Scheduling of a Production Unit via Critical Block Neighborhood Structures
P. van Bael, M. Rijckaert, Katholieke Universiteit Leuven, Belgium 780
An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT
N. Tomii, L. J. Zhou, N. Fukumura, Railway Technical Research Institute, Japan 788
Tutoring and Manufacturing Systems
Designing an Intelligent Tutoring Systems in the Domain of Formal Languages
D. Popovic, Mihailo Pupin Institute; V. Devedzic, University of Belgrade, Yugoslavia 798
Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks
E. El-Sheikh, J. Sticklen, Michigan State University, USA 809
An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems
C. Schaefer, O. Lopez, Universidad Politcnica de Madrid, Spain 820
The Economic Benefits of Internet-Based Business Operations in Manufacturing
E. Gide, F. Soliman, University of Technology, Sydney, Australia 830
CNC Manufacturing of Complex Surfaces Based on Solid Modeling
A. Elkeran, Mansoura University; M. A. El-baz, Zagazig University, Egypt 841
Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case
T. El-Fouly, N. Zerhoini, M. Ferney, A. El Moundi, Laboratoire d'Automatique Mecatronique Productique et Systmique (L.A.M.P.S), France 849
Intelligent Software Engineering
A Formal Approach to Lingware Development
B. Gargouri, M. Jmaiel, A. Ben Hamadou, Laboratoire LARIS, Tunisia 859
A Formal Knowledge Level Process Model of Requirements Engineering
D. E. Herlea, C. M. Jonker, J. Treur, Vrije Universiteit Amsterdam, The Netherlands; N. J. E. Wijngaards, University of Calgary, Canada 869
Pieces of Mind: Component-Based Software Development of Artificial Intelligence
J. Cakic, Belgrade; V. Devedzic, University of Belgrade, Yugoslavia 879
CNC Automatic Programming System for Wire-EDM
T. T. El-Midany, A. Elkeran, H. T. Radwan, Mansoura University, Egypt 889
Index 897
END
