• Keine Ergebnisse gefunden

Planning and Optimization D3. Pattern Databases: Introduction Gabriele R¨oger and Thomas Keller

N/A
N/A
Protected

Academic year: 2022

Aktie "Planning and Optimization D3. Pattern Databases: Introduction Gabriele R¨oger and Thomas Keller"

Copied!
30
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

D3. Pattern Databases: Introduction

Gabriele R¨oger and Thomas Keller

Universit¨at Basel

October 31, 2018

(2)

Content of this Course

Planning

Classical

Tasks Progression/

Regression Complexity Heuristics

Probabilistic

MDPs Uninformed Search

Heuristic Search Monte-Carlo

Methods

(3)

Content of this Course: Heuristics

Heuristics

Delete Relaxation

Abstraction

Abstractions in General

Pattern Databases

Merge &

Shrink Landmarks

Potential Heuristics Cost Partitioning

(4)

Projections and Pattern Database

Heuristics

(5)

Pattern Database Heuristics

The most commonly used abstraction heuristics in search and planning arepattern database (PDB) heuristics.

PDB heuristics were originally introduced for the 15-puzzle (Culberson & Schaeffer, 1996) and forRubik’s cube(Korf, 1997).

The first use for domain-independent planning is due to Edelkamp (2001).

Since then, much research has focused on the theoretical properties of pattern databases, how to use pattern databases more effectively, how to find good patterns, etc.

Pattern databases are avery active research area

both in planning and in (domain-specific) heuristic search.

For many search problems, pattern databases are themost effective admissible heuristics currently known.

(6)

Pattern Database Heuristics Informally

Pattern Databases: Informally

A pattern database heuristic for a planning task is an abstraction heuristic where

some aspects of the task are represented in the abstraction with perfect precision, while

all other aspects of the task arenot represented at all.

This is achieved byprojectingthe task onto those variables that describe the aspects that are represented.

(7)

Example: Transition System

LRR LLL

LLR

LRL

ALR

ALL

BLL

BRL

ARL

ARR

BRR

BLR

RRR RRL

RLR

RLL

Logistics problem with one package, two trucks, two locations:

state variablepackage: {L,R,A,B} state variabletruck A:{L,R}

state variabletruck B:{L,R}

(8)

Example: Projection (1)

Abstraction induced byπ{package}:

LRR LLL

LLR

LRL LRR

LLR

LRL LLL

ALR ARL

ALL ARR

ALR ARL

ARR ALL

BLL

BRL

BRR

BLR BLL BRR

BLR BRL

RRR RRL

RLR

RLLRLL RRL

RLR RRR

h{package}(LRR) = 2

(9)

Example: Projection (2)

Abstraction induced byπ{package,truck A}:

LRR

LRL LRR

LRL LLL LLRLLR

LLL

ALR

ALL ALR

ALL

ARL

ARR ARL

ARR

BLR

BLL BRR

BRL BLL

BLR BRR

BRL

RRR RRLRRL

RRR

RLR

RLLRLL

RLR

h{package,truck A}

(LRR) = 2

(10)

Example: Projection (2)

Abstraction induced byπ{package,truck A}:

LRR

LRL LRR

LRL LLL LLRLLR

LLL

ALR

ALL ALR

ALL

ARL

ARR ARL

ARR

BRR

BLL BLR

BRL

BLL BLR

BRL BRR

RRR RRLRRL

RRR

RLR

RLLRLL

RLR

h{package,truck A}

(LRR) = 2

(11)

Projections

Formally, pattern database heuristics are abstraction heuristics induced by a particular class of abstractions calledprojections.

Definition (Projection)

Let Π be an FDR planning task with variablesV and statesS. LetP ⊆V, and let S0 be the set of states overP.

TheprojectionπP :S →S0 is defined asπP(s) :=s|P, wheres|P(v) :=s(v) for all v ∈P.

We callP thepattern of the projectionπP.

In other words,πP maps two states s1 ands2 to the same abstract state iff they agree on all variables inP.

(12)

Pattern Database Heuristics

Abstraction heuristics based on projections are called pattern database(PDB) heuristics.

Definition (Pattern Database Heuristic)

The abstraction heuristic induced byπP is called apattern database heuristic orPDB heuristic.

We writehP as a shorthand forhπP.

Why are they calledpattern database heuristics?

Heuristic values for PDB heuristics are traditionally stored in a 1-dimensional table (array) called a pattern database(PDB).

Hence the name “PDB heuristic”.

(13)

Pattern Databases: Chapter Overview

In the following, we will discuss:

how to implementPDB heuristics this chapter

how to effectively make use of multiplePDB heuristics Chapter D4

how to find good patternsfor PDB heuristics Chapter D5

(14)

Pattern Database Implementation

Assume we are given a patternP for a planning task Π.

How do we implementhP?

1 In a precomputation step, we compute a graph representation for the abstractionT(Π)πP and compute the abstract goal distance for each abstract state.

2 During search, we use the precomputed abstract goal distances in a lookupstep.

(15)

Implementing PDBs: Precomputation

(16)

Precomputation Step

Let Π be a planning task andP a pattern.

LetT =T(Π) andT0 =TπP.

We want to compute a graph representation ofT0. T0 is defined through an abstraction ofT.

For example, each concrete transition induces an abstract transition.

However, we cannot computeT0 by iterating over all transitions ofT.

This would take time Ω(kT k).

This is prohibitively long (so long that we could solve the task using uniform-cost search or similar techniques).

Hence, we need a way of computing T0 in time which is polynomial only inkΠk andkT0k.

(17)

Syntactic Projections

Definition (Syntactic Projection)

Let Π =hV,I,O, γibe an FDR planning task, and letP ⊆V be a subset of its variables.

Thesyntactic projection Π|P of Π toP is the FDR planning task hP,I|P,{o|P |o ∈O}, γ|Pi, where

ϕ|P for formula ϕis defined as the formula obtained fromϕ by replacing all atoms (v =d) with v ∈/ P by>, and o|P for operator o is defined by replacing all formulas ϕ occurring in the precondition or effect conditions of o with ϕ|P and all atomic effects (v :=d) with v∈/ P with the empty effect >.

Put simply, Π|P throws away all information not pertaining to variables inP.

(18)

Trivially Inapplicable Operators

Definition (Trivially Inapplicable Operator)

An operatoro of a SAS+ task is calledtrivially inapplicable if pre(o) contains the atoms (v =d) and (v =d0)

for some variable v and valuesd 6=d0, or

eff(o) contains the effects (v :=d) and (v :=d0) for some variable v and valuesd 6=d0.

Notes:

Trivially inapplicable operators are never applicable and can thus be safely omitted from the task.

Trivially inapplicable operators can be detected in linear time.

(19)

Trivially Unsolvable SAS

+

Tasks

Definition (Trivially Unsolvable)

A SAS+ task Π =hV,I,O, γi is called trivially unsolvable ifγ contains the atoms (v=d) and (v =d0)

for some variablev and valuesd 6=d0. Notes:

Trivially unsolvable SAS+ tasks have no goal states and are hence unsolvable.

Trivially unsolvable SAS+ tasks can be detected in linear time.

(20)

Equivalence Theorem for Syntactic Projections

Theorem (Syntactic Projections vs. Projections)

LetΠbe a SAS+ task that is not trivially unsolvable and has no trivially inapplicable operators, and let P be a pattern forΠ.

ThenT(Π|P)∼ TG (Π)πP. Proof.

exercises

(21)

PDB Computation

Using the equivalence theorem, we can compute pattern databases for (not trivially unsolvable) SAS+ tasks Π and patternsP:

Computing Pattern Databases def compute-PDB(Π,P):

Remove trivially inapplicable operators from Π.

Compute Π0 := Π|P. ComputeT0:=T(Π0).

Perform a backward uniform-cost search from the goal states of T0 to compute all abstract goal distances.

PDB:= a table containing all goal distances in T0 returnPDB

The algorithm runsin polynomial time and space in terms ofkΠk+|PDB|.

(22)

Generalizations of the Equivalence Theorem

The restrictions to SAS+ tasks and to tasks

without trivially inapplicable operators are necessary.

We can slightly generalize the result if we allow general negation-free formulas, but still forbid conditional effects.

In that case, the weighted graph ofT(Π)πP is isomorphic to a subgraph of the weighted graph ofT(Π|P).

This means that we can useT(Π|P) to derive an admissible estimate ofhP.

With conditional effects, not even this weaker result holds.

(23)

Projections Implementing PDBs: Precomputation Implementing PDBs: Lookup Summary

Going Beyond SAS

+

Tasks

Most practical implementations of PDB heuristics are limited to SAS+ tasks (or modest generalizations).

One way to avoid the issues with general FDR tasks is to convert them to equivalent SAS+ tasks.

However, most direct conversions can exponentially increase the task size in the worst case.

We will only consider SAS+ tasks in the chapters dealing with pattern databases.

(24)

Implementing PDBs: Lookup

(25)

Lookup Step: Overview

During search, the PDB is the only piece of information necessary to represent hP. (It is not necessary to store the abstract transition system itself at this point.) Hence, the space requirements for PDBs during search are linear in the number of abstract states S0:

there is one table entry for each abstract state.

During search,hP(s) is computed by mapping

πP(s) to a natural number in the range{0, . . . ,|S0| −1}

using aperfect hash function, then looking up the table entry for this number.

(26)

Lookup Step: Algorithm

LetP ={v1, . . . ,vk} be the pattern.

We assume that all variable domains are natural numbers counted from 0, i.e., dom(v) ={0,1, . . . ,|dom(v)| −1}.

For all i ∈ {1, . . . ,k}, we precomputeNi :=Qi−1

j=1|dom(vj)|.

Then we can look up heuristic values as follows:

Computing Pattern Database Heuristics def PDB-heuristic(s):

index := Pk

i=1Nis(vi) returnPDB[index]

This is avery fast operation: it can be performed inO(k).

For comparison, most relaxation heuristics need time O(kΠk) per state.

(27)

Lookup Step: Example (1)

Abstraction induced byπ{package,truck A}:

LRR

LRL LRR

LRL LLL LLRLLR

LLL

ALR

ALL ALR

ALL

ARL

ARR ARL

ARR

BRR

BLL BLR

BRL

BLL BLR

BRL BRR

RRR RRLRRL

RRR

RLR

RLLRLL

RLR

(28)

Lookup Step: Example (2)

P ={v1,v2}with v1=package,v2=truck A.

dom(v1) ={L,R,A,B} ≈ {0,1,2,3}

dom(v2) ={L,R} ≈ {0,1}

N1=Q0

j=1|dom(vj)|= 1, N2 =Q1

j=1|dom(vj)|= 4 index(s) = 1·s(package) + 4·s(truck A)

Pattern database:

abstract state LL RL AL BL LR RR AR BR

index 0 1 2 3 4 5 6 7

value 2 0 2 1 2 0 1 1

(29)

Summary

(30)

Summary

Pattern database (PDB) heuristicsare abstraction heuristics based on projection to a subset of variables.

For SAS+ tasks, they can easily be implemented via syntactic projections of the task representation.

PDBs are lookup tablesthat store heuristic values, indexed by perfect hash values for projected states.

PDB values can be looked up very fast, in time O(k) for a projection tok variables.

Referenzen

ÄHNLICHE DOKUMENTE

Abstractions: Formal Definition and Heuristics Homomorphisms and Isomorphisms. D1.2 Homomorphisms

Abstractions α induce abstraction heuristics h α : h α (s ) is the goal distance of α(s ) in the abstract transition system. Abstraction heuristics are safe, goal-aware, admissible

I Coming up with good abstractions automatically is the main research challenge when applying abstraction heuristics

Coming up with good abstractions automatically is the main research challenge when applying abstraction heuristics

I The canonical heuristic function is the best possible additive/maximizing combination for a given pattern collection given this additivity criterion. Pattern Databases:

D5.1 Pattern Selection as Local Search D5.2 Search Neighbourhood.. D5.3 Literature

Hence we now look at the transition systems for atomic projections of our example task, including transition labels. We abbreviate operator names as in

The objective value of an integer program that minimizes this cost subject to the flow constraints is a lower bound on the plan cost (i.e., an admissible heuristic estimate)..