This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/tests/data/normalization/normalization-4.pddl

81 lines
1.5 KiB
Plaintext
Raw Permalink Normal View History

; tests that negations are correctly normalized
(define (domain test-normalization)
(:predicates
(test-predicate-0)
(test-predicate-1 ?x)
(test-predicate-2 ?x ?y))
; multiple negations
(:action test-action-1
:parameters
(?x)
:precondition
(not (not (not (not (not (not (test-predicate-1 ?x)))))))
:effect
(test-predicate-1 ?x))
; multiple negations
(:action test-action-2
:parameters
(?x)
:precondition
(not (not (not (not (not (test-predicate-1 ?x))))))
:effect
(test-predicate-1 ?x))
; negated “exists” statement
(:action test-action-3
:parameters
(?x)
:precondition
(not (exists
(?x ?y)
(not (not (test-predicate-2 ?x ?y)))))
:effect
(test-predicate-1 ?x))
; negated “forall” statement
(:action test-action-4
:parameters
(?x)
:precondition
(not (forall
(?x ?y)
(not (not (not (test-predicate-2 ?x ?y))))))
:effect
(test-predicate-1 ?x))
; negations introduced by reduction
(:action test-action-5
:parameters
(?x)
:precondition
(imply
(not (test-predicate-0))
(test-predicate-1 ?x))
:effect
(test-predicate-1 ?x))
; negated disjunction
(:action test-action-6
:parameters
(?x)
:precondition
(not (imply
(test-predicate-0)
(not (test-predicate-1 ?x))))
:effect
(test-predicate-1 ?x))
; negated conjunction
(:action test-action-7
:parameters
(?x)
:precondition
(not (and
(not (test-predicate-0))
(not (test-predicate-1 ?x))))
:effect
(test-predicate-1 ?x))
)