License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2017.3
URN: urn:nbn:de:0030-drops-79343
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/7934/
Go to the corresponding LIPIcs Volume Portal

McIlraith, Sheila A.

Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk)

pdf-format:
LIPIcs-TIME-2017-3.pdf (0.2 MB)

Abstract

The proliferation of programmable devices, personal assistants, and autonomous systems presents fundamental challenges to the deployment of safe, predictable systems that can work together, interact seamlessly with humans, and that are taskable and instructable by people who may not know how to program. In this talk, we will revisit the classical problem of program synthesis through the lens of AI automated planning. We will present recent advances in AI automated planning principles and computational methods that support the synthesis of plans with goals and preferences specified in Linear Temporal Logic and Regular Expressions. Moving from automated planning in deterministic domains to planning in nondeterministic domains, we will explore the pathway to synthesizing programs that are taskable and instructable by exploiting state-of-the-art AI planning technology.

BibTeX - Entry

@InProceedings{mcilraith:LIPIcs:2017:7934,
  author =	{Sheila A. McIlraith},
  title =	{{Plan and Program Synthesis: A New Look at Some Old Problems (Invited Talk)}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{3:1--3:1},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Sven Schewe and Thomas Schneider and Jef Wijsen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7934},
  URN =		{urn:nbn:de:0030-drops-79343},
  doi =		{10.4230/LIPIcs.TIME.2017.3},
  annote =	{Keywords: planning, program synthesis, linear temporal logic, regular expressions}
}

Keywords: planning, program synthesis, linear temporal logic, regular expressions
Collection: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Issue Date: 2017
Date of publication: 25.09.2017

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI