Book Details

Abstraction, Reformulation, and Approximation

Publication year: 2007

ISBN: 978-3-540-73580-9

Internet Resource: Please Login to download book


This volume contains the proceedings of SARA 2007, the seventh symposium, held at Whistler Village, British Columbia, Canada, July 18-21. Three distinguished speakers were invited to give keynote presentations, and their abstracts are included herein,It has been recognized since the inception of artificial intelligence 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 in a variety of problem-solving settings, including automated reasoning, cognitive modelling.


Subject: Computer Science, Automat, automated reasoning, learning, machine learning, modeling, problem solving, programming, proving, theorem proving