AI 2001: Advances in Artificial Intelligence: 14th International Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings

This volume contains the proceedings ofAI 2001, the 14thAustralian Joint Conference on Arti?cial Intelligence. The aim of this conference series is to support the Australian arti?cialintelligencecommunitywithaforumfordiscussionandpresentation.Asbefore, this conference not only brought together a great deal ofAustralianAI research, but also attracted widespread international interest. Theconferencethisyearsawanimpressivearrayofabout110submittedpapersfromno fewerthan16countries.Full-lengthversionsofallsubmittedpaperswererefereedbythe international program committee. As a result, these proceedings contain 55 papers not just fromAustralia, but also Canada, France, Germany, The Netherlands, Japan, Korea, New Zealand, and the UK and USA. The conference also comprised a tutorial program and several workshops, and featured ?ve invited speakers on theoretical, philosophical, and applied topics: Didier Dubois of the Universite ' Paul Sabatier, James Hendler of the University of Maryland, Liz Son- berg of the University of Melbourne, Peter Struss of OCC'M Software and TU Munich, andAlex Zelinsky of theAustralian National University. We extend our thanks to the members of the program committee who processed a large review workload under tight time constraints. We especially thank our host, Professor Robin King, Pro Vice Chancellor of the Division of Information Technology, Engin- ring, and the Environment at UniSA, for providing infrastructure and ?nancial support. We are also grateful to the US Air Force Of?ce of Scienti?c Research, Asian Of?ce of Aerospace Research and Development, and the Commonwealth Defence Science and Technology Organisation for their ?nancial support. Finally we would like to thank all those who contributed to the conference organization, without their help the conference could not have taken place.

Table of Contents:
Papers.- A Memetic Pareto Evolutionary Approach to Artificial Neural Networks.- Relating Defeasible and Default Logic.- Resolving Minsky’s Paradox : The d-Dimensional Normal Distribution Case.- Solving Overconstrained Temporal Reasoning Problems.- How the Level of Interchangeability Embedded in a Finite Constraint Satisfaction Problem Affects the Performance of Search.- Towards Learning Naive Physics by Visual Observation: Qualitative Spatial Representations.- Phased Array Sub-beam Optimisation.- Generation of Facial Expressions from Emotion Using a Fuzzy Rule Based System.- An Efficient Form Classification Method Using Partial Matching.- Gradient Descent Style Leveraging of Decision Trees and Stumps for Misclassification Cost Performance.- Postdiction Problems in Dynamic Logic.- A Method for Reasoning with Ontologies Represented as Conceptual Graphs.- Selection of Tasks and Delegation of Responsibility in a Multiagent System for Emergent Process Management.- State Minimization Re-visited.- Decidability of Quantifed Propositional Branching Time Logics.- Improved Techniques for an Iris Recognition System with High Performance.- An Investigation of an Adaptive Poker Player.- Acquiring Adaptation Knowledge for CBR with MIKAS.- A Real-Time Region-Based Motion Segmentation Using Adaptive Thresholding and K-Means Clustering.- Automatic Cell Classification in Human’s Peripheral Blood Images Based on Morphological Image Processing.- Formal Concept Analysis for Domain-Specific Document Retrieval Systems.- Learner’s self-assessment: a case study of SVM for information retrieval.- A Semiotic Model of Communication and Its Implications for the Digital City Development.- Simulations for Comparing Knowledge Acquisition and Machine Learning.- Application of Genetic Algorithms tothe Optimisation of Neural Network Configuration for Stock Market Forecasting.- Updating epistemic states.- Fast Text Classification Using Sequential Sampling Processes.- Agents in a Multi-cultural World: Towards Ontological Reconciliation.- Logical Foundations for Reasoning about Trust in Secure Digital Communication.- Phe-Q : A Pheromone Based Q-Learning.- Specification of Kansei Patterns in an Adaptive Perceptual Space.- Embodying the JACK Agent Architecture.- Towards an Ontology of Part-of.- Actions Made Explicit in BDI.- Wrapping Boosters against Noise.- Continuous Temporal Models.- Language and Commonsense Knowledge.- Simulation of Network Security with Collaboration among IDS Models.- Programming Spoken Dialogs Using Grammatical Inference.- Towards Genetic Programming for Texture Classification.- Using Design Information to Identify Structural Software Faults.- The Application of AI to Automatically Generated Animation.- Planning with Noisy Actions (Preliminary Report).- Getting the Job Done in a Hostile Environment.- Solving the Qualification Problem (In the Presence of the Frame Problem).- Dialogue Modelling for a Conversational Agent.- Candidate Elimination Criteria for Lazy Bayesian Rules.- Simplifying the Development of Intelligent Agents.- An Operational Semantics for a PRS-Like Agent Architecture.- A Model of Unconstrained Digit Recognition Based on Hypothesis Testing and Data Reconstruction.- Collecting Quality Data for Database Mining.- Further Pruning for Efficient Association Rule Discovery.- Pattern Discovery in Probabilistic Databases.- The Complexity of Logic Program Updates.- Reasoning with Multimedia Information Using Symbolic Projection.- Invited Contribution.- Confidence Relations as a Basis for Uncertainty Modeling, Plausible Reasoning, and Belief Revision.