Ebook: Advances in Artifical 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.

---

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.

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -

---

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.
Content:
Front Matter....Pages -
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
Back Matter....Pages -
....