Advanced Topics in Artificial Intelligence

The 12th Australian Joint Conference on Artificial Intelligence (AI'QQ) held in Sydney, Australia, 6-10 December 1999, is the latest in a series of annual re­ gional meetings at which advances in artificial intelligence are reported. This series now attracts many international papers, and indeed the constitution of the program committee reflects this geographical diversity. Besides the usual tutorials and workshops, this year the conference included a companion sympo­ sium at which papers on industrial appUcations were presented. The symposium papers have been published in a separate volume edited by Eric Tsui. Ar99 is organized by the University of New South Wales, and sponsored by the Aus­ tralian Computer Society, the Commonwealth Scientific and Industrial Research Organisation (CSIRO), Computer Sciences Corporation, the KRRU group at Griffith University, the Australian Artificial Intelligence Institute, and Neuron- Works Ltd. Ar99 received over 120 conference paper submissions, of which about o- third were from outside Australia. Prom these, 39 were accepted for regular presentation, and a further 15 for poster display. These proceedings contain the full regular papers and extended summaries of the poster papers. All papers were refereed, mostly by two or three reviewers selected by members of the program committee, and a list of these reviewers appears later. The technical program comprised two days of workshops and tutorials, fol­ lowed by three days of conference and symposium plenary and paper sessions.

Inhalt

Machine Learning I.- Generating Rule Sets from Model Trees.- Classifying and Learning Cricket Shots Using Camera Motion.- Unsupervised Learning in Metagame.- Neural Nets.- A Neural Networks Based Approach for Fast Mining Characteristic Rules.- FANRE: A Fast Adaptive Neural Regression Estimator.- Neural Networks for Defuzification of Fuzzy Rules: An Application in Macroeconomic Forecasting.- Knowledge Representation I.- Semantic Integration of Databases Using Linguistic Knowledge.- Representing 'Just Invalid' Knowledge.- Maximising Expected Utility for Behaviour Arbitration.- Natural Language.- Generating Natural Language Descriptions of Project Plans.- Categorizing Unknown Words: A Decision Tree-Based Misspelling Identifier.- Sync/Trans: Simultaneous Machine Interpretation between English and Japanese.- Belief Revision.- Minimal Belief Change and Pareto-Optimality.- Basic Infobase Change.- A Framework for Multi-Agent Belief Revision Part I: The Role of Ontology.- Adaptive Algorithms.- Genetic Programming for Multiple Class Object Detection.- A Simulated Annealing-Based Learning Algorithm for Boolean DNF.- Mutant: A Genetic Learning System.- Automated Reasoning.- Computing Least Common Subsumers in Expressive Description Logics.- E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover.- PTTP+GLiDeS: Guiding Linear Deductions with Semantics.- Neural Learning.- Neural Network Learning Using Low-Discrepancy Sequence.- An Investigation into the Effect of Ensemble Size and Voting Threshold on the Accuracy of Neural Network Ensembles.- Neurofuzzy Learning of Mobile Robot Behaviours.- Knowledge Representation II.- INDu: An Interval & Duration Network.- A Logical Framework for Inductive Inference and Its Rationality.- Semantics for Pollock's Defeasible Reasoning.- Heuristics.- Feasibility of Optimised Disjunctive Reasoning for Approximate Matching.- An Examination of Probabilistic Value-Ordering Heuristics.- Heuristics and Experiments on BDD Representation of Boolean Functions for Expert Systems in Software Verification Domains.- Knowledge Representation III.- Abduction without Minimality.- Causal Propagation Semantics - A Study.- Arc Weights for Approximate Evaluation of Dynamic Belief Networks.- Machine Learning II.- Finding Outpoints in Noisy Binary Sequences - A Revised Empirical Evaluation.- Q-Learning in Continuous State and Action Spaces.- Applications.- On Understanding Global Behavior of Teams in Robot Soccer Simulators.- Visual Human-Machine Interaction.- Applying Ant Algorithms and the No Fit Polygon to the Nesting Problem.- Poster Papers (Extended Summary).- Fisheye Matching: Viewpoint-Sensitive Feature Generation Based on Concept Structure.- A Procedural Approach for Rule Based Update.- Learning Logic Programs with Local Variables from Positive Examples.- Estimating Problem Value in an Intelligent Tutoring System Using Bayesian Networks.- Evaluation of Number-Kanji Translation Method of Non-Segmented Japanese Sentences Using Inductive Learning with Degenerated Input.- A Serving Agent for Integrating Soft Computing and Software Agents.- A Visual Geographic Knowledge Classification and Its Relationship to the KADS Model.- A Constraint Optimization Framework for MultiAgent Anytime Scheduling.- Evolving Modular Neural Networks Using Rule-Based Genetic Programming.- A Trajectory Approach to Causality.- Bayesian Reasoning for Diagnosing Student Misconceptions about Decimals.- Reconsidering Fitness and Convergence in Co-evolutionary Design.- A Proposal of Generating Artistic Japanese Calligraphic Fonts.- Using Competitive Learning in Neural Networks for Cluster-Detection-and-Labeling.- Knowledge-Based Communication Processes in Building Design.- Information-Based Cooperation in Multiple Agent Systems.