Abstraction, reformulation, and approximation(抽象、重组与逼近/会议录)
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving.
编辑推荐：
在线阅读本书
This book constitutes the refereed proceedings of the 5th International Symposium on Abstraction, Reformulation, and Approximation, SARA 2002, held in Kananaskis, Alberta, Canada, in August 2002.The 15 revised full papers and 6 short papers were carefully reviewed and selected for inclusion in the book. Also included are 4 invited papers and 14 abstracts. All current aspects of abstraction, reformulation, and approximation in the context of human common-sense reasoning, problem solving, and efficiently reasoning in complex domains are addressed. Among the application fields of these techniques are automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. 目录：
Invited Presentations
Model Checking and Abstraction Reformulaion in Planning Spatiotemporal Abstraction of Stochastic Sequential Processes State Spate Relaxation and Search Strategies in Dynamic Programming Full Presentations Admissible Moves in Two-Player Games Dynamic Bundling: Less Effort for More Solutions Symbolic Heuristic Search Using Decision Diagrams On the Construction of Human-Automation Interfaces by Formal Abstraction Pareto Optimization of Temporal Decisions An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection A Tractable Query Cache by Approximation An Algebraic Framework for Abstract Model Checking Action Timing Discretization with Iterative-Refinement Formalizing Approximate Objects and Theories: Some Initial Results Model Minimization in Hierarchical Reinforcement Learning Learning Options in Reinforcement Learning Approximation Techniques for Non-linear Problems with Continuum of Solutions Approximation of Relations by Propositional Formulas:Complexity and Semantics Abstracting Visual Percepts to Learn Concepts Short Presentations PAC Meditation on Boolean Formulas On the Reformulation of Vehicle Routing Problems and Scheduling Problems The Oracular Constraints Method Performance of Lookahead Control Policies in the Face of Abstractions and Approximations TTree: Tree-Based State Generalization with Temporally Abstract Actions Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction. Research Summaries Author Index |