forming more complex states and events by combining primitive ones. fluent calculus reifies combinations of fluents, not just individual fluents.
Fluent Calculus - Syntax
2 events (𝑒1 and 𝑒2) happening at same time are represented in the following ways:
- 𝑒1 ◦ 𝑒2
- 𝐵𝑜𝑡ℎ(𝑒1, 𝑒2)
for example, to say someone walked and chewed gum at the same time:
- ∃𝑝,𝑖 [𝑝 ∈ People] ʌ [𝑖 ∈ Time] ʌ [
Walk(𝑝) ◦ChewGum(𝑝)]
the ◦ function is commutative and associative