Unique Fluents and Events
Uniqueness
All ground (reified) fluents are unique, e.g.,
waterLevel(2) ≠ waterLevel(3)
,
waterLevel(2) ≠ filling
Fluents and events with distinct functors are not equal
Fluents and events with the same functor and distinct arguments are not equal
Inequality Axioms
Generate axioms for all fluent and event functors
∀
f
(
X
1
... X
n
)
≠
g
(
Y
1
... Y
m
)
∀
f
(
X
1
... X
n
)
=
f
(
Y
1
... Y
n
)
⇒
(
X
i
= Y
i
)
Relies on uniqueness of fluent and event argument values
