Communication and concurrency
A new deductive approach to planning
New Generation Computing
Handbook of logic in computer science (vol. 2)
Some contributions to the metatheory of the situation calculus
Journal of the ACM (JACM)
The Minimal Coverability Graph for Petri Nets
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
On the Decidability of Model Checking for Several µ-calculi and Petri Nets
CAAP '94 Proceedings of the 19th International Colloquium on Trees in Algebra and Programming
Automata theory for reasoning about actions
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
WSSL: a fluent calculus-based language for web service specifications
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
We investigate a small fragment, FCPL, of the fluent calculus. FCPL can be derived from the fluent calculus by allowing a domain description to contain a finite number of actions and fluents, only. Consequently, it is just powerful enough for specifying certain resource sensitive actions. In this paper, we contribute to the research about the fluent calculus (1) by proving that even in this small fragment the entailment problem for a fairly restricted class of formulas is undecidable. (2) We show decidability of a class of formulas which has interesting applications in resource planning. We achieve our results by establishing a tight correspondence between models of FCPL-theories and Petri nets. Then, many problems concerning FCPL-theories can be reduced to problems of the well developed Petri net theory. As a consequence of the correspondence on the structural level, we also expect strong relationships between more general fluent calculus fragments and more general net classes, e.g. coloured Petri nets or predicate transition systems.