The Pacific Rim International Conference on Artificial Intelligence (PRICAI) is a biennial international event which focuses on Artificial Intelligence (AI) theories and technologies, and their applications which are of social and economic importance for countries in the Pacific Rim region. Seven earlier conferences were held in: Nagoya, Japan (1990); Seoul, Korea (1992); Beijing, China (1994); Cairns, Australia (1996); Singapore (1998); Melbourne, Australia (2000); and Tokyo, Japan (2002). PRICAI 2004 was the eigth in the series and was held in Auckland, New Zealand in August 2004. PRICAI 2004 had attracted a historical record number of submissions, a total of 356 papers. After careful reviews by at least two international Program Committee members or referees, 94 papers were accepted as full papers (27%) and 54 papers (15%) were accepted as posters. Authors of accepted papers came from 27 countries. This volume of the proceedings contains all the 94 full papers but only a 2-page - tended abstract of each of the accepted posters. The full papers were categorized into four sections, namely: AI foundations, computational intelligence, AI technologies and systems, and AI specific application areas. Among the papers submitted, we found "Agent Technology" to be the area having the most papers submitted. This was followed by "Evolutionary Computing", "Computational Learning", and "Image Processing".
Inhalt
Invited Talks.- Biomedical Artificial Intelligence.- Electronics Institutions: Methodology of Multi-agent Systems Development.- The Happy Searcher: Challenges in Web Information Retrieval.- 1: AI Foundations.- On the Intended Interpretations of Actions.- Temporal Linear Logic for Symbolic Agent Negotiation.- Dealing with Inconsistent Secure Messages.- Answer Set Computation Based on a Minimal Model Generation Theorem Prover.- What Is a Qualitative Calculus? A General Framework.- Qualitative Direction Calculi with Arbitrary Granularity.- Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation.- Ontology Services-Based Information Integration in Mining Telecom Business Intelligence.- Indexing Approach for Delivery Demands with Time Constraints.- An Hierarchical Terrain Representation for Approximately Shortest Paths.- MSIP: Agents Embodying a Category-Based Learning Process for the ITS Tutor to Self-improve Its Instructional Plans.- Circuit Consistencies.- Solving Over-Constrained Temporal Reasoning Problems Using Local Search.- Methods of Automatic Algorithm Generation.- A Novel Heuristic to Solve IA Network by Convex Approximation and Weights.- Applying An Improved Heuristic Based Optimiser to Solve a Set of Challenging University Timetabling Problems: An Experience Report.- Extending Unit Propagation Look-Ahead of DPLL Procedure.- Extended Nearest Feature Line Classifier.- Sifting the Margin - An Iterative Empirical Classification Scheme.- Accelerating Linear Causal Model Discovery Using Hoeffding Bounds.- Polynomial Time Inductive Inference of Ordered Tree Languages with Height-Constrained Variables from Positive Data.- Fast Incremental Learning of Linear Model Trees.- A Modified Incremental Principal Component Analysis for On-Line Learning of Feature Space and Classifier.- 2: Computational Intelligence.- An Evolutionary Approach to the Design of Cellular Automata Architecture for Multiplication in Elliptic Curve Cryptography over Finite Fields.- Probability Based Genetic Programming for Multiclass Object Classification.- Design of Nearest Neighbor Classifiers Using an Intelligent Multi-objective Evolutionary Algorithm.- Elastic Learning Rate on Error Backpropagation of Online Update.- Learning Dynamics of Neural Networks with Singularity - Standard Gradient vs. Natural Gradient.- Feature Selection for Multi-class Problems Using Support Vector Machines.- Beyond Learners' Interest: Personalized Paper Recommendation Based on Their Pedagogical Features for an e-Learning System.- An Anytime Algorithm for Interpreting Arguments.- Varieties of Causal Intervention.- Species Merging and Splitting for Efficient Search in Coevolutionary Algorithm.- Exploiting Unexpressed Genes for Solving Large-Scaled Maximal Covering Problems.- Combining Extension Matrix and Integer Programming for Optimal Concept Learning.- HeurEAKA - A New Approach for Adapting GAs to the Problem Domain.- A Modified Integer-Coding Genetic Algorithm for Job Shop Scheduling Problem.- Using Evolutionary Learning of Behavior to Find Weaknesses in Operating Systems.- Creative 3D Designs Using Interactive Genetic Algorithm with Structured Directed Graph.- Spatiotemporal Parameter Adaptation in Genetic Algorithm-Based Video Segmentation.- Object Detection and Removal Using Genetic Algorithms.- Elman's Recurrent Neural Networks Using Resilient Back Propagation for Harmonic Detection.- Neural Based Steganography.- Neural Network Combines with a Rotational Invariant Feature Set in Texture Classification.- What Concrete Things Does Fuzzy Propositional Logic Describe?.- A Framework for Fuzzy Rule-Based Cognitive Maps.- Discontinuity Enhancement Using Fuzziness in DCT Blocks.- 3: AI Methodologies and Systems.- Is Minimum-Support Appropriate to Identifying Large Itemsets?.- An Efficient Approach for Mining Periodic Sequential Access Patterns.- A New Collaborative Recommender System Addressing Three Problems.- A GA-Based Fuzzy Decision Tree Approach for Corporate Bond Rating.- Text Classification Using Belief Augmented Frames.- A Feature Selection for Text Categorization on Research Support System Papits.- Constrained Ant Colony Optimization for Data Clustering.- A Kernel-Based Case Retrieval Algorithm with Application to Bioinformatics.- Building a Case-Based Reasoner for Clinical Decision Support.- Association-Rule Based Information Source Selection.- Distributional Character Clustering for Chinese Text Categorization.- Approximately Repetitive Structure Detection for Wrapper Induction.- Model Theory for PRS-Like Agents: Modelling Belief Update and Action Attempts.- Towards Belief Revision Logic Based Adaptive and Persuasive Negotiation Agents.- Agents and Web Services Supported Business Exception Management.- Multi-agent Interaction Technology for Peer-to-Peer Computing in Electronic Trading Environments.- : Animated Agents that Understand Speech Commands and Perform Actions.- InCA: A Mobile Conversational Agent.- Determination of Usenet News Groups by Fuzzy Inference and Kohonen Network.- Using Context to Solve the Correspondence Problem in Simultaneous Localisation and Mapping.- Knowledge-Based Interactive Robot: System Architecture and Dialogue Manager.- Complete Coverage by Mobile Robots Using Slice Decomposition Based on Natural Landmarks.- Shape Matching for Robot Mapping.- Covisibility-Based Map Learning Method for Mobile Robots.- 4: AI Specific Application Areas.- Optimal Gene Selection for Cancer Classification with Partial Correlation and k-Nearest Neighbor Classifier.- Prediction of the Risk Types of Human Papillomaviruses by Support Vector Machines.- Computational Methods for Identification of Human microRNA Precursors.- Multi-objective Evolutionary Probe Design Based on Thermodynamic Criteria for HPV Detection.- Synergism in Color Image Segmentation.- Face Recognition Using Direct-Weighted LDA.- Face Recognition Using Enhanced Fisher Linear Discriminant Model with Facial Combined Feature.- Gradient Vector Flow Snake with Embedded Edge Confidence.- Object Boundary Edge Selection for Human Body Tracking Using Level-of-Detail Canny Edges.- Unsupervised Multiscale Image Segmentation Using Wavelet Domain Hidden Markov Tree.- Adaptive Model for Foreground Extraction in Adverse Lighting Conditions.- Improvement of Binarization Method Using a Water Flow Model for Document Images with Complex Backgrounds.- Learning and Integrating Semantics for Image Indexing.- PDA-Based Text Localization System Using Client/Server Architecture.- Vision Technique for…