Advances in artificial intelligence: 11th biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI '96: Toronto, Ontario, Canada, May 21-24, 1996: proceedings

"This book constitutes the refereed proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 96, held in Toronto, Ontario, Canada, in May 1996. The 35 revised full papers presented in the book were carefully selected by the program committee. Although organized by a national society, AI 96 attracted contributions and participants with a significant geographic diversity. The issues addressed in this volume cover an electic range of current AI topics with a certain emphasis on various aspects of knowledge representation, natural language processing, and learning."--PUBLISHER'S WEBSITE Constraint-directed improvisation for complex domains....Pages 1-13 A new model of hard binary constraint Satisfaction Problems....Pages 14-25 Reasoning with multi-point events....Pages 26-40 Selecting the right heuristic algorithm: Runtime performance predictors....Pages 41-53 Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic....Pages 54-68 The frame problem and Bayesian network action representations....Pages 69-83 Automatic generation of a complex dialogue history....Pages 84-96 A chart generator for Shake and Bake machine translation....Pages 97-108 Extending the role of user feedback in plan recognition and response generation for advice-giving systems: An initial report....Pages 109-120 Corpus-based learning of generalized parse tree rules for translation....Pages 121-132 ParseTalk about functional anaphora....Pages 133-145 Knowledge-based approaches to query expansion in information retrieval....Pages 146-158 Inferring what a user is not interested in....Pages 159-171 Developing an expert system technology for industrial process control: An experience report....Pages 172-186 Planning and learning in a natural resource information system....Pages 187-199 A hierarchical model of agent based on skill, rules, and knowledge....Pages 200-212 Semantics of multiply sectioned Bayesian networks for cooperative multi-agent distributed interpretation....Pages 213-226 LPMEME: A statistical method for inductive logic programming....Pages 227-239 Efficient induction of recursive prolog definitions....Pages 240-248 Constructive induction: A preprocessor....Pages 249-256 Reinforcement learning for real-world control applications....Pages 257-270 A two-level approach to learning in nonstationary environments....Pages 271-283 Learning classifications from multiple sources of unsupervised data....Pages 284-295 Paraconsistent circumscription....Pages 296-308 Efficient algorithms for qualitative reasoning about imprecise space....Pages 309-322 A general purpose reasoner for abstraction....Pages 323-335 Reference constraints and individual level inheritance....Pages 336-348 Decision tree learning system with switching evaluator....Pages 349-361 Parity: The problem that won't go away....Pages 362-374 A polynomial-time predicate-logic hypothetical reasoning by Networked Bubble Propagation method....Pages 375-387 Enhancing maximum satisfiability algorithms with pure literal strategies....Pages 388-401 Searching with pattern databases....Pages 402-416 Negoplan: A system for logic-based decision modelling....Pages 417-428 Attribute selection strategies for attribute-oriented generalization....Pages 429-441 Automating model acquisition by fault knowledge re-use: Introducing the Diagnostic Remodeler algorithm....Pages 442-456 Planning algorithms and planning problems....Pages 457-457 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.

This book constitutes the refereed proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 96, held in Toronto, Ontario, Canada, in May 1996.
The 35 revised full papers presented in the book were carefully selected by the program committee. Although organized by a national society, AI 96 attracted contributions and participants with a significant geographic diversity. The issues addressed in this volume cover an electic range of current AI topics with a certain emphasis on various aspects of knowledge representation, natural language processing, and learning.

Reactive approaches to planning are becoming increasingly dominant in the field, in light of the demands of real-time problem solving.