Conditional Effects in Numeric Planning Reloaded

Automated planning, a core area of artificial intelligence, aims to generate action sequences that achieve specified goals based on a formal model. In classical planning, where only Boolean state variables are allowed, conditional effects are the standard approach for modelling actions with state-dependent outcomes. However, unlike in the classical setting, relatively little research has focused on developing planning methods for numeric problems with conditional effects. To address this gap in the literature, this work studies numeric planning with conditional effects. We formalise its semantics and revise existing classical planning compilations for conditional effects to account for the specific features of numeric planning. This results in three encodings: two are designed for the full class of numeric planning problems, while the third is specific to tasks with conditional effects that increase or decrease variables by a constant, transforming such problems into instances of Simple Numeric Planning, a well-known and practically significant subclass of numeric tasks. The experimental evaluation compares these compilations across both newly designed and compelling benchmarks as well as existing domains featuring conditional effects. Our empirical findings reveal complementary behaviour among the approaches, highlighting the practical impact of selecting the appropriate compilation for different problem structures.