Advanced topics in artificial intelligence : 10th Australian Joint Conference on Artificial Intelligence, AI'97, Perth, Australia, November 30 - December 4, 1997 : proceedings

This Book Constitutes The Refereed Proceedings Of The 10th Australian Joint Conference On Artificial Intelligence, Ai'97, Held In Perth, Australia, In November/december 1997. The Volume Presents 48 Revised Full Papers Selected From A Total Of 143 Submissions. Also Included Are Three Keynote Talks And One Invited Paper. The Book Is Divided Into Topical Sections On Constraint Satisfaction And Scheduling, Computer Vision, Distributed Ai, Evolutionary Computing, Knowledge-based Systems, Knowledge Representation And Reasoning, Learning And Machine Vision, Machine Learning, Nlp And User Modeling, Neural Networks, Robotics And Machine Recognition, And Temporal Qualitative Reasoning. Controlling Autonomous Robots With Golog -- Video Query And Retrieval -- On Finding Needles In Www Haystacks -- Extending Dynamic Backtracking For Distributed Constraint Satisfaction Problems -- Constraint-directed Backtracking -- Applied Partial Constraint Satisfaction Using Weighted Iterative Repair -- The Application Of Mutual Information To The Registration Of Stereo And Temporal Images Of The Retina -- Kalman Filtering From A Phase Based Optical Flow Operator -- Adaptive Constraint Restoration And Error Analysis Using A Neural Network -- Exploring Agent Cooperation: Studies With A Simple Pursuit Game -- The Serializability Problem In A Parallel Rule-based System: A Solution By Distributed Coordination -- Optimal Communication Among Team Members -- Dominant And Recessive Genes In Evolutionary Systems Applied To Spatial Reasoning -- Using Multi-chromosomes To Solve A Simple Mixed Integer Problem --^ Hierarchical And Feed-forward Fuzzy Logic For Financial Modelling And Prediction -- A Knowledge-based System For Workflow Management Using The World Wide Web -- Use Of Partial Functional Dependencies To Make Practical Approximate Translations Among Forms Of Propositional Expert Systems -- Nrdr For The Acquisition Of Search Knowledge -- Rapid Prototyping Of Executable Problem Solving Methods Using Model-ecs -- Preferential Semantics For Causal Fixpoints -- Belief Update, The Markovian Situation Calculus, And Discrete Event Systems -- A Notion Of Correctness With Theories Containing Theoretical Terms -- Inductive Properties Of States -- Describing Plan Recognition As Nonmonotonic Reasoning And Belief Revision -- Specification Morphisms For Nonmonotonic Knowledge Systems -- Representation Results For Default Logics -- Proving Quantified Literals In Defeasible Logic -- Fuzzy Hierarchical Pattern Recognition For Robotics Applications --^ Adaptive Curvature-based Topography For Learning Symbolic Descriptions Of Terrain Maps -- A Computer Assisted Image Analysis System For Diagnosing Movement Disorders -- Vowel Recognition For Speaker Independent Chinese Speech Recognition -- Beat Induction And Rhythm Recognition -- Boosting Neural Networks In Real World Applications: An Empirical Study -- Machine Learning Of Credible Classifications -- Mining The Knowledge Mine -- Using Decision Trees For Agent Modelling: A Study On Resolving Conflicting Predictions -- Sample Set Assessment For Providing Personalised Recommendations -- Integrated Correction Of Ill-formed Sentences -- Information Filtering For Context-sensitive Browsing -- The T-som (tree-som) -- Extending And Benchmarking The Casper Algorithm -- Disconcepts And Fuzzy Cognitive Maps -- Weight Sensitive Boolean Extraction Produces Compact Expressions -- Learning Temporal Sequences In Recurrent Self-organising Neural Nets --^ Three-dimensional Scene Analysis Using Multiple Range Finders — Data Capture, Coordinate Transformations And Initial Segmentation -- Sensor-based Robotic Automation Of Mushroom Farming — Preliminary Considerations -- Creating Adroit Mechanisms By Using Large Numbers Of Simple Homogeneous Structures -- A Nephelometric Tactile Sensor -- Finger Track — A Robust And Real-time Gesture Interface -- A Constraint Mechanism For Knowledge Specification Of Simulation Systems Based On Temporal Logic -- Controlling Engineering Problem Solving -- Evaluating A Qualitative Reasoner. Abdul Sattar, Ed. Includes Bibliographical References And Index. Controlling autonomous robots with Golog ....Pages 1-12 Video query and retrieval....Pages 13-24 On finding needles in WWW haystacks....Pages 25-36 Extending dynamic backtracking for distributed constraint satisfaction problems....Pages 37-46 Constraint-directed backtracking....Pages 47-56 Applied partial constraint satisfaction using weighted iterative repair....Pages 57-66 The application of mutual information to the registration of stereo and temporal images of the retina....Pages 67-76 Kalman filtering from a phase based optical flow operator....Pages 77-86 Adaptive constraint restoration and error analysis using a neural network....Pages 87-95 Exploring agent cooperation: Studies with a simple pursuit game....Pages 96-105 The serializability problem in a parallel rule-based system: A solution by distributed coordination....Pages 106-115 Optimal communication among team members....Pages 116-126 Dominant and recessive genes in evolutionary systems applied to spatial reasoning....Pages 127-136 Using multi-chromosomes to solve a simple mixed integer problem....Pages 137-146 Hierarchical and feed-forward fuzzy Logic for financial modelling and prediction....Pages 147-156 A knowledge-based system for workflow management using the world wide web....Pages 157-166 Use of partial functional dependencies to make practical approximate translations among forms of propositional expert systems....Pages 167-176 NRDR for the acquisition of search knowledge....Pages 177-186 Rapid prototyping of executable problem solving methods using MODEL-ECS....Pages 187-196 Preferential semantics for causal fixpoints....Pages 197-206 Belief update, the Markovian situation calculus, and discrete event systems....Pages 207-216 A notion of correctness with theories containing theoretical terms....Pages 217-226 Inductive properties of states....Pages 227-235 Describing plan recognition as nonmonotonic reasoning and belief revision....Pages 236-245 Specification morphisms for nonmonotonic knowledge systems....Pages 246-254 Representation results for default logics....Pages 255-264 Proving quantified literals in defeasible logic....Pages 265-273 Fuzzy hierarchical pattern recognition for robotics applications....Pages 274-281 Adaptive curvature-based topography for learning symbolic descriptions of terrain maps....Pages 282-289 A computer assisted image analysis system for diagnosing movement disorders....Pages 290-301 Vowel recognition for speaker independent Chinese speech recognition....Pages 302-310 Beat induction and rhythm recognition....Pages 311-320 Boosting neural networks in real world applications: An empirical study....Pages 321-329 Machine learning of credible classifications....Pages 330-339 Mining the knowledge mine....Pages 340-348 Using decision trees for agent modelling: A study on resolving conflicting predictions....Pages 349-358 Sample set assessment for providing personalised recommendations....Pages 359-368 Integrated correction of ill-formed sentences....Pages 369-378 Information filtering for context-sensitive browsing....Pages 379-388 The T-SOM (Tree-SOM)....Pages 389-397 Extending and benchmarking the CasPer algorithm....Pages 398-406 Disconcepts and fuzzy cognitive maps....Pages 407-416 Weight sensitive Boolean extraction produces compact expressions....Pages 417-426 Learning temporal sequences in recurrent self-organising neural nets....Pages 427-435 Three-dimensional scene analysis using multiple range finders — Data capture, coordinate transformations and initial segmentation....Pages 436-445 Sensor-based robotic automation of mushroom farming — Preliminary considerations....Pages 446-455 Creating adroit mechanisms by using large numbers of simple homogeneous structures....Pages 456-465 A nephelometric tactile sensor....Pages 466-474 Finger track — A robust and real-time gesture interface....Pages 475-484 A constraint mechanism for knowledge specification of simulation systems based on temporal logic....Pages 485-495 Controlling engineering problem solving....Pages 496-504 Evaluating a qualitative reasoner....Pages 505-514