AI 2002 : advances in artificial intelligence : 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002 : proceedings

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. A Controlled Language To Assist Conversion Of Use Case Descriptions Into Concept Lattices / Debbie Richards, Kathrin Boettger And Oscar Aguilera -- Preferred Document Classification For A Highly Inflectional/derivational Language / Kyongho Min, William H. Wilson And Yoo-jin Moon -- Experiments In Query Paraphrasing For Information Retrieval / Ingrid Zukerman, Bhavani Raskutti And Yingying Wen -- Dynamic Decision-making In Logic Programming And Game Theory / Marina De Vos And Dirk Vermeir -- On A Linear Representation Theory Or Quantitative Belief Change / Akira Fusaoka -- Trust In Secure Communication Systems -- The Concept, Representations, And Reasoning Techniques / Chuchang Liu And Maris A. Ozols -- Foundations For A Formalism Of Nearness / Jane Brennan And Eric Martin -- Semantic Selection For Resolution In Clause Graphs / Seungyeob Choi And Manfred Kerber -- Machine-checking The Timed Interval Calculus / Jeremy E. Dawson And Rajeev Gore --^ Modeling Programs With Unstructured Control Flow For Debugging / Wolfgang Mayer And Markus Stumptner -- Message Length Formulation Of Support Vector Machines For Binary Classification -- A Preliminary Scheme / Lara Kornienko, David L. Dowe And David W. Albrecht -- Mml Inference Of Decision Graphs With Multi-way Joins / Peter J. Tan And David L. Dowe -- Mml Clustering Of Continuous-valued Data Using Gaussian And T Distributions / Yudi Agusta And David L. Dowe -- Optimizing Kernel-based Nonlinear Subspace Methods Using Prototype Reduction Schemes / Sang-woon Kim And B. John Oommen -- Intention And Rationality For Prs-like Agents / Wayne Wobcke -- Modeling And Simulation For Detecting A Distributed Denial Of Service Attack / Hee Suk Seo And Tae Ho Cho -- Knowledge-driven Processes Can Be Managed / John Debenham -- Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process / Juei-nan Chen, Yuch-min Huang And William C. Chu --^ Autonomous Planning And Scheduling On The Techsat 21 Mission / Rob Sherwood, Steve Chien, Rebecca Castano And Gregg Rabideau -- Omni-drive Robot Motion On Curved Paths: The Fastest Path Between Two Points Is Not A Straight-line / Mark Ashmore And Nick Barnes -- Indexing Of Image Databases Using Untrained 4d Holographic Memory Model / Raj P. Gopalan And Grant Lee -- The Flux-oriented Control Of An Induction Machine Utilizing An Online Controller Parameter Adaptation Scheme / Zaiping Chen, Qiang Gao, Chao Dong, Hongjin Liu, Peng Zhang And Zhenlin Xu -- Modelling The Acquisition Of Colour Words / Mike Dowman -- Bayesian Information Reward / Lucas R. Hope And Kevin B. Korb -- Prediction Of User-preference In Recommendation System Using Associative User Clustering And Bayesian Estimated Value / Kyung-yong Jung And Jung-hyun Lee -- Argument Interpretation Using Minimum Message Length / Sarah George And Ingrid Zukerman --^ Genetic Programming For Classification: An Analysis Of Convergence Behaviour / Thomas Loveard And Vic Ciesielski -- Lineage And Induction In The Development Of Evolved Genotypes For Non-uniform 2d Cas / Piet Van Remortel, Tom Lenaerts And Bernard Manderick -- Evolution In The Orange Box -- A New Approach To The Sphere-packing Problem In Cmac-based Neural Networks / David Cornforth -- Finding Worst-case Instances Of, And Lower Bounds For, Online Algorithms Using Genetic Algorithms / Andrew P. Kosoresow And Matthew P. Johnson -- An Adaptive Activation Function For Higher Order Neural Networks / Shuxiang Xu And Ming Zhang -- An Adaptive Learning Algorithm Aimed At Improving Rbf Network Generalization Ability / Jian Sun, Rui-min Shen And Fan Yang -- A Neural Network Online Training Algorithm Based On Compound Gradient Vector / Zaiping Chen, Jun Li, Youjun Yue, Qiang Gao, Hui Zhao And Zhenlin Xu --^ Applications Of Wavelet Transform And Artificial Neural Networks To Pattern Recognition For Environmental Monitoring / Cheol-ki Kim And Eui-yong Cha -- Adapting Kernels By Variational Approach In Svm / Junbin Gao, Steve Gunn And Jaz Kandola -- Learning To Reach The Pareto Optimal Nash Equilibrium As A Team / Katja Verbeeck, Ann Nowe, Tom Lenaerts And Johan Parent -- Computational Models Of The Amygdala And The Orbitofrontal Cortex: A Hierarchical Reinforcement Learning System For Robotic Control / Weidong Zhou And Richard Coggins -- A General Approach For Building Constraint Languages / Petra Hofstedt -- Metric Scsps: Partial Constraint Satisfaction Via Semiring Csps Augmented With Metrics / Aditya Ghose And Peter Harvey -- A Hybrid Genetic Algorithm For School Timetabling / Peter Wilke, Matthias Grobner And Norbert Oster -- Genetic Scheduling On Minimal Processing Elements In The Grid / Wensheng Yao, Baiyan Li And Jinyuan You --^ Protein Sequences Classification Using Modular Rbf Neural Networks / Dianhui Wang, N. K. Lee, T. S. Dillon And N. J. Hoogenraad -- Feature Extraction And Selection In Tool Condition Monitoring System / Sun Jie, G. S. Hong, M. Rahman And Y. S. Wong -- A Robust Meaning Extraction Methodology Using Supervised Neural Networks / D. A. Karras And B. G. Metzios -- Solving Regression Problems Using Competitive Ensembles Models / Yakov Frayman, Bernard F. Rolfe And Geoffrey I. Webb -- Learning Of Finite Unions Of Tree Patterns With Internal Structured Variables From Queries / Satoshi Matsumoto, Takayoshi Shoudai, Tetsuhiro Miyahara And Tomoyuki Uchida -- Treeitl-mine: Mining Frequent Itemsets Using Pattern Growth, Tid Intersection, And Prefix Tree / Raj P. Gopalan And Yudho Giri Sucahyo -- Convergency Of Learning Process / Dongmo Zhang And Norman Foo -- Structured Features From Concept Lattices For Unsupervised Learning And Classification / Michael Bain --^ Towards Fewer Parameters For Sat Clause Weighting Algorithms / John Thornton, Wayne Pullan And Justin Terry -- An Investigation Of Variable Relationships In 3-sat Problems / Olena Kravchuk, Wayne Pullan, John Thornton And Abdul Sattar -- Modelling More Realistic Sat Problems / Andrew Slater -- A Two Level Local Search For Max-sat Problems With Hard And Soft Constraints / John Thornton, Stuart Bain, Abdul Sattar And Duc Nghia Pham -- Strong Pseudorandom Bit Sequence Generators Using Neural Network Techniques And Their Evaluation For Secure Communications / D. A. Karras And V. Zorkadis -- Surface Feature Recognition Of Wear Debris / Mohammad Shakeel Laghari -- Improved Defect Detection Using Novel Wavelet Feature Extraction Involving Principal Component Analysis And Neural Network Techniques / D. A. Karras And B. G. Mertzios -- Effectiveness For Machine Translation Method Using Inductive Learning On Number Representation / Masafumi Matsuhara, Kenji Araki And Koji Tochinai --^ Estimating Episodes Of Care Using Linked Medical Claims Data / Graham Williams, Roban Baxter, Chris Kelman, Chris Rainsford, Hongxing He, Lifang Gu, Deanne Vickers And Simon Hawkins -- Adaptation Of A Mamdani Fuzzy Inference System Using Neuro-genetic Approach For Tactical Air Combat Decision Support System / Cong Tran, Ajith Abraham And Lakhmi Jain -- Optimization Of Recurrent Nn By Ga With Variable Length Genotype / Dragos Arotaritei And Mircea G. Negoita -- Theoretical Foundation For Nonlinear Edge-preserving Regularized Learning Image Restoration / Dianhui Wang And Tharam S. Dillon -- The Application Of Case Based Reasoning On Q & A System / Peng Han, Ruimin Shen, Fan Yang And Qiang Yang -- Development Of An Intelligent Tutoring System On Design Of Liquid Retaining Structures / K. W. Chau, F. Albermani And S. L. Chan -- Real-time Prediction Of Water Stage With Artificial Neural Network Approach / K. W. Chau And C. T. Cheng --^ On The Design Of Mathematical Concepts / Manfred Kerber And Martin Pollet -- Consistency Of Trust Theories / Chuchang Liu And Maris A. Ozols -- An Artificially Intelligent Sports Tipper / Alan Mccabe -- Selecting Semantics For Use With Semantic Pruning Of Linear Deductions / Marianne Brown -- Calibration Of Flow And Water Quality Modeling Using Genetic Algorithm / Kwokwing Chau -- A Comparison Of Machine Learning Approaches For The Automated Classification Of Dementia / Herbert Jelinek, David Cornforth, Patricia Waley, Eduardo Fernandez And Wayne Robinson. A Defeasible Logic Of Policy-based Intention / Guido Governatori, Vineet Padmanabhan And Abdul Sattar -- A Self-organizing Territorial Approach To Multi-robot Search And Surveillance / Toby J. Richer And Dan R. Gorbett -- Knowledge-based Techniques For Constraints Satisfaction In Resource Allocation Problems / K. A. Mohamed, A. Datta And R. Kozera -- Effective Sat Planning By Speculative Computation / Hidetomo Nabeshima, Koji Iwanuma And Katsumi Inoue. Bob Mckay, John Slaney (eds.). Includes Bibliographical References And Index. 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