An introduction to the planning domain definition language:
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Published: |
[San Rafael, CA]
Morgan & Claypool
[2019]
|
| Series: | Synthesis lectures on artificial intelligence and machine learning
#42 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XVII, 169 Seiten Illustrationen, Diagramme (teilweise farbig) |
| ISBN: | 9781681735122 9781627058759 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV045561631 | ||
| 003 | DE-604 | ||
| 005 | 20211109 | ||
| 007 | t | ||
| 008 | 190416s2019 a||| |||| 00||| eng d | ||
| 020 | |a 9781681735122 |c hardcover |9 978-1-68173-512-2 | ||
| 020 | |a 9781627058759 |c pbk |9 978-1-62705-875-9 | ||
| 035 | |a (OCoLC)1101921903 | ||
| 035 | |a (DE-599)BVBBV045561631 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-473 |a DE-11 |a DE-706 |a DE-Aug4 | ||
| 084 | |a ST 300 |0 (DE-625)143650: |2 rvk | ||
| 245 | 1 | 0 | |a An introduction to the planning domain definition language |c Patrik Haslum, Australian National University; Nir Lipovetzky, University of Melbourne; Daniele Magazzeni, Kings' College London; Christian Muise, IBM Research |
| 264 | 1 | |a [San Rafael, CA] |b Morgan & Claypool |c [2019] | |
| 264 | 4 | |c © 2019 | |
| 300 | |a XVII, 169 Seiten |b Illustrationen, Diagramme (teilweise farbig) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Synthesis lectures on artificial intelligence and machine learning |v #42 | |
| 650 | 0 | 7 | |a Planung |0 (DE-588)4046235-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Planung |0 (DE-588)4046235-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Haslum, Patrick |e Sonstige |0 (DE-588)1186273771 |4 oth | |
| 700 | 1 | |a Lipovetzky, Nir |e Sonstige |0 (DE-588)1245406175 |4 oth | |
| 700 | 1 | |a Magazzeni, Daniele |e Sonstige |0 (DE-588)1245406752 |4 oth | |
| 700 | 1 | |a Muise, Delphin A. |d 1941- |e Sonstige |0 (DE-588)12498441X |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Onlineausgabe |z 978-1-62705-737-0 |
| 830 | 0 | |a Synthesis lectures on artificial intelligence and machine learning |v #42 |w (DE-604)BV035750800 |9 42 | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030945399&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030945399 | ||
Record in the Search Index
| _version_ | 1804179544836407296 |
|---|---|
| adam_text | xiii Contents Praise for An Introduction to the Planning Domain Definition Language............ iii Preface................................................................................ 1 Introduction.................................................................................... .................... 1.1 1.2 1.3 1.4 1.5 2 xvii 1 What is AI Planning? .................................................... 1 Planning Models......................................... 3 Examples ..................................................................................................................3 1.3.1 The Knight’s Tour..................................... 3 1.3.2 Logistics ....................................................................................................... 5 1.3.3 Plans asExplanations....................... 5 1.3.4 Plan-Based Control....................................... 6 1.3.5 Planning in Robotics.....................................................................................6 1.3.6 Narrative Planning.................................................................................... .7 The Origins of PDDL and the Scope of This Book.................................... 8 1.4.1 Other Planning Languages...................... 9 1.4.2 Relation to Non-Planning Formalisms and Other Fields.....................10 Planning Systems and Modelling Tools ............. 11 Discrete and Deterministic Planning.....................................................................13 2.1 2.2 2.3 2.4 2.5 Domain and Problem Definition........................... 14 2.1.1 PDDL:
First Example ............................... 14 2.1.2 Example: Modelling the Knight’s Tour....................................................17 2.1.3 Example: Logistics................................................... 24 Plans and Plan Validity............................................. 34 2.2.1 Sequential Plans............................................. 35 2.2.2 Non-Sequential Plans................................... 40 Notes on PDDL’s Syntax: The STRIPS Fragment............................................. 42 Advanced Modelling Examples............................................................................ 44 2.4.1 Sorting by Reversals...................... 44 2.4.2 Deadlock Detection............................... 48 Expressiveness and Complexity................................................................. 53
XIV 2.5.1 2.5.2 2.5.3 2.5.4 2.5.5 2.5.6 3 4 More Expressive Classical Planning......................................................................63 3.1 Conditional and Quantified Conditions and Effects.............. ...................... 63 3.1.1 Basic Elevator Model........................................ ................................. 63 3.1.2 Conditional Effects.............................................................................. 66 3.1.3 Universally Quantified Effects............................ ............................... 68 3.1.4 Disjunctive and Existentially Quantified Preconditions.......................69 3.1.5 Universally Quantified Preconditionsand Goals .................................70 3.2 3.3 3.4 3.5 Axioms.............................................................................................................. 71 Preferences and Plan Quality............................................................................74 State Trajectory Constraints .................. .......................... ............................. 77 Expressiveness and Complexity........................................................................79 Numeric Planning................................................. ...................................................83 4.1 4.2 4.3 4.4 5 6 Plan Validation.............................................. ...................................... 54 Bounds on Plan Length: Ground STRIPS.........................................54 Computational Complexity of Ground STRIPS Planning.................55 Computational
Complexity of Parameterised STRIPS Planning....... 55 Reversal and Complement................................................................... 58 Practical Considerations............................................ ...........................59 Numeric Planning in PDDL........................................................................... 83 Numeric Plan Validity...................................................................................... 91 More Modelling Examples........................................... ...................................94 Complexity of Numeric Planning......................................................................98 4.4.1 Some Undecidable Cases...................................... 98 4.4.2 Some Decidable Cases................ 100 4.4.3 Numeric Planning and Other Extensions.............. 100 Temporal Planning..................................................................................... 103 5.1 5.2 Durative Actions ......................................................... 104 Planning with Predictable Events.................................................................... 112 5.3 5.4 Temporal Plan Validity..................................................... Combining Numeric and Temporal Planning.................................... 114 119 Planning with Hybrid Systems................................................................................123 6.1 6.2 Continuous Processes................................... Exogenous Events ........................ 123 125
XV 6.3 6.4 6.5 7 Conclusion...............................................................................................................139 7.1 7.2 A Example: The Generator..................................................................................... 127 Example: Multiple-Battery Management.......................................................... 129 6.4.1 Kinetic Battery Model ............................................................ 129 6.4.2 PDDL+ Model for theKinetic Battery................................................... 131 Plan Validation in Hybrid Domains.................................................................. 134 6.5.1 Modelling Assumptionin PDDL+ ......................................................... 137 Other Planning PDDL-Like Languages.......................................................... 139 The Future of PDDL........................................................................................... 144 Online PDDL Resources........................................................................................ 149 Bibliography............................................................. .151 Authors’ Biographies............................................................................................. 165 Index.............................. 167
|
| any_adam_object | 1 |
| author_GND | (DE-588)1186273771 (DE-588)1245406175 (DE-588)1245406752 (DE-588)12498441X |
| building | Verbundindex |
| bvnumber | BV045561631 |
| classification_rvk | ST 300 |
| ctrlnum | (OCoLC)1101921903 (DE-599)BVBBV045561631 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02137nam a2200433 cb4500</leader><controlfield tag="001">BV045561631</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211109 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">190416s2019 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781681735122</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-1-68173-512-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781627058759</subfield><subfield code="c">pbk</subfield><subfield code="9">978-1-62705-875-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1101921903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045561631</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 300</subfield><subfield code="0">(DE-625)143650:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">An introduction to the planning domain definition language</subfield><subfield code="c">Patrik Haslum, Australian National University; Nir Lipovetzky, University of Melbourne; Daniele Magazzeni, Kings' College London; Christian Muise, IBM Research</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[San Rafael, CA]</subfield><subfield code="b">Morgan & Claypool</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 169 Seiten</subfield><subfield code="b">Illustrationen, Diagramme (teilweise farbig)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthesis lectures on artificial intelligence and machine learning</subfield><subfield code="v">#42</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Planung</subfield><subfield code="0">(DE-588)4046235-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Planung</subfield><subfield code="0">(DE-588)4046235-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haslum, Patrick</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1186273771</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lipovetzky, Nir</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1245406175</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Magazzeni, Daniele</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1245406752</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Muise, Delphin A.</subfield><subfield code="d">1941-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)12498441X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Onlineausgabe</subfield><subfield code="z">978-1-62705-737-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthesis lectures on artificial intelligence and machine learning</subfield><subfield code="v">#42</subfield><subfield code="w">(DE-604)BV035750800</subfield><subfield code="9">42</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030945399&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030945399</subfield></datafield></record></collection> |
| id | DE-604.BV045561631 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:21:34Z |
| institution | BVB |
| isbn | 9781681735122 9781627058759 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030945399 |
| oclc_num | 1101921903 |
| open_access_boolean | |
| owner | DE-473 DE-BY-UBG DE-11 DE-706 DE-Aug4 |
| owner_facet | DE-473 DE-BY-UBG DE-11 DE-706 DE-Aug4 |
| physical | XVII, 169 Seiten Illustrationen, Diagramme (teilweise farbig) |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Morgan & Claypool |
| record_format | marc |
| series | Synthesis lectures on artificial intelligence and machine learning |
| series2 | Synthesis lectures on artificial intelligence and machine learning |
| spelling | An introduction to the planning domain definition language Patrik Haslum, Australian National University; Nir Lipovetzky, University of Melbourne; Daniele Magazzeni, Kings' College London; Christian Muise, IBM Research [San Rafael, CA] Morgan & Claypool [2019] © 2019 XVII, 169 Seiten Illustrationen, Diagramme (teilweise farbig) txt rdacontent n rdamedia nc rdacarrier Synthesis lectures on artificial intelligence and machine learning #42 Planung (DE-588)4046235-3 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 s Planung (DE-588)4046235-3 s DE-604 Haslum, Patrick Sonstige (DE-588)1186273771 oth Lipovetzky, Nir Sonstige (DE-588)1245406175 oth Magazzeni, Daniele Sonstige (DE-588)1245406752 oth Muise, Delphin A. 1941- Sonstige (DE-588)12498441X oth Erscheint auch als Onlineausgabe 978-1-62705-737-0 Synthesis lectures on artificial intelligence and machine learning #42 (DE-604)BV035750800 42 Digitalisierung UB Bamberg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030945399&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | An introduction to the planning domain definition language Synthesis lectures on artificial intelligence and machine learning Planung (DE-588)4046235-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| subject_GND | (DE-588)4046235-3 (DE-588)4033447-8 |
| title | An introduction to the planning domain definition language |
| title_auth | An introduction to the planning domain definition language |
| title_exact_search | An introduction to the planning domain definition language |
| title_full | An introduction to the planning domain definition language Patrik Haslum, Australian National University; Nir Lipovetzky, University of Melbourne; Daniele Magazzeni, Kings' College London; Christian Muise, IBM Research |
| title_fullStr | An introduction to the planning domain definition language Patrik Haslum, Australian National University; Nir Lipovetzky, University of Melbourne; Daniele Magazzeni, Kings' College London; Christian Muise, IBM Research |
| title_full_unstemmed | An introduction to the planning domain definition language Patrik Haslum, Australian National University; Nir Lipovetzky, University of Melbourne; Daniele Magazzeni, Kings' College London; Christian Muise, IBM Research |
| title_short | An introduction to the planning domain definition language |
| title_sort | an introduction to the planning domain definition language |
| topic | Planung (DE-588)4046235-3 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd |
| topic_facet | Planung Künstliche Intelligenz |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030945399&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV035750800 |
| work_keys_str_mv | AT haslumpatrick anintroductiontotheplanningdomaindefinitionlanguage AT lipovetzkynir anintroductiontotheplanningdomaindefinitionlanguage AT magazzenidaniele anintroductiontotheplanningdomaindefinitionlanguage AT muisedelphina anintroductiontotheplanningdomaindefinitionlanguage |