Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents

Abstract

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.

Cite

Text

Erdem and Gabaldon. "Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents." AAAI Conference on Artificial Intelligence, 2005.

Markdown

[Erdem and Gabaldon. "Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents." AAAI Conference on Artificial Intelligence, 2005.](https://mlanthology.org/aaai/2005/erdem2005aaai-cumulative/)

BibTeX

@inproceedings{erdem2005aaai-cumulative,
  title     = {{Cumulative Effects of Concurrent Actions on Numeric-Valued Fluents}},
  author    = {Erdem, Esra and Gabaldon, Alfredo},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {627-632},
  url       = {https://mlanthology.org/aaai/2005/erdem2005aaai-cumulative/}
}