Zum Hauptinhalt springen
Dekorationsartikel gehören nicht zum Leistungsumfang.
An Introduction to the Planning Domain Definition Language
Taschenbuch von Patrik Haslum (u. a.)
Sprache: Englisch

58,30 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:
Beschreibung
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.
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.
Über den Autor
Patrik Haslum received his Ph.D. in computer science from Linkoping University in 2006, and he is currently at the Australian National University in Canberra. His main area of research is AI planning, with a focus on problem modelling and bridging planning and optimisation.
Nir Lipovetzky is a Lecturer at the School of Computing andInformation Systems at The University of Melbourne. He received his Ph.D. in Computer Science from Universitat Pompeu Fabra, Barcelona. His main research area is Automated Planning, Search, Optimization, and Operations Research. He received the International Conference on Automated Planning and Scheduling (ICAPS) best dissertation award in 2013 for his work under the supervision of Prof. Hector Geffner, the ICAPS best paper award in 2015, and the winner and runner-up awards in two tracks of the International Planning Competition (IPC) in 2018. He served as program chair for ICAPS 2019.
Daniele Magazzeni is an Associate Professor at King's College London. He received his Ph.D. in Computer Science from University of L'Aquila in 2009. His research interests are in safe, trusted, and explainable AI, with a particular focus on AI planning for robotics and autonomous systems, and human-AI teaming. He is the President-Elect of the Executive Council of the International Conference on Automated Planning and Scheduling (ICAPS).
Christian Muise is a Research Scientist at the MIT-IBM Watson AI Lab, where he researches data-driven techniques for inducing behavioural insight and leads a project devising next generation dialogue agents. Prior to this, he was a Research Fellow with the MERS group at MIT's Computer Science and Artificial Intelligence Laboratory studying decision making under uncertainty, and prior to his time at MIT, Christian was a postdoctoral fellow at the University of Melbourne's Agent lab studying techniques for multi-agent planning and human-agent collaboration. Christian completed his Ph.D. at the University of Toronto with the Knowledge Representation and Reasoning Group in the area of Automated Planning. He is the core developer and active maintainer of the Planning.Domains initiative and has a history of promoting modeling techniques for automated planning.
Inhaltsverzeichnis
Praise for An Introduction to the Planning Domain Definition Language.- Preface.- Introduction.- Discrete and Deterministic Planning.- More Expressive Classical Planning.- Numeric Planning.- Temporal Planning.- Planning with Hybrid Systems.- Conclusion.- Bibliography.- Authors' Biographies.- Index .
Details
Erscheinungsjahr: 2019
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Synthesis Lectures on Artificial Intelligence and Machine Learning
Inhalt: xvii
169 S.
ISBN-13: 9783031004568
ISBN-10: 3031004566
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Haslum, Patrik
Muise, Christian
Magazzeni, Daniele
Lipovetzky, Nir
Hersteller: Springer International Publishing
Springer International Publishing AG
Synthesis Lectures on Artificial Intelligence and Machine Learning
Maße: 235 x 191 x 11 mm
Von/Mit: Patrik Haslum (u. a.)
Erscheinungsdatum: 02.04.2019
Gewicht: 0,363 kg
Artikel-ID: 121974953
Über den Autor
Patrik Haslum received his Ph.D. in computer science from Linkoping University in 2006, and he is currently at the Australian National University in Canberra. His main area of research is AI planning, with a focus on problem modelling and bridging planning and optimisation.
Nir Lipovetzky is a Lecturer at the School of Computing andInformation Systems at The University of Melbourne. He received his Ph.D. in Computer Science from Universitat Pompeu Fabra, Barcelona. His main research area is Automated Planning, Search, Optimization, and Operations Research. He received the International Conference on Automated Planning and Scheduling (ICAPS) best dissertation award in 2013 for his work under the supervision of Prof. Hector Geffner, the ICAPS best paper award in 2015, and the winner and runner-up awards in two tracks of the International Planning Competition (IPC) in 2018. He served as program chair for ICAPS 2019.
Daniele Magazzeni is an Associate Professor at King's College London. He received his Ph.D. in Computer Science from University of L'Aquila in 2009. His research interests are in safe, trusted, and explainable AI, with a particular focus on AI planning for robotics and autonomous systems, and human-AI teaming. He is the President-Elect of the Executive Council of the International Conference on Automated Planning and Scheduling (ICAPS).
Christian Muise is a Research Scientist at the MIT-IBM Watson AI Lab, where he researches data-driven techniques for inducing behavioural insight and leads a project devising next generation dialogue agents. Prior to this, he was a Research Fellow with the MERS group at MIT's Computer Science and Artificial Intelligence Laboratory studying decision making under uncertainty, and prior to his time at MIT, Christian was a postdoctoral fellow at the University of Melbourne's Agent lab studying techniques for multi-agent planning and human-agent collaboration. Christian completed his Ph.D. at the University of Toronto with the Knowledge Representation and Reasoning Group in the area of Automated Planning. He is the core developer and active maintainer of the Planning.Domains initiative and has a history of promoting modeling techniques for automated planning.
Inhaltsverzeichnis
Praise for An Introduction to the Planning Domain Definition Language.- Preface.- Introduction.- Discrete and Deterministic Planning.- More Expressive Classical Planning.- Numeric Planning.- Temporal Planning.- Planning with Hybrid Systems.- Conclusion.- Bibliography.- Authors' Biographies.- Index .
Details
Erscheinungsjahr: 2019
Genre: Informatik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Synthesis Lectures on Artificial Intelligence and Machine Learning
Inhalt: xvii
169 S.
ISBN-13: 9783031004568
ISBN-10: 3031004566
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Haslum, Patrik
Muise, Christian
Magazzeni, Daniele
Lipovetzky, Nir
Hersteller: Springer International Publishing
Springer International Publishing AG
Synthesis Lectures on Artificial Intelligence and Machine Learning
Maße: 235 x 191 x 11 mm
Von/Mit: Patrik Haslum (u. a.)
Erscheinungsdatum: 02.04.2019
Gewicht: 0,363 kg
Artikel-ID: 121974953
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte