AI 2002: Advances in Artificial Intelligence: 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings

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