Advances in Artificial Intelligence: 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11–13, 2003, Proceedings

656 Pages·2003·9.668 MB·English

by  Victor Lesser (auth.), Yang Xiang, Brahim Chaib-draa (eds.)

Lecture Notes in Artificial Intelligence 2671
EditedbyJ.G.CarbonellandJ.Siekmann
Subseries of Lecture Notes in Computer Science
3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Tokyo
Yang Xiang Brahim Chaib-draa (Eds.)
Advances in
Artificial Intelligence
16th Conference of the Canadian Society
for Computational Studies of Intelligence,AI 2003
Halifax, Canada, June 11-13, 2003
Proceedings
1 3
SeriesEditors
JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA
Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany
VolumeEditors
YangXiang
UniversityofGuelph
DepartmentofComputingandInformationScience
CollegeofPhysicalandEngineeringScience
Guelph,Ontario,CanadaN1G2W1
E-mail:[email protected]
BrahimChaib-draa
Universite´Laval
De´pt.Informatique-Ge´nieLogiciel
PavillonPouliot,Ste-Foy,PQ,Canada,G1K7P4
E-mail:[email protected]
Cataloging-in-PublicationDataappliedfor
AcatalogrecordforthisbookisavailablefromtheLibraryofCongress.
BibliographicinformationpublishedbyDieDeutscheBibliothek.
DieDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliografie;
detailedbibliographicdataisavailableintheInternetat<http://dnb.ddb.de>.
CRSubjectClassification(1998):I.2
ISSN0302-9743
ISBN3-540-40300-0Springer-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-VerlagBerlinHeidelberg2003
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyDA-TeXGerdBlumenstein
Printedonacid-freepaper SPIN:10927465 06/3142 543210
Preface
TheAI2003conferencewasthe16thintheseriesofartificialintelligenceconfer-
ences sponsored by the Canadian Society for Computational Studies of Intelli-
gence(CSCSI)/Soci´et´eCanadiennepourl’E´tudedel’IntelligenceparOrdinateur
(SCEIO). The conference showcases the excellent research work done by Cana-
dians and their international colleagues. As in the case of many past Canadian
AI conferences, AI 2003 was organized in conjunction with its sister Canadian
conferences, Vision Interface (VI) and Graphics Interface (GI), enriching the
experienceforallparticipants.The conferenceswereheldonthe campusofDal-
housie University, at Canada’s largest Atlantic port city, Halifax.
This year,we received a recordnumber of paper submissions. A total of 116
abstractswerereceived,outofwhich106papersweresubmittedbytheduedate.
As atpastconferences,there was stronginternationalparticipation.Among the
submittedpapers,about41%werefromnon-Canadianresearchers.Fromthe106
papers,we accepted30full papersand24shortpapers.Followingthe successin
AI 2002, the Graduate Student Symposium was continued in AI 2003, with 11
extended abstractsaccepted from16 submissions.All these acceptedpapers are
included inthis volume.They covera wide rangeoftopics,including knowledge
representation, search,constraint satisfaction, natural language,machine learn-
inganddatamining,reasoningunderuncertainty,agentandmultiagentsystems,
AI and Web applications, AI and bioinformatics, and AI and E-commerce.
Weinvitedthreedistinguishedresearchersrepresentingthreeveryactivesub-
fields of AI: Victor Lesser (multiagent systems), Tom Mitchell (machine learn-
ing), and Pierre Baldi (AI and bioinformatics). The extended abstracts of their
invited talks also appear in this volume.
Many contributed to the organization of AI 2003. Members of the Pro-
gramCommitteemadehelpfulsuggestionsontheconferenceorganization.They
and the associated referees carefully and critically reviewed all submissions and
ensured a high-quality technical program. The National Research Council of
CanadaandtheCanadianSocietyforComputationalStudiesofIntelligencepro-
vided travelsupport for the Graduate Student Symposium. CSCSI’s past presi-
dentBobMercerandpresidentBruce Spencer gaveus muchguidance whenever
needed.TheconferencechairCharlesLingandthelocalorganizerMalcolmHey-
wood attended to many organizational details. We thank the invited speakers,
all authors who submitted their work to AI 2003, and the conference partici-
pants.WethanktheAI-GI-VISteeringCommitteeandtheorganizersofGIand
VI for their cooperation. Our home institutions, the University of Guelph and
Laval University, and the host institution of the conference, Dalhousie Univer-
sity, provided much assistance and support. Alfred Hofmann and Ursula Barth
at Springer-Verlag assisted the publication of this volume. Graduate students
Feng Zou, Junjiang Chen, Xiaoyun Chen and Xiangdong An assisted in devel-
VI Preface
oping and maintaining the program management website and in preparing the
proceedings.
June 2003 Yang Xiang
Brahim Chaib-draa
Executive Committee
Conference Chair: Charles Ling (U. Western Ontario)
ProgramCo-Chairs: Yang Xiang (U. Guelph)
Brahim Chaib-draa (Laval U.)
Local Organizer: Malcolm Heywood (Dalhousie U.)
Program Committee
Aijun An (York U.) Guy Mineau (U. Laval)
Cory Butz (U. Regina) Eric Neufeld (U. Saskatchewan)
Nick Cercone (Dalhousie U.) Petra Perner (IBaI Leipzig)
David Chiu (U. Guelph) David Poole (U. British Columbia)
Jim Delgrande (Simon Fraser U.) Fred Popowich (Simon Fraser U.)
Jorg Denzinger (U. Calgary) Gregory Provan (Rockwell)
Renee Elio (U. Alberta) Dale Schuurmans (U. Waterloo)
Richard Frost (U. Windsor) Weiming Shen
Ali Ghorbani (U. New Brunswick) (National Research Council Canada)
Scott Goodwin (U. Windsor) Danel Silver (Acadia U.)
Jim Greer (U. Saskatchewan) Bruce Spencer
Gary Grewal (U. Guelph) (National Research Council Canada
Howard Hamilton (U. Regina) and U. New Brunswick)
Bill Havens (Simon Fraser U.) Deb Stacey (U. Guelph)
Michael Horsch (U. Saskatchewan) Stan Szpakowicz (U. Ottawa)
Finn Jensen (Aalborg U.) Andre Trudel (Acadia U.)
Stefan Kremer (U. Guelph) Peter van Beek (U. Waterloo)
James Little (U. British Columbia) Julita Vassileva (U. Saskatchewan)
Stan Matwin (U. Ottawa) Michael Wong (U. Regina)
Gord McCalla (U. Saskatchewan) Jia You (U. Alberta)
Bob Mercer (U. Western Ontario) Eric Yu (U. Toronto)
Evangelos Milios (Dalhousie U.) Kaizhong Zhang (U. Western Ontario)
Additional Reviewers
Mohamed Aoun-allah, Gilbert Babin, Behnam Bastani, Julia Birke, Pierre
Boulanger, Caropreso, Ralph Deters, Dan Fass, Julian Fogel, Fr´ed´erick Garcia,
Ali Ghodsi, Daniel Gross, Jimmy Huang, Andrija Ifkovic, Nadeem Jamali,
Anthony Kusalik, Sonje Kristtorn, Lang, Lingras, Lin Liu, Yang Liu, Sehl
Mellouli, Ronnie Mueller,Xiaolin Niu, Relu Patrascu,Elhadi Shakshuki,Pascal
Soucy, Finnegan Southey, Sykes, Davide Turcato, Hussein Vastani, Qian Wan,
Steven Wang, Yao Wang, Pinata Winoto, Sadok Ben Yahia, Harry Zhang
Sponsor
National Research Council of Canada
Canadian Society for Computational Studies of Intelligence
Table of Contents
Invited Talks
Experiences Building a Distributed Sensor Network .........................1
Victor Lesser
Artificial Intelligence and Human Brain Imaging ............................7
Tom M. Mitchell
Machine Learning Methods for Computational Proteomics and Beyond ......8
Pierre Baldi
Full Papers
Knowledge Representation
On the Structure Model Interpretation of Wright’s NESS Test ...............9
Richard A. Baldwin and Eric Neufeld
Answer Formulation for Question-Answering ...............................24
Leila Kosseim, Luc Plamondon, and Louis-Julien Guillemette
Pattern-BasedAI Scripting Using ScriptEase ..............................35
Matthew McNaughton, James Redford, Jonathan Schaeffer,
and Duane Szafron
Enumerating the Preconditions of Agent Message Types ...................50
Francis Jeffry Pelletier and Ren´ee Elio
Search
Monadic Memoization towards Correctness-PreservingReduction
of Search ..................................................................66
Richard Frost
Searching Solutions in the Crypto-arithmetic Problems:
An Adaptive ParallelGenetic Algorithm Approach .........................81
Man Hon Lo and Kwok Yip Szeto
Stochastic Local Search for Multiprocessor Scheduling
for Minimum Total Tardiness ..............................................96
Michael Pavlin, Holger Hoos, and Thomas Stu¨tzle
X Table of Contents
Constraint Satisfaction
A Graph Based Backtracking Algorithm for Solving General CSPs ........114
Wanlin Pang and Scott D. Goodwin
Iterated Robust Tabu Search for MAX-SAT...............................129
Kevin Smyth, Holger H. Hoos, and Thomas Stu¨tzle
Scaling and Probabilistic Smoothing: Dynamic Local Search
for Unweighted MAX-SAT ................................................145
Dave A. D. Tompkins and Holger H. Hoos
A Comparison of Consistency PropagationAlgorithms
in Constraint Optimization ...............................................160
Jingfang Zheng and Michael C. Horsch
Machine Learning and Data Mining
Discovering Temporal/CausalRules: A Comparisonof Methods ...........175
Kamran Karimi and Howard J. Hamilton
Selective Transfer of Task Knowledge Using Stochastic Noise ..............190
Daniel L. Silver and Peter McCracken
Efficient Mining of Indirect Associations Using HI-Mine ...................206
Qian Wan and Aijun An
Case Authoring from Text and Historical Experiences .....................222
Marvin Zaluski, Nathalie Japkowicz, and Stan Matwin
AI and Web Applications
Session Boundary Detection for Association Rule Learning
Using n-Gram Language Models ..........................................237
Xiangji Huang, Fuchun Peng, Aijun An, Dale Schuurmans,
and Nick Cercone
Negotiating Exchanges of Private Information
for Web Service Eligibility ................................................252
Keping Jia and Bruce Spencer
Post-supervisedTemplate Induction for Dynamic Web Sources ............268
Zhongmin Shi, Evangelos Milios, and Nur Zincir-Heywood
Summarizing Web Sites Automatically ....................................283
Yiquing Zhang Zhang, Nur Zincir-Heywood, and Evangelos Milios