The Fifth Symposium on Abstraction, Reformulation, and Approximation (SARA-2002)
نویسندگان
چکیده
ion, Reformulation, and Approximation (SARA-2002) was held from 2 to 4 August 2002 in Kananaskis, Alberta, Canada. This interdisciplinary conference brought together researchers from around the world to present recent progress on, and exchange ideas about, how abstraction, reformulation, and approximation techniques can be used in areas such as automatic programming, constraint satisfaction, design, diagnosis, machine learning, search, planning, reasoning, game playing, scheduling, and theo-
منابع مشابه
SARA 2009: The Eighth Symposium on Abstraction, Reformulation and Approximation
ion, reformulation, and approximation (ARA) techniques are deemed crucial in the ability of humans to reason about complex and uncertain real-life problems. Consequently, ARA techniques have been studied in various subfields in AI and related disciplines and have been used in various settings including automated reasoning, cognitive modeling, constraint programming, design, diagnosis, machine l...
متن کاملSymposium on Abstraction, Reformulation, and Approximation (SARA-2000)
tion, explanation, and other applications, as talks at the meeting demonstrated. SARA has always invited distinguished members of the research community to present keynote talks. This conference was no exception, presenting an invited talk by Thomas Dietterich (Oregon States Univesity) on hierarchical reinforcement learning, one by Patrick Cousot (École Normal Supéricure, Paris) on abstract fix...
متن کاملReports of the AAAI 2012 Conference Workshops
ion, Reformulation, and Approximation It has been recognized since the inception of artificial intelligence that abstractions, problem reformulations, and approximations (ARA) are central to human commonsense reasoning and problem solving and to the ability of systems to reason effectively in complex domains. ARA techniques have been used in a variety of problem-solving settings and application...
متن کاملAbstraction: A Historical and Interdisciplinary Perspective
ion: A Historical and Interdisciplinary Perspective Lorenza Saitta Università del Piemonte Orientale, DISIT Viale Teresa Michel 11, 15121 Alessandria, Italy [email protected] Abstraction is a pervasive activity in human perception, conceptualization and reasoning, and, as such, it enters the vocabulary of almost all disciplines, as well as the everyday life. As a result, it does not exist, a...
متن کاملReformulation for the Diagnosis of Discrete-Event Systems
Diagnosis is traditionally defined on a space of hypotheses (typically, all the combinations of zero or more possible faults). In the present paper, we argue that a suitable reformulation of this hypothesis space can lead to more efficient diagnostic algorithms and more compact diagnoses, most notably by exploiting opportunities for various forms of model abstraction. We also study several form...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- AI Magazine
دوره 24 شماره
صفحات -
تاریخ انتشار 2003