Automatically Generating Abstractions for Problem Solving.

Abstract

A major source of inefficiency in automated problem solvers is their inability to decompose problems and work on the more difficult parts first. This issue can be addressed by employing a hierarchy of abstract problem spaces to focus the search. Instead of solving a problem in the original problem space, a problem is first solved in an abstract space, and the abstract solution is then refined at successive levels in the hierarchy. While this use of abstraction can significantly reduce search, it is often difficult to find good abstractions, and the abstractions must be manually engineered by the designer of a problem domain.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1991
Accession Number
ADA356746

Entities

People

  • Craig Knoblock

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Acquisition
  • Air Force
  • Artificial Intelligence
  • Colors
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Ground Level
  • Information Science
  • Language
  • Lisp Programming Language
  • Machine Learning
  • Shape
  • Surface Properties
  • Time
  • Trees (Data Structures)

Fields of Study

  • Engineering
  • Geography

Readers

  • Computational Linguistics
  • Operations Research
  • Systems Analysis and Design

Technology Areas

  • Space