Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents

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

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.