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.
Les mer
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.
Les mer
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.
Les mer
Springer Book Archives
Springer Book Archives

Produktdetaljer

ISBN
9783540612919
Publisert
1996-05-08
Utgiver
Vendor
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet

Redaktør