Generating Abstraction Hierarchies

Generating Abstraction Hierarchies PDF Author: Craig A. Knoblock
Publisher: Springer Science & Business Media
ISBN: 1461531527
Category : Computers
Languages : en
Pages : 179

Get Book Here

Book Description
Generating Abstraction Hierarchies presents a completely automated approach to generating abstractions for problem solving. The abstractions are generated using a tractable, domain-independent algorithm whose only inputs are the definition of a problem space and the problem to be solved and whose output is an abstraction hierarchy that is tailored to the particular problem. The algorithm generates abstraction hierarchies that satisfy the `ordered monotonicity' property, which guarantees that the structure of an abstract solution is not changed in the process of refining it. An abstraction hierarchy with this property allows a problem to be decomposed such that the solution in an abstract space can be held invariant while the remaining parts of a problem are solved. The algorithm for generating abstractions is implemented in a system called ALPINE, which generates abstractions for a hierarchical version of the PRODIGY problem solver. Generating Abstraction Hierarchies formally defines this hierarchical problem solving method, shows that under certain assumptions this method can reduce the size of a search space from exponential to linear in the solution size, and describes the implementation of this method in PRODIGY. The abstractions generated by ALPINE are tested in multiple domains on large problem sets and are shown to produce shorter solutions with significantly less search than problem solving without using abstraction. Generating Abstraction Hierarchies will be of interest to researchers in machine learning, planning and problem reformation.

Generating Abstraction Hierarchies

Generating Abstraction Hierarchies PDF Author: Craig A. Knoblock
Publisher: Springer Science & Business Media
ISBN: 1461531527
Category : Computers
Languages : en
Pages : 179

Get Book Here

Book Description
Generating Abstraction Hierarchies presents a completely automated approach to generating abstractions for problem solving. The abstractions are generated using a tractable, domain-independent algorithm whose only inputs are the definition of a problem space and the problem to be solved and whose output is an abstraction hierarchy that is tailored to the particular problem. The algorithm generates abstraction hierarchies that satisfy the `ordered monotonicity' property, which guarantees that the structure of an abstract solution is not changed in the process of refining it. An abstraction hierarchy with this property allows a problem to be decomposed such that the solution in an abstract space can be held invariant while the remaining parts of a problem are solved. The algorithm for generating abstractions is implemented in a system called ALPINE, which generates abstractions for a hierarchical version of the PRODIGY problem solver. Generating Abstraction Hierarchies formally defines this hierarchical problem solving method, shows that under certain assumptions this method can reduce the size of a search space from exponential to linear in the solution size, and describes the implementation of this method in PRODIGY. The abstractions generated by ALPINE are tested in multiple domains on large problem sets and are shown to produce shorter solutions with significantly less search than problem solving without using abstraction. Generating Abstraction Hierarchies will be of interest to researchers in machine learning, planning and problem reformation.

Generating Abstraction Hierarchies

Generating Abstraction Hierarchies PDF Author: Craig A Knoblock
Publisher:
ISBN: 9781461531531
Category :
Languages : en
Pages : 188

Get Book Here

Book Description


Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments

Multiple Abstraction Hierarchies for Mobile Robot Operation in Large Environments PDF Author: Cipriano Galindo
Publisher: Springer
ISBN: 354072690X
Category : Technology & Engineering
Languages : en
Pages : 184

Get Book Here

Book Description
This book focuses on the performance of mobile robots through the use of multi-hierarchical symbolic representations of the environment. To perform deliberative actions, a robot must possess some symbolic representation of its workspace, but representations of real environments can become so large that they must be conveniently arranged to facilitate and, in some cases, make possible their use. Practical solutions tested on real robots, for example a robotic wheelchair, are provided.

Artificial Intelligence Planning Systems

Artificial Intelligence Planning Systems PDF Author: James Hendler
Publisher: Elsevier
ISBN: 0080499449
Category : Computers
Languages : en
Pages : 327

Get Book Here

Book Description
Artificial Intelligence Planning Systems documents the proceedings of the First International Conference on AI Planning Systems held in College Park, Maryland on June 15-17, 1992. This book discusses the abstract probabilistic modeling of action; building symbolic primitives with continuous control routines; and systematic adaptation for case-based planning. The analysis of ABSTRIPS; conditional nonlinear planning; and building plans to monitor and exploit open-loop and closed-loop dynamics are also elaborated. This text likewise covers the modular utility representation for decision-theoretic planning; reaction and reflection in tetris; and planning in intelligent sensor fusion. Other topics include the resource-bounded adaptive agent, critical look at Knoblock's hierarchy mechanism, and traffic laws for mobile robots. This publication is beneficial to students and researchers conducting work on AI planning systems.

Automatic Generation and Labeling of Type Abstraction Hierarchies

Automatic Generation and Labeling of Type Abstraction Hierarchies PDF Author: Timothy Andrew Plattner
Publisher:
ISBN:
Category :
Languages : en
Pages : 210

Get Book Here

Book Description


Planning with Abstraction Hierarchies Can be Exponentially Less Efficient

Planning with Abstraction Hierarchies Can be Exponentially Less Efficient PDF Author: Christer Bäckström
Publisher:
ISBN:
Category : Planning
Languages : en
Pages : 13

Get Book Here

Book Description
Abstract: "It is well-known that state abstraction can speed up planning exponentially, under ideal conditions. We add to the knowledge -- showing that state abstraction may likewise slow down planning exponentially, and even result in generating an exponentially longer solution than necessary. This phenomenon can occur for abstraction hierarchies which are generated automatically by the Alpine and Highpoint algorithms. We further show that there is little hope of any drastic improvement upon these algorithms -- it is computationally difficult to generate abstraction hierarchies which allow finding good approximations of optimal plans."

Computing Abstraction Hierarchies by Numerical Simulation

Computing Abstraction Hierarchies by Numerical Simulation PDF Author: Alan Bundy
Publisher:
ISBN:
Category : Electric resistance
Languages : en
Pages : 9

Get Book Here

Book Description
Abstract: "We present a novel method for building ABSTRIPS-style abstraction hierarchies in planning. The aim of this method is to minimize the amount of backtracking between abstraction levels. Previous approaches have determined the criticality of operator preconditions by reasoning about plans directly. Here, we adopt a simpler and faster approach where we use numerical simulation of the planning process. We demonstrate the theoretical advantages of our approach by identifying some simple properties lacking in previous approaches but possessed by our method. We demonstrate the empirical advantages of our approach by a set of four benchmark experiments using the ABTWEAK system. We compare the quality of the abstraction hierarchies generated with those built by the ALPINE and HIGHPOINT algorithms."

Automatic Generation of Type Abstraction Hierarchies for Cooperative Query Answering

Automatic Generation of Type Abstraction Hierarchies for Cooperative Query Answering PDF Author: Kuorong Chiang
Publisher:
ISBN:
Category :
Languages : en
Pages : 196

Get Book Here

Book Description


Proceedings

Proceedings PDF Author: American Association for Artificial Intelligence
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 436

Get Book Here

Book Description


Artificial Intelligence Planning Systems

Artificial Intelligence Planning Systems PDF Author: James A. Hendler
Publisher: Morgan Kaufmann
ISBN:
Category : Computers
Languages : en
Pages : 346

Get Book Here

Book Description