عنوان

An introduction to the planning domain definition language /

(Number (ISBN

1627057374

(Number (ISBN

9781627057370

Title Proper

An introduction to the planning domain definition language /

General Material Designation

[Book]

First Statement of Responsibility

Patrik Haslum, Nir Lipovetzky, Daniele Magazzeni, Christian Muise.

Place of Publication, Distribution, etc.

[California?] :

Name of Publisher, Distributor, etc.

Morgan & Claypool Publishers,

Date of Publication, Distribution, etc.

[2019]

Specific Material Designation and Extent of Item

1 online resource.

Series Title

Synthesis lectures on artificial intelligence and machine learning ;

Volume Designation

lecture #42

Text of Note

1. Introduction -- 1.1. What is AI planning? -- 1.2. Planning models -- 1.3. Examples -- 1.4. The origins of PDDL and the scope of this book -- 1.5. Planning systems and modelling tools

Text of Note

2. Discrete and deterministic planning -- 2.1. Domain and problem definition -- 2.2. Plans and plan validity -- 2.3. Notes on PDDL's syntax : the strips fragment -- 2.4. Advanced modelling examples -- 2.5. Expressiveness and complexity

Text of Note

3. More expressive classical planning -- 3.1. Conditional and quantified conditions and effects -- 3.2. Axioms -- 3.3. Preferences and plan quality -- 3.4. State trajectory constraints -- 3.5. Expressiveness and complexity

Text of Note

4. Numeric planning -- 4.1. Numeric planning in PDDL -- 4.2. Numeric plan validity -- 4.3. More modelling examples -- 4.4. Complexity of numeric planning

Text of Note

5. Temporal planning -- 5.1. Durative actions -- 5.2. Planning with predictable events -- 5.3. Temporal plan validity -- 5.4. Combining numeric and temporal planning

Text of Note

6. Planning with hybrid systems -- 6.1. Continuous processes -- 6.2. Exogenous events -- 6.3. Example : the generator -- 6.4. Example : multiple-battery management -- 6.5. Plan validation in hybrid domains

Text of Note

7. conclusion -- 7.1. Other planning PDDL-like languages -- 7.2. The future of PDDL -- A. Online PDDL resources.

0

8

8

8

8

8

8

Text of Note

Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the initial situation, the actions available to change it, and the goal condition to output a plan composed of those actions that will accomplish the goal when executed from the initial situation. The Planning Domain Definition Language (PDDL) is a formal knowledge representation language designed to express planning models. Developed by the planning research community as a means of facilitating systems comparison, it has become a de-facto standard input language of many planning systems, although it is not the only modelling language for planning. Several variants of PDDL have emerged that capture planning problems of different natures and complexities, with a focus on deterministic problems. The purpose of this book is two-fold. First, we present a unified and current account of PDDL, covering the subsets of PDDL that express discrete, numeric, temporal, and hybrid planning. Second, we want to introduce readers to the art of modelling planning problems in this language, through educational examples that demonstrate how PDDL is used to model realistic planning problems. The book is intended for advanced students and researchers in AI who want to dive into the mechanics of AI planning, as well as those who want to be able to use AI planning systems without an in-depth explanation of the algorithms and implementation techniques they use.

Artificial intelligence.

Computational complexity.

Artificial intelligence.

Computational complexity.

COMPUTERS / Computer Literacy.

COMPUTERS / Computer Science.

COMPUTERS / Data Processing.

COMPUTERS / Hardware / General.

COMPUTERS / Information Technology.

COMPUTERS / Machine Theory.

COMPUTERS / Reference.

COM-- 013000

COM-- 014000

COM-- 018000

COM-- 032000

COM-- 037000

COM-- 052000

COM-- 067000

Number

Number

Edition

Edition

Class number

Class number

Book number

Haslum, Patrik.

Lipovetzky, Nir.

Magazzeni, Daniele.

Muise, Christian.

Date of Transaction

20200823051206.0

Cataloguing Rules (Descriptive Conventions))

rda

Electronic name

[Book]

Y