View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Generating and Verifying Planning Sketches using Temporal Logic

        Thumbnail
        View/Open
        ThesisAnnelineDaggelinckx.pdf (808.1Kb)
        Publication date
        2023
        Author
        Daggelinckx, Anneline
        Metadata
        Show full item record
        Summary
        Sketches express the subgoal structure of a set of planning problems with a similar goal. A sketch consists of sketch rules that indicate how the environment has to change in a particular situation to reach the goal. Using sketches effectively speeds up the search for a solution to a planning problem. While a previous technique for learning sketches has been investigated, this thesis proposes a novel, modular approach to automatically find all `good' sketches with n rules and m features given a set of domain instances with similar goals. Our approach involves lazily generating a pool of potential sketches and verifying them using temporal logic constraints. We show that our method can find good sketches for eight domains, including those learned in previous research. Because our approach allows us to generate all good sketches with a certain number of rules, we can analyze patterns of equivalent sketches, which opens up a wide range of future work.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/44610
        Collections
        • Theses

        Related items

        Showing items related by title, author, creator and subject.

        • Sketching the Road to Digital Croquis Making: Thesis Sketch Map Tools for Geography Education 

          Brink, Matthias van den (2023)
          Sketch maps or croquis are a tool widely applied in geography research and education. In education, the main goals of using sketch maps are geographically structuring information and distinguishing between main and side ...
        • Molecular modelling for pre-academic chemistry education: Opinions of experts, teachers and students on an initial curriculum unit sketch 

          Sanders, G. (2013)
          In science education, students should come to understand the nature of models and modelling. Students often have trouble understanding advanced features of modelling. It is not a trivial task to design learning materials ...
        • Engaging young children in informal reasoning about the socio-scientific issue of climate change by means of ironic sketches 

          Heister, J.L.J. (2018)
          Humorous ironic television sketches can be an approach to make children think about the socioscientific issue of climate change. However it is not known whether children aged 8 to 12 can comprehend the irony in above ...
        Utrecht university logo