• Keine Ergebnisse gefunden

Planning and Optimization X1. Hands-On and Repetition Gabriele R¨oger and Thomas Keller

N/A
N/A
Protected

Academic year: 2022

Aktie "Planning and Optimization X1. Hands-On and Repetition Gabriele R¨oger and Thomas Keller"

Copied!
10
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

X1. Hands-On and Repetition

Gabriele R¨oger and Thomas Keller

Universit¨at Basel

September 24, 2018

(2)

Introduction

Hands-On: Outline for this week

Working with an existing planning system (Fast Downward).

Domain modeling

Recognizing the difference: blind vs. informed planning Implementation in Fast Downward

(3)

Hands-On: Overview

Chapter overview: hands-on

1. The Planning Domain Definition Language (PDDL) 2. Getting to Know a Planner

3. Heuristics

4. A search algorithm

(4)

PDDL

(5)

Representation of State Spaces

Representation of State Spaces explicit graphs

black box

declarative representations

In this Course: Declarative Representations

compact description of state space as input to algorithms state spaceexponentially largerthan input

algorithms operate directly on compact description

allows automatic reasoning about problem (abstractions etc.)

(6)

Representation of State Spaces

PDDL: Planning Domain Definition Language PDDL is the standard language used in practice to describe planning tasks.

descriptions in (restricted) predicate logic instead of propositional logic ( even more compact)

There exist defined PDDL fragments for STRIPS and ADL;

many planners only support the STRIPS fragment.

In this week: restriction to STRIPS

(7)

Illustrating Example: 15-Puzzle

9 2 12 7

5 6 14 13

3 11 1

15 4 10 8

1 2 3 4

5 6 7 8

9 10 11 12

13 14 15

(8)

15-Puzzle in PDDL

Example: 15-Puzzle in PDDL

(9)

Hands-On

(10)

Hands-On

cloned course repository

https://bitbucket.org/aibasel/planopt-hs18

update the course repository cd planopt-hs18

hg pull -u

compile the planner

cd classical/hands-on-1/fast-downward ./build.py

work on the hands-on exercises

evaluate and modify the 15-puzzle model your own domain

Referenzen

ÄHNLICHE DOKUMENTE

intuition: the closer h is to true cost to goal, the more efficient the search using h.. Heuristics A ∗ Search

For this purpose, we will use propositional logic, which allows expressing information about 2 n states as logical formulas over n state variables... Reminder:

decision problem analogue of satisficing planning Definition (Bounded-Cost Plan Existence). The bounded-cost plan existence problem ( BCPlanEx ) is the following

Planning tasks in positive normal form without delete effects are called relaxed planning tasks. Plans for relaxed planning tasks are called

Delete relaxation is a simplification in the sense that it is never harder to solve a relaxed task than the original one. Delete-relaxed tasks have a

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

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

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)..