PDDL2XML/SatelliteProblem.pddl at master · lsylusiyao/PDDL2XML · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
(define (problem strips-sat-x-1)
(:domain satellite)
(:objects
	satellite0 - satellite
	instrument0 - instrument
	instrument1 - instrument
	instrument2 - instrument
	satellite1 - satellite
	instrument3 - instrument
	image1 - mode
	infrared0 - mode
	spectrograph2 - mode
	Star0 - direction
	Star1 - direction
	Star2 - direction
	Star3 - direction
	Star4 - direction
	Phenomenon5 - direction
	Phenomenon6 - direction
	;;Phenomenon7 - direction
)
(:init
	(supports instrument0 spectrograph2)
	(supports instrument0 infrared0)
	(calibration_target instrument0 Star1)
	(= (calibration_time instrument0 Star1) 37.3)

	(supports instrument1 image1)
	(calibration_target instrument1 Star2)
	(= (calibration_time instrument1 Star2) 15.9)

	(supports instrument2 infrared0)
	(supports instrument2 image1)
	(calibration_target instrument2 Star0)
	(= (calibration_time instrument2 Star0) 38.1)

	;;(supports instrument3 spectrograph2)
	;;(supports instrument3 infrared0)
	;;(supports instrument3 image1)
	;;(calibration_target instrument3 Star0)
	;;(= (calibration_time instrument3 Star0) 16.9)

	(on_board instrument0 satellite0)
	(on_board instrument1 satellite0)
	(on_board instrument2 satellite0)

	(power_avail satellite0)
	;;(power_on instrument0);;No.1
	(pointing satellite0 Star4)

	;;(on_board instrument3 satellite1)
	;;(power_avail satellite1)
	;;(pointing satellite1 Star0)

	;;(power_on instrument0)
	;;(calibrated instrument0)
	;;(pointing satellite0 Star0)


	(= (slew_time Star1 Star0) 34.35)
	(= (slew_time Star0 Star1) 34.35)
	(= (slew_time Star2 Star0) 8.768)
	(= (slew_time Star0 Star2) 8.768)
	(= (slew_time Star2 Star1) 18.57)
	(= (slew_time Star1 Star2) 18.57)
	(= (slew_time Star3 Star0) 25.66)
	(= (slew_time Star0 Star3) 25.66)
	(= (slew_time Star3 Star1) 25.96)
	(= (slew_time Star1 Star3) 25.96)
	(= (slew_time Star3 Star2) 17.99)
	(= (slew_time Star2 Star3) 17.99)
	(= (slew_time Star4 Star0) 71.99)
	(= (slew_time Star0 Star4) 71.99)
	(= (slew_time Star4 Star1) 1.526)
	(= (slew_time Star1 Star4) 1.526)
	(= (slew_time Star4 Star2) 35.34)
	(= (slew_time Star2 Star4) 35.34)
	(= (slew_time Star4 Star3) 49.61)
	(= (slew_time Star3 Star4) 49.61)
	(= (slew_time Phenomenon5 Star0) 67.92)
	(= (slew_time Star0 Phenomenon5) 67.92)
	(= (slew_time Phenomenon5 Star1) 4.095)
	(= (slew_time Star1 Phenomenon5) 4.095)
	(= (slew_time Phenomenon5 Star2) 30.24)
	(= (slew_time Star2 Phenomenon5) 30.24)
	(= (slew_time Phenomenon5 Star3) 7.589)
	(= (slew_time Star3 Phenomenon5) 7.589)
	(= (slew_time Phenomenon5 Star4) 0.5297)
	(= (slew_time Star4 Phenomenon5) 0.5297)
	(= (slew_time Phenomenon6 Star0) 77.1)
	(= (slew_time Star0 Phenomenon6) 77.1)
	(= (slew_time Phenomenon6 Star1) 47.3)
	(= (slew_time Star1 Phenomenon6) 47.3)
	(= (slew_time Phenomenon6 Star2) 64.11)
	(= (slew_time Star2 Phenomenon6) 64.11)
	(= (slew_time Phenomenon6 Star3) 51.56)
	(= (slew_time Star3 Phenomenon6) 51.56)
	(= (slew_time Phenomenon6 Star4) 56.36)
	(= (slew_time Star4 Phenomenon6) 56.36)
	(= (slew_time Phenomenon6 Phenomenon5) 67.57)
	(= (slew_time Phenomenon5 Phenomenon6) 67.57)
	;;(= (slew_time Phenomenon7 Star0) 9.943)
	;;(= (slew_time Star0 Phenomenon7) 9.943)
	;;(= (slew_time Phenomenon7 Star1) 13.3)
	;;(= (slew_time Star1 Phenomenon7) 13.3)
	;;(= (slew_time Phenomenon7 Star2) 60.53)
	;;(= (slew_time Star2 Phenomenon7) 60.53)
	;;(= (slew_time Phenomenon7 Star3) 53.93)
	;;(= (slew_time Star3 Phenomenon7) 53.93)
	;;(= (slew_time Phenomenon7 Star4) 67.87)
	;;(= (slew_time Star4 Phenomenon7) 67.87)
	;;(= (slew_time Phenomenon7 Phenomenon5) 43.97)
	;;(= (slew_time Phenomenon5 Phenomenon7) 43.97)
	;;(= (slew_time Phenomenon7 Phenomenon6) 32.34)
	;;(= (slew_time Phenomenon6 Phenomenon7) 32.34)
)
(:goal (and
	(pointing satellite0 Phenomenon5)
	(have_image Star3 infrared0)
	(have_image Star4 spectrograph2)
	(have_image Phenomenon5 image1)
	(have_image Phenomenon6 spectrograph2)
))
(:metric minimize (total-time))
)