Describing Additive Fluents in Action Language C+

An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual actions. We propose a method for describing effects of actions on additive fluents in the declarative language An implementation of this language, called the Causal Calculator, can be used for the automation of examples of commonsense reasoning involving additive fluents.

• Type: Conference
• Year: 2003
• Where: IJCAI
• Authors: Joohyung Lee, Vladimir Lifschitz
• Keywords: Additive Fluents, IJCAI 2003, IJCAI 2007, Individual Actions, Language An Implementation