Cumulative effects of concurrent actions on numeric-valued fluents
Esra Erdem, Alfredo Gabaldon · 2005
We propose a situation calculus formalization of action do-mains that include numeric-valued fluents (so-called addi-tive or measure fluents) and concurrency. Our approach allows formalizing concurrent actions whose effects incre-ment/decrement the value of additive fluents. For describing indirect effects, we employ mathematical equations in a man-ner that is inspired by recent work on causality and structural equations.