AI 2002: Advances in Artificial Intelligence: 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings PDF
Preview AI 2002: Advances in Artificial Intelligence: 15th Australian Joint Conference on Artificial Intelligence Canberra, Australia, December 2–6, 2002 Proceedings
Lecture Notes in Artificial Intelligence 2557 SubseriesofLectureNotesinComputerScience EditedbyJ.G.CarbonellandJ.Siekmann Lecture Notes in Computer Science EditedbyG.Goos,J.Hartmanis,andJ.vanLeeuwen 3 Berlin Heidelberg NewYork Barcelona HongKong London Milan Paris Tokyo Bob McKay John Slaney (Eds.) AI 2002: Advances in Artificial Intelligence 15thAustralian Joint Conference onArtificial Intelligence Canberra,Australia, December 2-6, 2002 Proceedings 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany VolumeEditors BobMcKay UniversityofNewSouthWales AustralianDefenceForceAcademy CanberraACT2600,Australia E-mail:[email protected] JohnSlaney AustralianNationalUniversity ComputerScienceLaboratory,RSISEBuilding CanberraACT0200,Australia E-mail:[email protected] Cataloging-in-PublicationDataappliedfor AcatalogrecordforthisbookisavailablefromtheLibraryofCongress. BibliographicinformationpublishedbyDieDeutscheBibliothek DieDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliografie; detailedbibliographicdataisavailableintheInternetat<http://dnb.ddb.de>. CRSubjectClassification(1998):I.2,F.1,F.4.1,H.3,H.2.8 ISSN0302-9743 ISBN3-540-00197-2Springer-VerlagBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare liableforprosecutionundertheGermanCopyrightLaw. Springer-VerlagBerlinHeidelbergNewYork amemberofBertelsmannSpringerScience+BusinessMediaGmbH http://www.springer.de ©Springer-VerlagBerlinHeidelberg2002 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyPTP-Berlin,StefanSossnae.K. Printedonacid-freepaper SPIN:10871770 06/3142 543210 Preface AI 2002 is the 15th in the series of annual conferences on artificial intelligence held in Australia. This conference is the major forum for the presentation of artificialintelligenceresearchinAustralia,encompassingallaspectsofthatbroad field.Ithastraditionallyattractedsignificantinternationalparticipation,aswas again the case in 2002. ThecurrentvolumeisbasedontheproceedingsofAI2002.Fulllengthversi- onsofallsubmittedpaperswererefereedbyaninternationalprogramcommittee, each paper receiving at least two independent reviews. As a result, 62 papers were selected for oral presentation in the conference, and 12 more for poster presentation, out of 117 submissions. One-page abstracts of the posters are pu- blished in this volume, along with the full papers selected for oral presentation. In addition to the scientific track represented here, the conference featured a program of tutorials and workshops, and plenary talks by five invited spea- kers: Peter van Beek (University of Waterloo, Canada), Eric Bonabeau (Ico- systemCorporation,USA),MingLi(UniversityofCaliforniaatSantaBarbara), Bernhard Nebel (Albert-Ludwigs-Universita¨t Freiburg, Germany) and Zoltan Somogyi (University of Melbourne, Australia). It was colocated with a number ofrelatedevents:anAIApplicationsSymposium,the6thAustralia-JapanJoint Workshop on Intelligent and Evolutionary Systems, the Australasian Workshop onComputationalLogic(AWCL),andtheannualconferenceoftheAustralasian Association for Logic (AAL). AI 2002 was presented by the Australian National University, the University of Canberra, and the University of New South Wales through the Australian Defence Force Academy. In addition to those institutions, we wish to thank the many people whose contribution made the conference possible, starting with the Program Committee and panel of reviewers who produced over 200 reviews of papers under time constraints. We also wish to thank our colleagues on the Conference Committee chaired by John Lloyd, and especially the Organizing Chair, Hussein Abbass. Finally, this work is partially sponsored by the Department of the Navy Grant N62649-02-1-0009 issued by US FISC YOKOSUKA. The United States Government has a royalty-free license throughout the world in all copyrightable material contained herein. December 2002 Robert I. McKay John Slaney Conference Officials Committee Chairs General Chair John Lloyd (Australian National University) Advisory Co-chairs Charles Newton (University of New South Wa- les) and Michael Wagner (University of Can- berra) Organizing Chair Hussein Abbass (University of New South Wa- les) Technical Co-chairs Bob McKay (University of New South Wales) and John Slaney (ANU) AI Symposium Chair Eric Tsui (CSC, Computer Sciences Corpora- tion, Australia) Special Events and Workshops Ruhul Sarker (University of New South Wales) Chair Tutorials Chair Masoud Mohammadian (UC) Publicity Chair Rohan Baxter (CSIRO, Commonwealth Scien- tific & Industrial Research Organization) Sponsorship Chair Daryl Essam (University of New South Wales) Program Committee Hussein Abbass: Australian Defence Force Academy Leila Alem: CSIRO Mark Bedau: Reed University, USA Alan Blair: University of Melbourne Michael Brooks: University of Adelaide Rod Brooks: Massachusetts Institute of Technology, USA Robert Dale: Macquarie University Paul Darwen: University of Queensland Tom Gedeon: Murdoch University John Gero: University of Sydney David Green: Charles Sturt University Jong-Hwan Kim: Korea Advanced Institute of Science and Technology Van Le: University of Canberra John Lloyd: Australian National University Kim Marriott: Monash University Bob McKay: Australian Defence Force Academy Masoud Mohammadian: University of Canberra Ann Nicholson: Monash University Mehmet Orgun: Macquarie University Morri Pagnucco: University of New South Wales VIII Organization Marcus Randall: Bond University Ruhul Sarker: Australian Defence Force Academy Ken Satoh: National Institute of Informatics, Japan Abdul Sattar: Griffith University Joaquin Sitte: Queensland University of Technology John Slaney: Australian National University Sylvie Thi´ebaux: Australian National University Paolo Traverso: IRST, Trento, Italy Eric Tsui: CSC Michael Wagner: University of Canberra Toby Walsh: University College Cork, Ireland Geoff Webb: Deakin University Graham Williams: CSIRO Maryanne Williams: Newcastle University Alex Zelinsky: Australian National University Chengqi Zhang: Deakin University Ingrid Zukerman: Monash University Other Referees David Albrecht Victor Jauregui Luciano Serafini Paolo Avesani Charles Kemp Steve Sugden Stuart Bain Robert Kowalski John Thornton Michael Barlow Padmanabhan Krishnan Satoshi Tojo Marco Benedetti Rex Kwok Rodney Topor Piergiorgio Bertoli Yuefeng Li Biao Wang Lawrie Brown Chunsheng Li Yingying Wen Antonio Cerone Lee Mansfield Akihiro Yamamoto Samir Chopra Bernd Meyer Ying Yang Frantz Clermont Naoyuki Nide Xin Yao Philippe Codognet Vineet Padmanabhan Shichao Zhang Enrico Giunchiglia Andrew Paplinski Zili Zhang Guido Governatori Torsten Seemann Table of Contents Natural Language and Information Retrieval A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices ................................... 1 Debbie Richards, Kathrin Boettger, Oscar Aguilera Preferred Document Classification for a Highly Inflectional/Derivational Language ................................... 12 Kyongho Min, William H. Wilson, Yoo-Jin Moon Experiments in Query Paraphrasing for Information Retrieval ........... 24 Ingrid Zukerman, Bhavani Raskutti, Yingying Wen Knowledge Representation and Reasoning Dynamic Decision-Making in Logic Programming and Game Theory...... 36 Marina De Vos, Dirk Vermeir On a Linear Representation Theory for Quantitative Belief Change....... 48 Akira Fusaoka Trust in Secure Communication Systems – The Concept, Representations, and Reasoning Techniques ........................... 60 Chuchang Liu, Maris A. Ozols Foundations for a Formalism of Nearness.............................. 71 Jane Brennan, Eric Martin Deduction Semantic Selection for Resolution in Clause Graphs .................... 83 Seungyeob Choi, Manfred Kerber Machine-Checking the Timed Interval Calculus ........................ 95 Jeremy E. Dawson, Rajeev Gor´e Modeling Programs with Unstructured Control Flow for Debugging ...... 107 Wolfgang Mayer, Markus Stumptner Learning Theory I Message Length Formulation of Support Vector Machines for Binary Classification – A Preliminary Scheme ................................ 119 Lara Kornienko, David L. Dowe, David W. Albrecht X Table of Contents MML Inference of Decision Graphs with Multi-way Joins ............... 131 Peter J. Tan, David L. Dowe MML Clustering of Continuous-Valued Data Using Gaussian and t Distributions................................................. 143 Yudi Agusta, David L. Dowe Optimizing Kernel-Based Nonlinear Subspace Methods Using Prototype Reduction Schemes ....................................... 155 Sang-Woon Kim, B. John Oommen Agents Intention and Rationality for PRS-Like Agents ........................ 167 Wayne Wobcke Modeling and Simulation for Detecting a Distributed Denial of Service Attack..................................................... 179 Hee Suk Seo, Tae Ho Cho Knowledge-Driven Processes Can Be Managed......................... 191 John Debenham Adaptive Multi-agent Decision Making Using Analytical Hierarchy Process ........................................................... 203 Juei-Nan Chen, Yueh-Min Huang, William C. Chu Intelligent Systems Autonomous Planning and Scheduling on the TechSat 21 Mission ........ 213 Rob Sherwood, Steve Chien, Rebecca Castano, Gregg Rabideau Omni-drive Robot Motion on Curved Paths: The Fastest Path between Two Points Is Not a Straight-Line............................ 225 Mark Ashmore, Nick Barnes Indexing of Image Databases Using Untrained 4D Holographic Memory Model .................................................... 237 Raj P. Gopalan, Grant Lee The Flux-Oriented Control of an Induction Machine Utilizing an Online Controller Parameter Adaptation Scheme....................... 249 Zaiping Chen, Qiang Gao, Chao Dong, Hongjin Liu, Peng Zhang, Zhenlin Xu Bayesian Reasoning and Classification Modelling the Acquisition of Colour Words............................ 259 Mike Dowman Table of Contents XI Bayesian Information Reward ....................................... 272 Lucas R. Hope, Kevin B. Korb Prediction of User Preference in Recommendation System Using Associative User Clustering and Bayesian Estimated Value .............. 284 Kyung-Yong Jung, Jung-Hyun Lee Argument Interpretation Using Minimum Message Length .............. 297 Sarah George, Ingrid Zukerman Evolutionary Algorithms Genetic Programming for Classification: An Analysis of Convergence Behaviour ............................................. 309 Thomas Loveard, Vic Ciesielski Lineage and Induction in the Development of Evolved Genotypes for Non-uniform 2D CAs............................................ 321 Piet van Remortel, Tom Lenaerts, Bernard Manderick Evolution in the Orange Box – A New Approach to the Sphere-Packing Problem in CMAC-Based Neural Networks.............. 333 David Cornforth Finding Worst-Case Instances of, and Lower Bounds for, Online Algorithms Using Genetic Algorithms ................................ 344 Andrew P. Kosoresow, Matthew P. Johnson Neural Networks I An Adaptive Activation Function for Higher Order Neural Networks ......................................................... 356 Shuxiang Xu, Ming Zhang An Adaptive Learning Algorithm Aimed at Improving RBF Network Generalization Ability .............................................. 363 Jian Sun, Rui-Min Shen, Fan Yang A Neural Network Online Training Algorithm Based on Compound Gradient Vector ................................................... 374 Zaiping Chen, Jun Li, Youjun Yue, Qiang Gao, Hui Zhao, Zhenlin Xu Applications of Wavelet Transform and Artificial Neural Networks to Pattern Recognition for Environmental Monitoring .................. 385 Cheol-Ki Kim, Eui-Young Cha
The list of books you might like
