Esra Erdem, Alfredo Gabaldon
We propose a situation calculus formalization of action domains that include numeric-valued fluents (so-called additive or measure fluents) and concurrency. Our approach allows formalizing concurrent actions whose effects increment/decrement the value of additive fluents. For describing indirect effects, we employ mathematical equations in a manner that is inspired by recent work on causality and structural equations.
Content Area: 10. Knowledge Representation & Reasoning
Subjects: 5. Common Sense Reasoning; 11. Knowledge Representation
Submitted: May 10, 2005