This book constitutes the refereed proceedings of the 11th Biennial Conference of the Canadian Society for Computational Studies o...
Sie sparen CHF 29.00
Print on Demand - Exemplar wird für Sie besorgt.
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. Inhalt Constraint-directed improvisation for complex domains.- A new model of hard binary constraint Satisfaction Problems.- Reasoning with multi-point events.- Selecting the right heuristic algorithm: Runtime performance predictors.- Reasoning about unknown, counterfactual, and nondeterministic actions in first-order logic.- The frame problem and Bayesian network action representations.- Automatic generation of a complex dialogue history.- A chart generator for Shake and Bake machine translation.- Extending the role of user feedback in plan recognition and response generation for advice-giving systems: An initial report.- Corpus-based learning of generalized parse tree rules for translation.- ParseTalk about functional anaphora.- Knowledge-based approaches to query expansion in information retrieval.- Inferring what a user is not interested in.- Developing an expert system technology for industrial process control: An experience report.- Planning and learning in a natural resource information system.- A hierarchical model of agent based on skill, rules, and knowledge.- Semantics of multiply sectioned Bayesian networks for cooperative multi-agent distributed interpretation.- LPMEME: A statistical method for inductive logic programming.- Efficient induction of recursive prolog definitions.- Constructive induction: A preprocessor.- Reinforcement learning for real-world control applications.- A two-level approach to learning in nonstationary environments.- Learning classifications from multiple sources of unsupervised data.- Paraconsistent circumscription.- Efficient algorithms for qualitative reasoning about imprecise space.- A general purpose reasoner for abstraction.- Reference constraints and individual level inheritance.- Decision tree learning system with switching evaluator.- Parity: The problem that won't go away.- A polynomial-time predicate-logic hypothetical reasoning by Networked Bubble Propagation method.- Enhancing maximum satisfiability algorithms with pure literal strategies.- Searching with pattern databases.- Negoplan: A system for logic-based decision modelling.- Attribute selection strategies for attribute-oriented generalization.- Automating model acquisition by fault knowledge re-use: Introducing the Diagnostic Remodeler algorithm.- Planning algorithms and planning problems.
Advances in Artificial Intelligence
11th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI'96, Toronto, Canada, May (21-24), 1996. Proceedings