Abstraction, Reformulation, and Approximation 5th International
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 eff
- PDF / 5,990,043 Bytes
- 360 Pages / 429.976 x 650.048 pts Page_size
- 83 Downloads / 172 Views
Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen
2371
3
Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo
Sven Koenig Robert C. Holte (Eds.)
Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002 Kananaskis, Alberta, Canada August 2-4, 2002 Proceedings
13
Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J¨org Siekmann, University of Saarland, Saarbr¨ucken, Germany Volume Editors Sven Koenig College of Computing, Georgia Institute of Technology 801 Atlantic Dr NW, Atlanta, GA 30332-0280, USA E-mail: [email protected] Robert C. Holte Universtity of Alberta, Department of Computing Science 2-21 Athabasca Hall, Edmonton, Alberta T6G 2E8, Canada E-mail: [email protected]
Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Abstraction, reformulation, and approximation : 5th international symposium ; proceedings / SARA 2002, Kananaskis, Alberta, Canada, August 2 - 4, 2002. Sven Koenig ; Robert C. Holte (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002 (Lecture notes in computer science ; Vol. 2371 : Lecture notes in artificial intelligence) ISBN 3-540-43941-2
CR Subject Classification (1998): I.2, F.4.1, F.3 ISSN 0302-9743 ISBN 3-540-43941-2 Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH http://www.springer.de © Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by PTP-Berlin, Stefan Sossna e.K. Printed on acid-free paper SPIN: 10870376 06/3142 543210
Preface 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 summarizi
Data Loading...
