Eugene Fink in fulfilment of the thesis requirement for the degree of Master...  Home/Search
Context
Related
| cmu.edu/~eugene/rese...masterthesis.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~eugene/research/pa...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The use of abstraction in problem solving is an effective approach to reducing search, but finding good abstractions is a difficult problem. The first attempt to automatically generate a hierarchy of abstraction spaces was made by Sacerdoti in 1974. In 1990 Knoblock built the system ALPINE, which completely automates the formation of a hierarchy by abstracting preconditions of operators. To formalize his method, Knoblock introduced the notion of ordered abstraction hierarchies, in attempt to... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ in-justified,
author = "Eugene Fink In",
title = "Justified Plans and Ordered Hierarchies",
url = "citeseer.ist.psu.edu/751883.html" }
Citations (may not include all citations):3972 Introduction to algorithms (context) - Cormen, Leiserson et al. - 1990
1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
891 STRIPS: a new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
451 Planning for conjunctive goals (context) - Chapman - 1987
288 Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1974
255 Human Problem Solving (context) - Newell, Simon - 1972
251 Generating project networks (context) - Tate - 1977
121 The nonlinear nature of plans (context) - Sacerdoti - 1975
101 Domain-independent planning: Representation and plan generat.. - Wilkins - 1984
90 PRODIGY: an integrated architecture for planning and learnin.. (context) - Carbonell, Knoblock et al. - 1991
67 Automatically Generating Abstractions for Problem Solving - Knoblock - 1991
62 The transitive reduction of a directed graph (context) - Aho, Garey et al. - 1972
58 Principles of artificial intelligence (context) - Nilsson - 1980
57 Learning abstraction hierarchies for problem solving - Knoblock - 1990
53 Characterizing abstraction hierarchies for planning - Knoblock, Tenenberg et al. - 1991
49 ABTWEAK: abstracting a nonlinear (context) - Yang, Tenenberg - 1990
47 Search reduction in hierarchical problem solving - Knoblock - 1991
45 Commitment strategies in planning: a comparative analysis (context) - Minton, Bresina et al. - 1991
31 Elements of set theory (context) - Enderton - 1977
25 The downward refinement property (context) - Bacchus, Yang - 1991
21 An improved algorithm for transitive closure on acyclic digr.. (context) - Simon - 1985
17 Formalizing plan justifications - Fink, Yang - 1992
15 The expected value of hierarchical problem-solving - Bacchus, Yang - 1992
11 Automatically abstracting the effects of operators - Fink, Yang - 1992
8 A hierarchical planner that generates its own abstraction hi.. (context) - Christensen - 1990
4 Learning to solve problems by search for macrooperators (context) - Korf - 1985
2 Dept of Computer Science (context) - Tenenberg, Planning et al. - 1988
1 Parallel non-binary planning in polynomial time (context) - Backstrom, Klein - 1991
Documents on the same site (http://www.cs.cmu.edu/~eugene/research/papers/all.html): More
Automatic Evaluation and Selection of Problem-Solving Methods.. - Fink (Correct)
Formalizing the PRODIGY Planning Algorithm - Fink, Veloso (1996) (Correct)
Diagnosis of Ovarian Cancer Based on Mass Spectra of Blood.. - Tang, Mukomel, Fink (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC