-
Notifications
You must be signed in to change notification settings - Fork 1
/
domain.pddl
73 lines (67 loc) · 1.69 KB
/
domain.pddl
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
(define (domain travel-domain)
(:requirements :fluents )
(:predicates
(user ?user)
(waypoint ?poi)
(visited ?user ?poi)
(user-at ?user ?poi)
)
(:functions
(score ?poi)
(total-score)
(current-time)
(end-time)
(duration ?poi)
(drive-time ?from-poi ?to-poi)
)
(:action visit-penalised
:parameters
(?user
?poi)
:precondition
(and
(user-at ?user ?poi)
( not (visited ?user ?poi) )
(>= (current-time) (end-time))
)
:effect
(and
(visited ?user ?poi)
( decrease (total-score) (score ?poi) )
( increase (current-time) (duration ?poi))
)
)
(:action visit
:parameters
(?user
?poi)
:precondition
(and
(user-at ?user ?poi)
( not (visited ?user ?poi) )
(< (current-time) (end-time))
)
:effect
(and
(visited ?user ?poi)
( increase (total-score) (score ?poi) )
( increase (current-time) (duration ?poi))
)
)
(:action drive
:parameters
(?user
?from-poi
?to-poi)
:precondition
(and
(user-at ?user ?from-poi)
)
:effect
(and
( user-at ?user ?to-poi)
( not (user-at ?user ?from-poi))
( increase (current-time) (drive-time ?from-poi ?to-poi) )
)
)
)