Additive Fluents

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.

• Type: Conference
• Year: 2001
• Where: ASP
• Authors: Joohyung Lee, Vladimir Lifschitz
• Keywords: Additive Fluents, ASP 2001, Automated Reasoning, Measure Fluents, Numeric-valued Fluents