This book constitutes the refereed proceedings of the 15th Australian Joint Conference on Artificial Intelligence, AI 2002, held in Canberra, Australia in December 2002.
The 62 revised full papers and 12 posters presented were carefully reviewed and selected from 117 submissions. The papers are organized in topical sections on natural language and information retrieval, knowledge representation and reasoning, deduction, learning theory, agents, intelligent systems. Bayesian reasoning and classification, evolutionary algorithms, neural networks, reinforcement learning, constraints and scheduling, neural network applications, satisfiability reasoning, machine learning applications, fuzzy reasoning, and case-based reasoning.
Author(s): Debbie Richards, Kathrin Boettger, Oscar Aguilera (auth.), Bob McKay, John Slaney (eds.)
Series: Lecture Notes in Computer Science 2557 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 736
Tags: Artificial Intelligence (incl. Robotics); Computation by Abstract Devices; Mathematical Logic and Formal Languages; Database Management; Information Storage and Retrieval
A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices....Pages 1-11
Preferred Document Classification for a Highly Inflectional/Derivational Language....Pages 12-23
Experiments in Query Paraphrasing for Information Retrieval....Pages 24-35
Dynamic Decision-Making in Logic Programming and Game Theory....Pages 36-47
On a Linear Representation Theory for Quantitative Belief Change....Pages 48-59
Trust in Secure Communication Systems - The Concept, Representations, and Reasoning Techniques....Pages 60-70
Foundations for a Formalism of Nearness....Pages 71-82
Semantic Selection for Resolution in Clause Graphs....Pages 83-94
Machine-Checking the Timed Interval Calculus....Pages 95-106
Modeling Programs with Unstructured Control Flow for Debugging....Pages 107-118
Message Length Formulation of Support Vector Machines for Binary Classification A Preliminary Scheme....Pages 119-130
MML Inference of Decision Graphs with Multi-way Joins....Pages 131-142
MML Clustering of Continuous-Valued Data Using Gaussian and t Distributions....Pages 143-154
Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes....Pages 155-166
Intention and Rationality for PRS-Like Agents....Pages 167-178
Modeling and Simulation for Detecting a Distributed Denial of Service Attack....Pages 179-190
Knowledge-Driven Processes Can Be Managed....Pages 191-202
Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process....Pages 203-212
Autonomous Planning and Scheduling on the TechSat 21 Mission....Pages 213-224
Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-Line....Pages 225-236
Indexing of Image Databases Using Untrained 4D Holographic Memory Model....Pages 237-248
The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme....Pages 249-258
Modelling the Acquisition of Colour Words....Pages 259-271
Bayesian Information Reward....Pages 272-283
Prediction of User Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated Value....Pages 284-296
Argument Interpretation Using Minimum Message Length....Pages 297-308
Genetic Programming for Classification: An Analysis of Convergence Behaviour....Pages 309-320
Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs....Pages 321-332
Evolution in the Orange Box — A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks....Pages 333-343
Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms....Pages 344-355
An Adaptive Activation Function for Higher Order Neural Networks....Pages 356-362
An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability....Pages 363-373
A Neural Network Online Training Algorithm Based on Compound Gradient Vector....Pages 374-384
Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring....Pages 385-394
Adapting Kernels by Variational Approach in SVM....Pages 395-406
Learning to Reach the Pareto Optimal Nash Equilibrium as a Team....Pages 407-418
Computational Models of the Amygdala and the Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System for Robotic Control....Pages 419-430
A General Approach for Building Constraint Languages....Pages 431-442
Metric SCSPs: Partial Constraint Satisfaction via Semiring CSPs Augmented with Metrics....Pages 443-454
A Hybrid Genetic Algorithm for School Timetabling....Pages 455-464
Genetic Scheduling on Minimal Processing Elements in the Grid....Pages 465-476
Protein Sequences Classification Using Modular RBF Neural Networks....Pages 477-486
Feature Extraction and Selection in Tool Condition Monitoring System....Pages 487-497
A Robust Meaning Extraction Methodology Using Supervised Neural Networks....Pages 498-510
Solving Regression Problems Using Competitive Ensemble Models....Pages 511-522
Learning of Finite Unions of Tree Patterns with Internal Structured Variables from Queries....Pages 523-534
TreeITL-Mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, and Prefix Tree....Pages 535-546
Convergency of Learning Process....Pages 547-556
Structured Features from Concept Lattices for Unsupervised Learning and Classification....Pages 557-568
Towards Fewer Parameters for SAT Clause Weighting Algorithms....Pages 569-578
An Investigation of Variable Relationships in 3-SAT Problems....Pages 579-590
Modelling More Realistic SAT Problems....Pages 591-602
A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints....Pages 603-614
Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques and Their Evaluation for Secure Communications....Pages 615-626
Surface Feature Recognition of Wear Debris....Pages 627-637
Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis and Neural Network Techniques.....Pages 638-647
Effectiveness for Machine Translation Method Using Inductive Learning on Number Representation....Pages 648-659
Estimating Episodes of Care Using Linked Medical Claims Data....Pages 660-671
Adaptation of a Mamdani Fuzzy Inference System Using Neuro-genetic Approach for Tactical Air Combat Decision Support System....Pages 672-680
Optimization of Recurrent NN by GA with Variable Length Genotype....Pages 681-692
Theoretical Foundation for Nonlinear Edge-Preserving Regularized Learning Image Restoration....Pages 693-703
The Application of Case Based Reasoning on Q&A System....Pages 704-713
Development of an Intelligent Tutoring System on Design of Liquid Retaining Structures....Pages 714-714
Real-Time Prediction of Water Stage with Artificial Neural Network Approach....Pages 715-715
On the Design of Mathematical Concepts....Pages 716-716
Consistency of Trust Theories....Pages 717-717
An Artificially Intelligent Sports Tipper....Pages 718-718
Selecting Semantics for Use with Semantic Pruning of Linear Deductions....Pages 719-719
Calibration of Flow and Water Quality Modeling Using Genetic Algorithm....Pages 720-720
A Comparison of Machine Learning Approaches for the Automated Classification of Dementia....Pages 721-722
A Defeasible Logic of Policy-Based Intention (Extended Abstract)....Pages 723-723
A Self-Organizing Territorial Approach to Multi-robot Search and Surveillance....Pages 724-724
Knowledge-Based Techniques for Constraints Satisfaction in Resource Allocation Problems....Pages 725-725
Effective SAT Planning by Speculative Computation....Pages 726-726
