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

Front Matter....Pages -
Formalisations of Uncertain Reasoning....Pages 1-3
Agent-Oriented Software Engineering....Pages 4-10
A Unified-Metaheuristic Framework....Pages 11-12
A Fuzzy Knowledge Representation and Acquisition Scheme for Diagnostic Systems....Pages 13-22
Modelling Fuzzy Sets Using Object-Oriented Techniques....Pages 23-32
A Fuzzy Approach to Map Building....Pages 33-42
Towards an Affirmative Interpretation of Linguistically Denied Fuzzy Properties in Knowledge-Based Systems....Pages 43-53
Representational Hierarchy of Fuzzy Logic Concepts in the OBOA Model....Pages 54-63
Design of Fuzzy Sliding Controller Based on Cerebellar Learning Model....Pages 64-73
A New Fuzzy Flexible Flow-Shop Algorithm for Continuous Fuzzy Domain....Pages 74-79
Testing the Performance of a Neural Networks-Based Adaptive Call Admission Controller with Multimedia Traffic....Pages 80-91
A Combined Neural Network and Mathematical Morphology Method for Computerized Detection of Microcalcifications....Pages 92-100
Study of Weight Importance in Neural Networks Working with Colineal Variables in Regression Problems....Pages 101-110
The Parallel Path Artificial Micronet....Pages 111-117
A Generation Method to Produce GA with GP Capabilities for Signal Modeling....Pages 118-126
Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation....Pages 127-136
Using Self Organizing Maps and Genetic Algorithms for Model Selection in Multilevel Optimization....Pages 137-144
A Genetic Algorithm for Visualizing Networks of Association Rules....Pages 145-154
Genetic Algorithms in Solving Graph Partitioning Problem....Pages 155-164
Application of Genetic Algorithms in Power System Stabilizer Design....Pages 165-174
A Study of a Genetic Classifier System Based on the Pittsburgh Approach on a Medical Domain....Pages 175-184
A New Gradient-Based Search Method: Grey-Gradient Search Method....Pages 185-194
An Improvised A Algorithm for Mobile Robots to Find the Optimal Path in an Unknown Environment with Minimized Search Efforts....Pages 195-204
Speeding the Vector Search Algorithm for Regional Color Channel Features Based Indexing and Retrieval Systems....Pages 205-214
Cost-Based Abduction Using Binary Decision Diagrams....Pages 215-225
New Directions in Debugging Hardware Designs....Pages 226-235
Reasoning with Diagrams: The Semantics of Arrows....Pages 236-245
MAD: A Real World Application of Qualitative Model-Based Decision Tree Generation for Diagnosis....Pages 246-255
WebMaster: Knowledge-Based Verification of Web-Pages....Pages 256-265
Towards Task-Oriented User Support for Failure Mode and Effects Analysis....Pages 266-275
Incremental and Integrated Evaluation of Rule-Based Systems....Pages 276-285
A Model of Reflection for Developing AI Applications....Pages 286-295
A Compositional Process Control Model and Its Application to Biochemical Processes....Pages 296-305
Visual and Textual Knowledge Representation in DESIRE....Pages 306-315
Verification of Knowledge Based-Systems for Power System Control Centres....Pages 316-325
Self-Crossover and Its Application to the Traveling Salesman Problem....Pages 326-332
Enabling Client-Server Explanation Facilities in a Real-Time Expert System....Pages 333-342
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks....Pages 343-352
Knowledge Acquisition Based on Semantic Balance of Internal and External Knowledge....Pages 353-361
Alex: A Computer Aid for Treating Alexithymia....Pages 362-371
Mechanizing Proofs of Integrity Constraints in the Situation Calculus....Pages 372-381
Using Cases for Process Modelling: An Example from the Water Supply Industry....Pages 382-387
Financial Analysis by Case Based Reasoning....Pages 388-397
Training of the Learner in Criminal Law by Case-Based Reasoning....Pages 398-408
Constraint-Based Agent Specification for a Multi-agent Stock Brokering System....Pages 409-419
A Communication Language and the Design of a Diagnosis Agent – Towards a Framework for Mobile Diagnosis Agents....Pages 420-429
Information Broker Agents in Intelligent Websites....Pages 430-439
Learner-Model Approach to Multi-agent Intelligent Distance Learning System for Program Testing....Pages 440-449
A Multi-agent Solution for Advanced Call Centers....Pages 450-459
A Multiagent System for Emergency Management in Floods....Pages 460-469
Problem-Solving Frameworks for Sensible Agents in an Electronic Market....Pages 470-479
A Model for Distributed Multi-agent Traffic Control....Pages 480-489
Smart Equipment Creating New Electronic Business Opportunities....Pages 490-499
Agent Oriented Conceptual Modeling of Parallel Workflow Systems....Pages 500-509
A Distributed Algorithm as Mobile Agents....Pages 510-519
Why Ontologies Are Not Enough for Knowledge Sharing....Pages 520-529
A Novel Approach for Detecting and Correcting Segmentation and Recognition Errors in Arabic OCR Systems....Pages 530-539
Face Recognition Using Principal Component Analysis Applied to an Egyptian Face Database....Pages 540-549
Using Labelled and Unlabelled Data to Train a Multilayer Perceptron for Colour Classification in Graphic Arts....Pages 550-559
A Novel 3D-2D Computer Vision Algorithm for Automatic Inspection of Filter Components....Pages 560-569
A Robust and Unified Algorithm for Indoor and Outdoor Scenes Based on Region Segmentation....Pages 570-579
SAPIA: A Model Based Satellite Image Interpretation System....Pages 580-589
Hierarchical Multifeature Integration for Automatic Object Recognition in Forward Looking Infrared Images....Pages 590-599
Air-Crew Scheduling through Abduction....Pages 600-611
Unfold/Fold Inductive Proof: An Extension of a Folding Technique....Pages 612-621
On Solving the Capacity Assignment Problem Using Continuous Learning Automata....Pages 622-631
Supervised Parameter Optimization of a Modular Machine Learning System....Pages 632-641
Non-supervised Rectangular Classification of Binary Data....Pages 642-648
Synthesizing Intelligent Behavior: A Learning Paradigm....Pages 649-658
Automatic Input-Output Configuration and Generation of ANN-Based Process Models and Their Application in Machining....Pages 659-668
DCL: A Disjunctive Learning Algorithm for Rule Extraction....Pages 669-678
Modeling and Simulating Breakdown Situations in Telecommunication Networks....Pages 679-687
Handling Context-Sensitive Temporal Knowledge from Multiple Differently Ranked Sources....Pages 688-697
Introduction to Reasoning about Cyclic Intervals....Pages 698-706
A Multiple-Platform Decentralized Route Finding System....Pages 707-713
Heuristic Selection of Aggregated Temporal Data for Knowledge Discovery....Pages 714-723
Architectural Knowledge Representation Using the Galois Lattice Technique....Pages 724-734
Automated Solving of the DEDS Control Problems....Pages 735-746
A More Efficient Knowledge Representation for Allen’s Algebra and Point Algebra....Pages 747-752
Unified Chromosome Representation for Large Scale Problems....Pages 753-760
A Novel Framework for Hybrid Intelligent Systems....Pages 761-770
The Design of a Multi-tiered Bus Timetabling System....Pages 771-779
Scheduling of a Production Unit via Critical Block Neighborhood Structures....Pages 780-787
An Algorithm for Station Shunting Scheduling Problems Combining Probabilistic Local Search and PERT....Pages 788-797
Designing an Intelligent Tutoring System in the Domain of Formal Languages....Pages 798-808
Leveraging a Task-Specific Approach for Intelligent Tutoring System Generation: Comparing the Generic Tasks and KADS Frameworks....Pages 809-819
An Object-Oriented Robot Model and Its Integration into Flexible Manufacturing Systems....Pages 820-829
The Economic Benefits of Internet-Based Business Operations in Manufacturing....Pages 830-840
CNC Manufacturing of Complex Surfaces Based on Solid Modeling....Pages 841-848
Analysis of Manufacturing Lines Using a Phase Space Algorithm: Open Line Case....Pages 849-858
A Formal Approach to Lingware Development....Pages 859-868
A Formal Knowledge Level Process Model of Requirements Engineering....Pages 869-878
Pieces of Mind: Component-Based Software Development of Artificial Intelligence....Pages 879-888
CNC Automatic Programming System for Wire-EDM....Pages 889-896
Back Matter....Pages -