Created
November 8, 2016 12:45
-
-
Save noskill/f162354db7b3c6dc3dafd34898572d6d to your computer and use it in GitHub Desktop.
pddl softgoal problem
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (define (problem start-vms) | |
| (:domain cluster) | |
| (:objects | |
| vm1 - virtualdomain | |
| vm2 - virtualdomain | |
| libvirt - daemon | |
| node1 - node | |
| node2 - node | |
| sg0 - softgoalorder | |
| sg1 - softgoalorder | |
| sg2 - softgoalorder | |
| ) | |
| (:init | |
| (= (total-cost ) 0) | |
| (current-softgoal sg0 ) | |
| (next-softgoal sg0 sg1 ) | |
| (next-softgoal sg1 sg2 ) | |
| (normal-mode ) | |
| (stat vm2 stopped) | |
| (stat vm1 stopped) | |
| (= (started-softgoal-reward vm1 ) 40.0) | |
| (started-softgoal-order vm1 sg0 ) | |
| ) | |
| (:goal | |
| ( and | |
| (started-softgoal vm1 ) | |
| ) | |
| ) | |
| (:metric minimize | |
| (total-cost) | |
| ) | |
| ) | |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment