Abstraction, Reformulation, and Approximation

5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

By: Sven Koenig (Editor), Robert C. Holte (Editor)

Write A Review

Paperback | 19 July 2002

At a Glance

Paperback
368 Pages

Dimensions(cm)
24.13 x 15.24 x 1.91

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

It has been recognized since the inception of Artificial Intelligence (AI) that abstractions, problem reformulations, and approximations (AR&A) are central to human common sense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. AR&A techniques have been used to solve a variety of tasks, including automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theorem proving. The primary purpose of AR&A techniques in such settings is to overcome computational intractability. In addition, AR&A techniques are useful for accelerating learning and for summarizing sets of solutions. This volume contains the proceedings of SARA 2002, the fifth Symposium on Abstraction, Reformulation, and Approximation, held at Kananaskis Mountain Lodge, Kananaskis Village, Alberta (Canada), August 2 4, 2002. The SARA series is the continuation of two separate threads of workshops: AAAI workshops in 1990 and 1992, and an ad hoc series beginning with the "Knowledge Compilation" workshop in 1986 and the "Change of Representation and Inductive Bias" workshop in 1988 with followup workshops in 1990 and 1992. The two workshop series merged in 1994 to form the first SARA. Subsequent SARAs were held in 1995, 1998, and 2000.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Artificial Intelligence Medicine Medicine in General Mathematics Mathematical Foundation Mathematical Logic Mathematical Theory of Computation Computer Programming & Software Development Computer Architecture & Logic Design

Invited Presentations
Model Checking and Abstraction	p. 1
Reformulaion in Planning	p. 18
Spatiotemporal Abstraction of Stochastic Sequential Processes	p. 33
State Spate Relaxation and Search Strategies in Dynamic Programming	p. 51
Full Presentations
Admissible Moves in Two-Player Games	p. 52
Dynamic Bundling: Less Effort for More Solutions	p. 64
Symbolic Heuristic Search Using Decision Diagrams	p. 83
On the Construction of Human-Automation Interfaces by Formal Abstraction	p. 99
Pareto Optimization of Temporal Decisions	p. 116
An Information-Theoretic Characterization of Abstraction in Diagnosis and
Hypothesis Selection	p. 126
A Tractable Query Cache by Approximation	p. 140
An Algebraic Framework for Abstract Model Checking	p. 152
Action Timing Discretization with Iterative-Refinement	p. 170
Formalizing Approximate Objects and Theories: Some Initial Results	p. 178
Model Minimization in Hierarchical Reinforcement Learning	p. 196
Learning Options in Reinforcement Learning	p. 212
Approximation Techniques for Non-linear Problems with Continuum of
Solutions	p. 224
Approximation of Relations by Propositional Formulas: Complexity and Semantics	p. 242
Abstracting Visual Percepts to Learn Concepts	p. 256
Short Presentations
PAC Meditation on Boolean Formulas	p. 274
On the Reformulation of Vehicle Routing Problems and Scheduling Problems	p. 282
The Oracular Constraints Method	p. 290
Performance of Lookahead Control Policies in the Face of Abstractions and Approximations	p. 299
TTree: Tree-Based State Generalization with Temporally Abstract Actions	p. 308
Ontology-Driven Induction of Decision Trees at Multiple Levels of Abstraction	p. 316
Research Summaries
Abstracting Imperfect Information Game Trees	p. 324
Using Abstraction for Heuristic Search and Planning	p. 326
Approximation Techniques in Multiagent Learning	p. 328
Abstraction and Reformulation in GraphPlan	p. 330
Abstract Reasoning for Planning and Coordination	p. 331
Abstraction Techniques, and Their Value	p. 333
Reformulation of Non-binary Constraints	p. 335
Reformulating Combinatorial Optimization as Constraint Satisfaction	p. 336
Autonomous Discovery of Abstractions through Interaction with an Environment	p. 338
Interface Verification: Discrete Abstractions of Hybrid Systems	p. 340
Learning Semi-lattice Codebooks for Image Compression	p. 342
Research Summary	p. 344
Principled Exploitation of Heuristic Information	p. 345
Reformulation of Temporal Constraint Networks	p. 347
Author Index	p. 349
Table of Contents provided by Publisher. All Rights Reserved.

Abstraction, Reformulation, and Approximation

5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Artificial Intelligence

The Tech Coup

How to Save Democracy from Silicon Valley

Nexus

A Brief History of Information Networks from the Stone Age to AI

If Anyone Builds It, Everyone Dies

The Case Against Superintelligent AI

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

New Beginnings

why change is so difficult and how to achieve it

Creative Machines

AI, Art & Us

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Empire of AI

Inside the reckless race for total domination

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Unleashing User Innovation

Multidisciplinary Perspectives on End-User Development and Generative AI

Data Science and Machine Learning for Non-Programmers

Using SAS Enterprise Miner

Autonomous Cyber Resilience

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Life 3.0

Being Human in the Age of Artificial Intelligence

Causal Inference and Machine Learning

In Economics, Social, and Health Sciences

The Shortest History of AI

Explainable Artificial Intelligence-based Industrial Internet of Things

Technologies and Applications

AI for Cybersecurity

Research and Practice

Scary Smart

The Future of Artificial Intelligence and How You Can Save Our World

Co-Intelligence

Living and Working with AI

Artificial Intelligence

A Modern Approach, 4th Global Edition

More Everything Forever

AI Overlords, Space Empires, and Silicon Valley's Crusade to Control the Fate of Humanity

Handbook of Reinforcement Learning

This product is categorised by