KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Planning Domain Model Acquisition from State Traces without Action Parameters

  1. Tomáš Balyo(Filuta AI)
  2. Martin Suda(Filuta AI, Czech Technical University, Prague, Czechia)
  3. Lukáš Chrpa(Filuta AI, Czech Technical University, Prague, Czechia)
  4. Dominik Šafránek(Filuta AI, Institute for Basic Science, Daejeon, Korea)
  5. Stephan Gocht(Filuta AI)
  6. Filip Dvořák(Filuta AI)
  7. Roman Barták(Filuta AI, Charles University, Prague, Czechia)
  8. G. Michael Youngblood(Filuta AI)

Keywords

  1. Planning and ML-General

Abstract

Existing planning action domain model acquisition approaches consider different types of state traces from which they learn. The differences in state traces refer to the level of observability of state changes (from full to none) and whether the observations have some noise (the state changes might be inaccurately logged). However, to the best of our knowledge, all the existing approaches consider state traces in which each state change corresponds to an action specified by its name and all its parameters (all objects that are relevant to the action). Furthermore, the names and types of all the parameters of the actions to be learned are given. These assumptions are too strong.

In this paper, we propose a method that learns action schema from state traces with fully observable state changes but without the parameters of actions responsible for the state changes (only action names are part of the state traces). Although we can easily deduce the number (and names) of the actions that will be in the learned domain model, we still need to deduce the number and types of the parameters of each action alongside its precondition and effects. We show that this task is at least as hard as graph isomorphism. However, our experimental evaluation on a large collection of IPC benchmarks shows that our approach is still practical as the number of required parameters is usually small.

Compared to the state-of-the-art learning tools SAM and Extended SAM our new algorithm can provide better results in terms of learning action models more similar to reference models, even though it uses less information and has fewer restrictions on the input traces.