IEA/AIE-96 Proceedings
Table of Contents
CONTENTS
Preface
Conference Organization
Sponsors and Cooperating Organizations
INVITED PAPERS
Micromachines as Unconventional Artifacts 3
Naomasa Nakajima
Multi-Strata Modeling to Automate Problem Solving Including
Human Activity 9
Setsuo Ohsuga
The Current State of AI Planning Research 25
Drew McDermott
DCSG: A Logic Grammar for Knowledge Representation of Hierarchically
Organized Objects 35
Takushi Tanaka
Pattern Separation by Chaotic Networks Employing Chaotic Itinerancy 43
Takeshi Yamakawa, Tsutomu Miki and Masayoshi Shimono
AUTOMATED REASONING
Design and Implementation of Multiple-Context Truth Maintenance
System with Binary Decision Diagram 47
Hiroshi G Okuno, Osamu Shimokuni and Hidehiko Tanaka
PARCAR: Parallel Cost-Based Abductive Reasoning System 57
Shohei Kato, Chiemi Kamakura, Hirohisa Seki and Hidenori Itoh
CAD/CAM
Automatic Placement Using Static and Dynamic Groupings 65
Makoto Hirahara, Natsuki Oka and Kunio Yoshida
A Domain-Specific Conceptual Model in Building Design 71
Masaaki Hashimoto, Toyohiko Hirota, Isao Nagasawa, Keiichi Katamine
and Yoshiaki Tegoshi
The Elements of Programming Style in Design Calculations 77
Masanobu Umeda, Isao Nagasawa and Tatsuji Higuchi
CASE-BASED REASONING
Knowledge-Based Expert System Combining Case -Based Reasoning and
Rule-Based Reasoning to Select Repair and Retrofitting Methods for
Fatigue Damage on Steel Bridge 89
Shigenori Tanaka, Ichizou Mikami, Hidenori Maeda and Atsushi Kobayashi
Multiple Domain Feature Mapping Utilizing Case-based Reasoning
and Blackboard Technology 95
S.S. Lim, B.H. Lee, E.N. Lim and K.A. Ngoi
Plant Fault Diagnosis by Integrating Fault Cases and Rules 103
Yoshio Nakatani, Makoto Tsukiyama and Tomo-omi Wake
DATABASE
Characteristics of Query Responses on Fuzzy Object-Oriented Databases 111
Shyue-Liang Wang
A Knowledge Media Approach Using Associative Representation for
Constructing Information Bases 117
Harumi Maeda, Kazuto Koujitani and Toyoaki Nishida
A Query Procedure for Allowing Exceptions in Advanced Logical Database 127
Kouzou Ohara, Noboru Babaguchi and Tadahiro Kitahasi
DECISION SUPPORT
Decision Support System for Water-Supply Risk Management 135
Xu Zongxue, Akira Kawamura, Kenji Jinno and Kazumasa Ito
Suggestions on Developing "Creative Decision Stimulation Systems(CDSS)" 141
Ronggui Ding and Wenxiu Han
DIAGNOSIS
A Method of Diagnosis Using Possibility Theory 149
Koichi Yamada and Mitsuhiro Honda
Model-Based Program Debugging and Repair 155
Markus Stumptner and Franz Wotawa
An Object-Oriented Method for Control Loop Diagnosis and Monitoring 161
P.A. Collier and M.G. Casey
A Self-Learning Fuzzy System for Automotive Fault Diagnosis 167
Yi Lu
DISTRIBUTED AI
An Automated Reasoning System for Multi-Agent Cooperation 175
Lifeng He, Hirohisa Seki and Hidenori Itoh
GUARDNET: A Distributed and Concurrent Programming Environment for
Multi-Agent Systems 181
Motoyuki Takaai, Hideaki Takeda and Toyoaki Nishida
FUZZY LOGIC AND CONTROL
Assigning Weights to Rules of an Expert System Based on Fuzzy Logic 189
Mehdi R. Zargham and Leishi Hu
Detection of Chaos in Process Control Systems Using A Julia
Set Methodology 195
David W. Russell and James J. Alpigini
Fuzzy Johnson's Algorithm for Two-machine Flow Shop 201
Tzung-Pei Hong and Tzung-Nan Chuang
Prediction of Properties of Mixture by Integration of Pattern
Recognition and Logic Procedure by Using Fuzzy Clustering 207
Hiroyuki Tanaka and Yuji Naka
Self-Learning Fuzzy Logic Control of Non-Linear Processes 213
S.H. Ghwanmeh, K.O. Jones and D.Williams
Using Fuzzy Logic in Feedrate Control for Free-Form Surface Machining 223
Ralph W.L. IP and Felix T.S. Chan
GENETIC ALGORITHM
GA-Based Reconstruction of Plane Images from Projections 235
Zensho Nakao, Yen-Wei Chen and Fath El Alem Fadlallah Ali
Genetic Algorithm Processor for the Frequency Assignment Problem 241
Mehrdad Salami and Greg Cain
Selection of Representatives Using Genetic Algorithms 247
Y. Hamamoto, Y.Tsuneta, C. Kaneyama and S.Tomita
Using The Baldwin Effect to Accelerate A Genetic Algorithm 253
John R. Podlena and Tim Hendtlass
INTELLIGENT TUTORING
Generating Courses in an Intelligent Tutoring System 261
R. Nkambou, M.C. Frasson and C. Frasson
Object-Oriented Model of Knowledge for The Intelligent Tutoring Shell 267
Ljubomir Jerinic and Vladan Devedzic
KNOWLEDGE ACQUISITION
A Data Mining Technique for Time Series Data 275
Yoshinori Satoh and Akira Maeda
Development of A Knowledge Based System using a Combined Knowledge
Acquisition and Knowledge Modeling Approach 283
Glenn D. Aguilar, Hiroyuki Yamato and Takeo Koyama
A Human-Intelligence-Imitating Question-Asking Strategy for
Propositional Knowledge-Based Systems 289
Jinchang Wang
Incremental Rule Production: Towards a Uniform Approach for Knowledge
Organization 295
Mondher Maddouri and Ali Jaoua
Ontology-Based Information Gathering and Categorization from the
Internet 305
Michiaki Iwazume, Hideaki Takeda and Toyoaki Nishida
KNOWLEDGE-BASED SYSTEMS
A Knowledge-Based Mesh Generation System for Forging Simulation 317
Osamu Takata, Koukichi Nakanishi, Nariaki Horinouchi, Hiroshi Yano,
Tadao Akashi and Toyohide Watanabe
A Knowledge Based Tool for Checking Large Knowledge Bases 327
Rym Nouira and Jean-Marc Fouet
OKCFTR: Translators for Knowledge Reuse 333
Kunhuang Huarng and Ming-Cheng Chen
Integration of Forward and Backward Inferences Using Extended Rete
Networks 339
Yong H. Lee and Suk I.Yoo
VAREX: An Environment for Validating and Refining Rule Bases 345
Heribert Schimpe and Martin Staudt
KNOWLEDGE REPRESENTATION
A Formalism for Defeasible Inheritance 357
Nadim Obeid
Knowledge Compilation for Interactive Design of Sequence Control
Programs 363
Yasuo Namioka and Toshikazu Tanaka
Shape Reasoning in CAD Systems 369
Jose C. Damski and John S. Gero
LOGIC PROGRAMMING
Applications of Logic Programs with Functor Set to Automated Problem
Solving Under Uncertainty 377
Hiroshi Sakai and Akimichi Okuma
Channel Routing with Constraint Logic Programming and Delay 383
Neng-Fa Zhou
Design of Database Interface to ILP for Building Knowledge Base 389
Keiko Shimazu and Koichi Furukawa
An Incremental Solver for Constraint Hierarchies over Real Intervals 395
Duong Tuan Anh and Kanchana Kanchanasut
MACHINE LEARNING
Coin Classification Using a Novel Technique for Learning Characteristic
Decision Trees by Controlling the Degree of Generalization 403
Paul Davidsson
Evaluation of Attribute Selection Measures in Decision Tree Induction 413
TuBao Ho and TrongDung Nguyen
Feature Selection and Classification - A Probabilistic Wrapper Approach 419
Huan Liu and Rudy Setiono
Knowledge Discovery from Numerical Data 425
Chie Morita and Hiroshi Tsukimoto
A Knowledge Revision Learner Using Artificially Generated Examples 431
Megumi Ishii, Hussein Almuallim and Shigeo Kaneda
Learning Probabilistic Networks from Data 439
Bozena Stewart
A Practical Object-Oriented Concept Learning System in Clinical
Medicine 449
Gou Masuda, Norihiro Sakamoto and Kazuo Ushijima
Sampling Effectiveness in Discovering Functional Relationships in
Databases 455
Atsuhiro Takasu, Tatsuya Akutsu and Moonis Ali
Signal Interpretation in Two-Phase Fluid Dynamics Through Machine
Learning and Evolutionary Computing 461
Bogdan Filipic, Iztok Zun and Matjaz Perpar
MANUFACTURING
Hybrid AI Solutions and Their Application in Manufacturing 469
L. Monostori, Cs. Egresits and B. Kadar
Performance Optimization of Flexible Manufacturing Systems using
Artificial Neural Networks 479
S. Cavalieri
Real-time Intelligent Monitoring System in Manufacturing System 487
Sun Yu, Yu Zhigang and Zhang Shiqi
Simulation of Scheduling Rules in A Flexible Manufacturing System
Using Fuzzy Logic 491
A. Kazerooni, F.T.S. Chan, K. Abhary and R.W.L. Ip
MONITORING
An Expert System for The Monitoring and Simulation of The AXAF-1 503
Kai H. Chang, Mark Rogers and Richard McElyea
Knowledge-Enhanced CO-monitoring in Coal-Mines 511
Wolfram Burgard, Armin B. Cremers, Dieter Fox, Martin Heidelbach,
Angelica M. Kappel and Stefan Luttringhaus-Kappel
Medi-View - An Intelligent ICU Monitoring System 521
Kevin Kennedy, Michael Mckinney and Yi Lu
NEURAL NETWORK
Comparison of Two Learning Networks for Time Series Prediction 531
Daniel Nikovski and Mehdi Zargham
An Evolutionary Algorithm for The Generation of Unsupervised 537
Self Organizing Neural Nets
Tim Hendtlass
Exploiting Don't-care Information in Neural Network Learning 543
Chung-Yao Wen
Extended Tree based Regression Neural Networks for Multifeature Split 547
Sook Lim and Sung Chun Kim
Mixing Stochastic Exploration and Propagation for Pruning Neural
Networks 553
Eric Fimbell
A Note on the Generalization Error in Neural Networks 559
Yoshihiko Hamamoto, Toshinori Hase,Yoshihiro Mitani and Shingo Tomita
A Proposal of Emotional Processing Model 563
Kaori Yoshida, Masahiro Nagamatsu and Torao Yanaru
Recursive Prediction Error Algorithm for the NUFZY System to Identify
Nonlinear Systems 569
B.T.Tien and G.van Straten
Reflective Learning of Neural Networks 575
Yoshiaki Tsukamoto and Akira Namatame
NEURAL NETWORK APPLICATIONS
Collision Avoidance Using Neural Networks Learned by Genetic
Algorithms 585
Nicolas Durand and Jean-Marc Alliot
Identifying Chemical Species in a Plasma Using a Neural Network 593
Phil D. Picton, Adrian A. Hopgood, Nicholas St J. Braithwaite and
Heather J. Phillips
A Method for Selecting Learning Data in the Prediction of Time Series
with Explanatory Variables Using Neural Networks 599
Hisashi Shimodaira
A New Second-Order Adaptation Rule and Its Application to Electrical
Model Synthesis 605
Jan Wilk, Eva Wilk and Bodo Morgenstern
Real Option Valuation with Neural Networks 611
Alfred Taudes, Martin Natter and Michael Trcka
NATURAL LANGUAGE
Automatic Segmentation and Tagging of Hanzi Text Using a Hybrid
Algorithm 621
An Qin and Wing Shing Wong
Computer-aided News Article Summarization 627
Hisao Mase, Hiroshi Tsuji and Hiroshi Kinukawa
A Connectionist/Symbolic Dependency Parser for Free Word-Order
Languages 633
Jong-Hyeok Lee, Taeseung Lee and Geunbae Lee
Intelligent Support for Construction and Exploration of Advanced
Technological Information Space 639
Toshiyuki Matsuo and Toyoaki Nishida
PLANNING AND SCHEDULING
Adaptation of a Production Scheduling Framework to Distributed Work
Environment 647
Taketoshi Yoshida and Masahiro Hori
Application of Genetic Algorithm to Alloy Casting Process Scheduling 653
Masuhiro Ishitobi
Design and Development of An Integrated Intelligent Process Planning
System Taking CAD Data Files as Input 659
Shu-Chu Liu
Encapsulation of Actions and Plans in Conditional Planning Systems 665
Marco Baioletti, Stefano Marcugini and Alfredo Milani
On-line Optimization Techniques for Dynamic Scheduling of Real-Time
Tasks 673
Yacine Atif and Babak Hamidzadeh
PRACTICAL APPLICATIONS
Application-Specific Configuration of Telecommunication Systems 681
Andreas Bohm and Stefan Uellner
Character Design Based on Concept Space Formation 687
Takenao Ohkawa, Kaname Kakihara and Norihisa Komoda
Customizing A* Heuristics for Network Routing 693
M. Hitz and T.A. Mueck
Feature Selection in Automatic Transmission Shift Quality
Classification 699
Robert Williams and Yi Lu
KOA: General Affairs Expert System with Easy Customization 705
Shigeo Kaneda, Katsuyuki Nakano, Daizi Nanba, Hisazumi Tsuchida,
Megumi Ishii and Fumio Hattori
Using Constraint Technology for Predictive Control of Urban Traffic
Based on Qualitative and Temporal Reasoning 711
F. Toledo, S. Moreno, E. Bonet and G. Martin
ROBOTICS
Fuzzy Behavior Organization and Fusion for Mobile Robot Reactive
Navigation 719
Jiancheng Qiu and Michael Walters
Learning and Classification of Contact States in Robotic Assembly
Tasks 725
Enrique Cervera and Angel P. del Pobil
A Neural Approach for navigation Inspired by The Human Visual System 731
J. Fernandez de Canete and I. Garcia-Moral
Ultrasonic Perception: A Tri-aural Sensor Array for Mobile Robots
using A Competition Neural Network Approach 737
J. Chen, H. Peremans and J.M.Van Campenhout
VISION
A Genetic Algorithm for Image Segmentation 745
A. Calle, W. D. Potter and S.M. Bhandarkar
A Hierarchy of Detail for Representing Non-Convex Curved Objects 751
Begona Martinez and Angel P. del Pobil
A Qualitative Traffic Sensor Based on Three-Dimensional Qualitative
Modeling of Visual Textures of Traffic Behavior 761
E. Bonet, S. Moreno, F. Toledo and G. Martin
Towards an Automatic Determination of Grasping Points Through a Machine
Vision Approach 767
P. J. Sanz, J. M. Inesta and A.P. del Pobil
ABSTRACTS FOR POSTER SESSION
Case-Based Reasoning
A Case-Based Reasoning Approach in Injection Modeling Process Design 775
K. Shelesh-Nezhad and E. Siores
SMARTUSA: A Case-Based Reasoning System for Customer Services 776
Pradeep Raman, Kai H. Chang, W.Homer Carlisle and James H. Cross
Decision Making
Modeling and Implementing Aspects of Holistic Judgment in Industrial
Decision Making 777
Philip A. Collier and Stewart A. Leech
Diagnosis
Computer Intrusion Detection and Incomplete Information 778
Mansour Esmaili, Reihaneh Safavi-Naini and Josef Pieprzyk
TURBOLID: Time Use in A Rule Based On Line Industrial Diagnoser 779
Alonso Gonzalez C., Pulido Junquera B. and Acoste Lazo G.G.
Distributed AI
An Approach to a Multi-agent Based Scheduling System Using
a Coalition Formation 780
Takayuki Itoh and Toramatsu Shintani
Integrating Agent and Object-Oriented Programming Paradigms for
Multi-Agent Systems Development 781
Agostino Poggi, Giovanni Adorni and Paola Turci
Necessary Knowledge Sharing for Cooperative Learning among Agents 782
Akira Namatame and Yoshiaki Tsukamoto
Genetic Algorithm
Optimal Selection of Cutting Length of Bars by Genetic Algorithms 783
Toshihiko Ono and Gen Watanabe
Intelligent Tutoring
A Descriptive Model of Student Program Generation Based on a Protocol
Analysis 784
Tsuruko Egi and Kazuoki Osada
An Intelligent Tutoring System for the Teaching of The Industry
Equipment and Its Student Modeling 785
Lidia L. Hardy and Jose M. Yanez Prieto
Interactive System
Skill Training at a Distance 786
Shuichi Fukuda, Yoshifusa Matsuura and Premruedee Wongchuphan
Knowledge Based System
K-Tree: An Efficient Structure for Verification and Inference in
Rule-Based Systems 787
T. Rajkumar and H. Mohanty
Software Fault Reduction Methodology for Reliable Knowledge Bases 788
Yasushi Shinohara
Knowledge Representation
Macro Scale Object Complexity Measurement and Its Relation to
A Semantic Model 789
John. W. Gudenas and C.R. Carlson
Logic Programming
B-Prolog: A High Performance Prolog Compiler 790
Neng-Fa Zhou, Isao Nagasawa, Masanobu Umeda, Keiichi Katamine and
Toyohiko Hirota
Machine Learning
A Cascade of Neural Networks for Complex Classification 791
David Philpot and Tim Hendtlass
PAC-Learning of Weights in Multiobjective Function by Pairwise
Comparison 792
Ken Satoh
Natural Language
A Machine Translating Approach from Japanese to Tamil 793
Sivasundaram Suharnan and Hiroshi Karasawa
Neural Network
Annealed Hopfield Network Approach for Boundary-Based Object
Recognition 794
Jung H. Kim, Eui H. Park and Celestine A. Ntuen
Better Neurons for Biological Simulations 795
Howard Copland and Tim Hendtlass
Canonical Form of Recurrent Neural Network Architecture 796
N. Selvanathan and Mashkuri Hj. Yaacob
Equalization of Digital Communication Channen Using Hartley-Neural
Technique 797
Jitendriya K. Satapathy, Canapati Panda and Laxmi N. Bhuyan
A Nonlinear Optimization Neural Network for Optimum Multiuser
Detectors 798
Guiqing He and Puying Tang
Parallel Computer Implementation for Feature Extraction via
Answer-in-Weights Neural Network 799
Iren Valova and Yukio Kosugi
Serial and Parallel Neural Networks for Image Compression 800
Ryuji Hamabe and Ho Chun Kuo
Planning and Scheduling
Explore the Operational Problems of FMSs through Analytical Hierarchy
Process and Simulation Approach 801
Felix T.S. Chan and Ralph W.L. IP
Practical Application
Spectacle Designing and Advice Computer Graphics System Using
Artificial Intelligence 802
Ryuto Fujie, Hiroyuki Fujie, Kunie Takeuchi, Oskar Bartenstein and
Kosaku Shirota
Study of a Consultation System for Railway Safety Countermeasure 803
Hisaji Fukuda
Robotics
A Step Toward Human-Robot Cooperative System 804
Masaru Ishii and Hironori Saita
Index of Authors 805
