Cumulative Effects of Concurrent Actions on Numeric-Valued 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.
منابع مشابه
Representing Action Domains with Numeric-Valued Fluents
We present a general method to formalize action domains with numericvalued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language 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...
متن کاملCausal Laws and Multi-Valued Fluents
This paper continues the line of work on representing properties of actions in nonmonotonic formalisms that stresses the distinction between being true and being caused, as in the system of causal logic introduced by McCain and Turner and in the action language C proposed by Giunchiglia and Lifschitz. The only fluents directly representable in language C are truth-valued fluents, which is often...
متن کاملDescribing Additive Fluents in Action Language
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 C+. An implementation of this language, called the Causal Calculator, can be used for the automation of examp...
متن کاملA Hybrid LP-RPG Heuristic for Modelling Numeric Resource Flows in Planning
Although the use of metric fluents is fundamental to many practical planning problems, the study of heuristics to support fully automated planners working with these fluents remains relatively unexplored. The most widely used heuristic is the relaxation of metric fluents into interval-valued variables — an idea first proposed a decade ago. Other heuristics depend on domain encodings that supply...
متن کاملCausal Link Semantics for Narrative Planning Using Numeric Fluents
Narrative planners would be able to represent richer, more realistic story domains if they could use numeric variables for certain properties of objects, such as money, age, temperature, etc. Modern state-space narrative planners make use of causal links—structures that represent causal dependencies between actions—but there is no established model of a causal link that applies to actions with ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005