Expression: is not in NNF

[MFaisalZaki]

Describe the bug I'm using the NEGATIVE_CONDITIONS_REMOVING for the schedule domain, and it throws this exception when parsing this

Here is the code to reproduce the bug:

from unified_planning.io import PDDLReader
from unified_planning.shortcuts import Compiler, CompilationKind

domain  = 'domain.pddl'
problem = 'probschedule-2-0.pddl'

task = PDDLReader().parse_problem(domain, problem)
with Compiler(problem_kind = task.kind, 
    compilation_kind = CompilationKind.NEGATIVE_CONDITIONS_REMOVING) as neg_condition_remover:
    ncr_result = neg_condition_remover.compile(task, CompilationKind.NEGATIVE_CONDITIONS_REMOVING)

planning-task.zip

[alvalentini]

Thanks @MFaisalZaki for the bug report! I will have a look asap!

[alvalentini]

The problem here is that the negative conditions remover is not able to remove the negative condition that appears in the exception. At the moment the compiler is only able to remove negation of boolean fluents.

To fix the issue we should reduce the supported problem kind (easy solution) or extend the compiler to handle these kind of negative conditions (more complex).

[MFaisalZaki]

This makes sense. I would suggest keeping this issue open and when the fix is available we can close this issue. What do you think?

[alvalentini]

I agree, thanks.