Advances in artificial intelligence : 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003 : proceedings

This Book Constitutes The Refereed Proceedings Of The 16th Conference Of The Canadian Society For Computational Studies Of Intelligence, Ai 2003, Held In Halifax, Canada In June 2003. The 30 Revised Full Papers And 24 Revised Short Papers Presented Were Carefully Reviewed And Selected From 106 Submissions. The Papers Are Organized In Topical Sections On Knowledge Representation, Search, Constraint Satisfaction, Machine Learning And Data Mining, Ai And Web Applications, Reasoning Under Uncertainty, Agents And Multi-agent Systems, Ai And Bioinformatics, And Ai And E-commerce. Experiences Building A Distributed Sensor Network -- Artificial Intelligence And Human Brain Imaging -- Machine Learning Methods For Computational Proteomics And Beyond -- The Structure Model Interpretation Of Wright’s Ness Test -- Answer Formulation For Question-answering -- Patttern-based Ai Scripting Using Scriptease -- Enumerating The Preconditions Of Agent Message Types -- Monadic Memoization Towards Correctness-preserving Reduction Of Search -- Searching Solutions In The Crypto-arithmetic Problems: An Adaptive Parallel Genetic Algorithm Approach -- Stochastic Local Search For Multiprocessor Scheduling For Minimum Total Tardiness -- A Graph Based Backtracking Algorithm For Solving General Csps -- Iterated Robust Tabu Search For Max-sat -- Scaling And Probabilistic Smoothing: Dynamic Local Search For Unweighted Max-sat -- A Comparison Of Consistency Propagation Algorithms In Constraint Optimization -- Discovering Temporal/causal Rules: A Comparison Of Methods --^ Selective Transfer Of Task Knowledge Using Stochastic Noise -- Efficient Mining Of Indirect Associations Using Hi-mine -- Case Authoring From Text And Historical Experiences -- Session Boundary Detection For Association Rule Learning Using N-gram Language Models -- Negotiating Exchanges Of Private Information For Web Service Eligibility -- Post-supervised Template Induction For Dynamic Web Sources -- Summarizing Web Sites Automatically -- Cycle-cutset Sampling For Bayesian Networks -- Learning First-order Bayesian Networks -- Auc: A Better Measure Than Accuracy In Comparing Learning Algorithms -- Model-based Least-squares Policy Evaluation -- Diagal: A Tool For Analyzing And Modelling Commitment-based Dialogues Between Agents -- Situation Event Logic For Early Validation Of Multi-agent Systems -- Understanding “not-understood”: Towards An Ontology Of Error Conditions For Agent Communication -- An Improved Ant Colony Optimisation Algorithm For The 2d Hp Protein Folding Problem --^ Hybrid Randomised Neighbourhoods Improve Stochastic Local Search For Dna Code Design -- A Strategy For Improved Satisfaction Of Selling Software Agents In E-commerce -- Pre-negotiations Over Services — A Framework For Evaluation -- Formal Theory For Describing Action Concepts In Terminological Knowledge Bases -- Improving User-perceived Qos In Mobile Ad Hoc Networks Using Decision Rules Induction -- Risk Neutral Calibration Of Classifiers -- Search Bound Strategies For Rule Mining By Iterative Deepening -- Methods For Mining Frequent Sequential Patterns -- Learning By Discovering Conflicts -- Enhancing Caching In Distributed Databases Using Intelligent Polytree Representations -- Feature Selection Strategies For Text Categorization -- Learning General Graphplan Memos Through Static Domain Analysis -- Classification Automaton And Its Construction Using Learning -- A Genetic K-means Clustering Algorithm Applied To Gene Expression Data --^ Explanation-oriented Association Mining Using A Combination Of Unsupervised And Supervised Learning Algorithms -- Motion Recognition From Video Sequences -- Noun Sense Disambiguation With Wordnet For Software Design Retrieval -- Not As Easy As It Seems: Automating The Construction Of Lexical Chains Using Roget’s Thesaurus -- The Importance Of Fine-grained Cue Phrases In Scientific Citations -- Fuzzy C-means Clustering Of Web Users For Educational Sites -- Re-using Web Information For Building Flexible Domain Knowledge -- A New Inference Axiom For Probabilistic Conditional Independence -- Probabilistic Reasoning For Meal Planning In Intelligent Fridges -- Probabilistic Reasoning In Bayesian Networks: A Relational Database Approach -- Fundamental Issue Of Naive Bayes -- The Virtual Driving Instructor Creating Awareness In A Multiagent System -- Multi-attribute Exchange Market: Theory And Experiments -- Agent-based Online Trading System --^ On The Applicability Of L-systems And Iterated Function Systems For Grammatical Synthesis Of 3d Models -- An Unsupervised Clustering Algorithm For Intrusion Detection -- Dueling Csp Representations: Local Search In The Primal Versus Dual Constraint Graph -- A Quick Look At Methods For Mining Long Subsequences -- Back To The Future: Changing The Direction Of Time To Discover Causality -- Learning Coordination In Robocuprescue -- Accent Classification Using Support Vector Machine And Hidden Markov Model -- A Neural Network Based Approach To The Artificial Aging Of Facial Images -- Adaptive Negotiation For Agent Based Distributed Manufacturing Scheduling -- Multi-agent System Architecture For Tracking Moving Objects. Yang Xiang, Brahim Chaib-draa (eds.). Includes Bibliographical References And Index. Experiences Building a Distributed Sensor Network....Pages 1-6 Artificial Intelligence and Human Brain Imaging....Pages 7-7 Machine Learning Methods for Computational Proteomics and Beyond....Pages 8-8 The Structure Model Interpretation of Wright’s NESS Test....Pages 9-23 Answer Formulation for Question-Answering....Pages 24-34 Patttern-Based AI Scripting Using ScriptEase ....Pages 35-49 Enumerating the Preconditions of Agent Message Types....Pages 50-65 Monadic Memoization towards Correctness-Preserving Reduction of Search....Pages 66-80 Searching Solutions in the Crypto-arithmetic Problems: An Adaptive Parallel Genetic Algorithm Approach....Pages 81-95 Stochastic Local Search for Multiprocessor Scheduling for Minimum Total Tardiness....Pages 96-113 A Graph Based Backtracking Algorithm for Solving General CSPs....Pages 114-128 Iterated Robust Tabu Search for MAX-SAT....Pages 129-144 Scaling and Probabilistic Smoothing: Dynamic Local Search for Unweighted MAX-SAT....Pages 145-159 A Comparison of Consistency Propagation Algorithms in Constraint Optimization....Pages 160-174 Discovering Temporal/Causal Rules: A Comparison of Methods....Pages 175-189 Selective Transfer of Task Knowledge Using Stochastic Noise....Pages 190-205 Efficient Mining of Indirect Associations Using HI-Mine....Pages 206-221 Case Authoring from Text and Historical Experiences....Pages 222-236 Session Boundary Detection for Association Rule Learning Using n -Gram Language Models....Pages 237-251 Negotiating Exchanges of Private Information for Web Service Eligibility....Pages 252-267 Post-supervised Template Induction for Dynamic Web Sources....Pages 268-282 Summarizing Web Sites Automatically....Pages 283-296 Cycle-Cutset Sampling for Bayesian Networks....Pages 297-312 Learning First-Order Bayesian Networks....Pages 313-328 AUC: A Better Measure than Accuracy in Comparing Learning Algorithms....Pages 329-341 Model-Based Least-Squares Policy Evaluation....Pages 342-352 DIAGAL: A Tool for Analyzing and Modelling Commitment-Based Dialogues between Agents....Pages 353-369 Situation Event Logic for Early Validation of Multi-Agent Systems....Pages 370-382 Understanding “Not-Understood”: Towards an Ontology of Error Conditions for Agent Communication....Pages 383-399 An Improved Ant Colony Optimisation Algorithm for the 2D HP Protein Folding Problem....Pages 400-417 Hybrid Randomised Neighbourhoods Improve Stochastic Local Search for DNA Code Design....Pages 418-433 A Strategy for Improved Satisfaction of Selling Software Agents in E-Commerce....Pages 434-446 Pre-negotiations over Services — A Framework for Evaluation....Pages 447-457 Formal Theory for Describing Action Concepts in Terminological Knowledge Bases....Pages 458-465 Improving User-Perceived QoS in Mobile Ad Hoc Networks Using Decision Rules Induction....Pages 466-471 Risk Neutral Calibration of Classifiers....Pages 472-478 Search Bound Strategies for Rule Mining by Iterative Deepening....Pages 479-485 Methods for Mining Frequent Sequential Patterns....Pages 486-491 Learning by Discovering Conflicts....Pages 492-497 Enhancing Caching in Distributed Databases Using Intelligent Polytree Representations....Pages 498-504 Feature Selection Strategies for Text Categorization....Pages 505-509 Learning General Graphplan Memos through Static Domain Analysis....Pages 510-514 Classification Automaton and Its Construction Using Learning....Pages 515-519 A Genetic K-means Clustering Algorithm Applied to Gene Expression Data....Pages 520-526 Explanation-Oriented Association Mining Using a Combination of Unsupervised and Supervised Learning Algorithms....Pages 527-532 Motion Recognition from Video Sequences....Pages 532-536 Noun Sense Disambiguation with WordNet for Software Design Retrieval....Pages 537-543 Not as Easy as It Seems: Automating the Construction of Lexical Chains Using Roget’s Thesaurus ....Pages 544-549 The Importance of Fine-Grained Cue Phrases in Scientific Citations....Pages 550-556 Fuzzy C-Means Clustering of Web Users for Educational Sites....Pages 557-562 Re-using Web Information for Building Flexible Domain Knowledge....Pages 563-567 A New Inference Axiom for Probabilistic Conditional Independence....Pages 568-574 Probabilistic Reasoning for Meal Planning in Intelligent Fridges....Pages 575-582 Probabilistic Reasoning in Bayesian Networks: A Relational Database Approach....Pages 583-590 Fundamental Issue of Naive Bayes....Pages 591-595 The Virtual Driving Instructor Creating Awareness in a Multiagent System....Pages 596-602 Multi-attribute Exchange Market: Theory and Experiments....Pages 603-610 Agent-Based Online Trading System....Pages 611-613 On the Applicability of L-systems and Iterated Function Systems for Grammatical Synthesis of 3D Models....Pages 614-615 An Unsupervised Clustering Algorithm for Intrusion Detection....Pages 616-617 Dueling CSP Representations: Local Search in the Primal versus Dual Constraint Graph....Pages 618-620 A Quick Look at Methods for Mining Long Subsequences....Pages 621-623 Back to the Future: Changing the Direction of Time to Discover Causality....Pages 624-626 Learning Coordination in RoboCupRescue....Pages 627-628 Accent Classification Using Support Vector Machine and Hidden Markov Model....Pages 629-631 A Neural Network Based Approach to the Artificial Aging of Facial Images....Pages 632-634 Adaptive Negotiation for Agent Based Distributed Manufacturing Scheduling....Pages 635-637 Multi-agent System Architecture for Tracking Moving Objects....Pages 638-639 Followingalongtraditionofexcellence,theseventeentheditionoftheconference of the Canadian Society for the Computational Studies of Intelligence continued the success of its predecessors. This edition re?ected the energy and diversity of the Canadian AI community and the many international partnerships that this community has successfully established. AI 2004 attracted high-quality submissions from Canada and around the world. All papers submitted were thoroughly reviewed by the program comm- tee. Eachpaperwasassignedtoatleastthreeprogramcommitteemembers. Out of105submissionstothemainconference,29paperswereincludedasfullpapers inthisvolume,and22asshort/positionpapers. Threeworkshopsandagraduate symposium were also associated with AI 2004. In this volume, 14 papers selected from 21 submissions to the graduate symposium have been included. We invited three distinguished researchers to give talks representing their active research in AI: Fahiem Bacchus, Michael Littman, and Manuela Veloso. It would have been impossible to organize such a successful conference wi- out the help of many individuals. We would like to express our appreciation to the authors of the submitted papers, and to the program committee members and external referees who provided timely and signi?cant reviews. In particular, we would like to thank Luis Rueda for organizing the reviewing of the graduate symposium submissions, and Eric Mulvaney for providing valuable assistance in thepreparationoftheproceedings. Tomanagethesubmissionandreviewingp- cess we used CyberChair developed by Richard van de Stadt. Christine Gun ̈ ther from Springer has patiently attended to many editorial details. We owe special thanks to Bob Mercer for handling the local arrangements.