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.
Author(s): K. Tam, J. Lloyd, Y. Lespérance, H. Levesque (auth.), Abdul Sattar (eds.)
Series: Lecture Notes in Computer Science 1342 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1997
Language: English
Pages: 520
Tags: Artificial Intelligence (incl. Robotics)
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
