Simple Temporal Networks with Partially Shrinkable Uncertainty

Andreas Lanz, Roberto Posenato, Carlo Combi, Manfred Reichert

2015

Abstract

The Simple Temporal Network with Uncertainty (STNU) model focuses on the representation and evaluation of temporal constraints on time-point variables (timepoints), of which some (i.e., contingent timepoints) cannot be assigned (i.e., executed by the system), but only be observed. Moreover, a temporal constraint is expressed as an admissible range of delays between two timepoints. Regarding the STNU model, it is interesting to determine whether it is possible to execute all the timepoints under the control of the system, while still satisfying all given constraints, no matter when the contingent timepoints happen within the given time ranges (controllability check). Existing approaches assume that the original contingent time range cannot be modified during execution. In real world, however, the allowed time range may change within certain boundaries, but cannot be completely shrunk. To represent such possibility more properly, we propose Simple Temporal Network with Partially Shrinkable Uncertainty (STNPSU) as an extension of STNU. In particular, STNPSUs allow representing a contingent range in a way that can be shrunk during run time as long as shrinking does not go beyond a given threshold. We further show that STNPSUs allow representing STNUs as a special case, while maintaining the same efficiency for both controllability checks and execution.

References

  1. Dechter, R., Meiri, I., and Pearl, J. (1991). Temporal constraint networks. Artificial Intelligence, 49(1-3):61- 95.
  2. Hunsberger, L. (2009). Fixing the semantics for dynamic controllability and providing a more practical characterization of dynamic execution strategies. In Intl Symp. on Temporal Repres. and Reasoning (TIME'09), pages 155-162. IEEE CPS.
  3. Lanz, A., Posenato, R., Combi, C., and Reichert, M. (2013). Controllability of time-aware processes at run time. In On the Move to Meaningful Internet Systems: Proc. CoopsIS'13, pages 39-56. Springer.
  4. Lanz, A., Posenato, R., Combi, C., and Reichert, M. (2014). Simple temporal networks with partially shrinkable uncertainty (extended version). Technical Report UIB2014-05, Ulm University.
  5. Morris, P. (2006). A structural characterization of temporal dynamic controllability. In Benhamou, F., editor, Intl Conf on Principles and Practices of Constraint Programming (CP'06), pages 375-389. Springer.
  6. Morris, P. (2014). Dynamic controllability and dispatchability relationships. In Simonis, H., editor, Intl Conf on Integration of AI and OR Techniques in Constraint Programming (CPAIOR'14), volume 8451 of LNCS, pages 464-479. Springer.
  7. Morris, P. H. and Muscettola, N. (2005). Temporal dynamic controllability revisited. In Veloso, M. M. and Kambhampati, S., editors, National Conf on Artificial Intelligence (AAAI'05), pages 1193-1198. AAAI Press.
  8. Morris, P. H., Muscettola, N., and Vidal, T. (2001). Dynamic control of plans with temporal uncertainty. In Intl Joint Conf on Artificial Intelligence (IJCAI'01), pages 494-502. Morgan Kaufmann.
  9. Reichert, M. and Weber, B. (2012). Enabling Flexibility in Process-aware Information Systems: Challenges, Methods, Technologies. Springer.
Download


Paper Citation


in Harvard Style

Lanz A., Posenato R., Combi C. and Reichert M. (2015). Simple Temporal Networks with Partially Shrinkable Uncertainty . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 370-381. DOI: 10.5220/0005200903700381


in Bibtex Style

@conference{icaart15,
author={Andreas Lanz and Roberto Posenato and Carlo Combi and Manfred Reichert},
title={Simple Temporal Networks with Partially Shrinkable Uncertainty},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={370-381},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005200903700381},
isbn={978-989-758-074-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Simple Temporal Networks with Partially Shrinkable Uncertainty
SN - 978-989-758-074-1
AU - Lanz A.
AU - Posenato R.
AU - Combi C.
AU - Reichert M.
PY - 2015
SP - 370
EP - 381
DO - 10.5220/0005200903700381