Representing action domains with numeric-valued fluents

Authors:
Esra Erdem;Alfredo Gabaldon
Affiliations:
Institute of Information Systems, Vienna University of Technology, Vienna, Austria;National ICT, Australia
Venue:
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Year:
2006

Citing 11
Cited 1

A qualitative physics based on confluences

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Causality in device behavior

Artificial Intelligence
Ramification and causality

Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Causes and Explanations: A Structural-Model Approach: Part 1: Causes

UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Cumulative effects of concurrent actions on numeric-valued fluents

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Describing additive fluents in action language C+

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning with resources and concurrency a forward chaining approach

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A causal theory of ramifications and qualifications

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Embracing causality in specifying the indirect effects of actions

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints

Journal of Computer and System Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a general method to formalize action domains with numeric-valued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language $\cal C+$ and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in terms of some new causal structures, called contribution rules.