Range-Consistent Forbidden Regions of Allen’s Relations

  • Nicolas Beldiceanu
  • Mats Carlsson
  • Alban Derrien
  • Charles Prud’homme
  • Andreas Schutt
  • Peter J. Stuckey
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10335)

Abstract

For all 8192 combinations of Allen’s 13 relations between one task with origin \(o_i\) and fixed length \(\ell _i\) and another task with origin \(o_j\) and fixed length \(\ell _j\), this paper shows how to systematically derive a formula \(F(\underline{o_j}, \overline{o_j}, \ell _i, \ell _j)\), where \(\underline{o_j}\) and \(\overline{o_j}\) respectively denote the earliest and the latest origin of task j, evaluating to a set of integers which are infeasible for \(o_i\) for the given combination. Such forbidden regions allow maintaining range-consistency for an Allen constraint.

References

  1. 1.
    Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRefMATHGoogle Scholar
  2. 2.
    Beldiceanu, N., Carlsson, M., Derrien, A., Schutt, A., Stuckey, P.J.: Range-consistent forbidden regions of Allen’s relations. Technical report T2016-2, Swedish Institute of Computer Science (2016). http://soda.swedishict.se
  3. 3.
    Bessière, C.: Constraint propagation. In: Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, chap. I.3, pp. 29–83. Elsevier (2006)Google Scholar
  4. 4.
    Derrien, A., Fages, J.-G., Petit, T., Prud’homme, C.: A global constraint for a tractable class of temporal optimization problems. In: Pesant, G. (ed.) CP 2015. LNCS, vol. 9255, pp. 105–120. Springer, Cham (2015). doi:10.1007/978-3-319-23219-5_8 Google Scholar
  5. 5.
    Gennari, R., Mich, O.: E-Learning and deaf children: a logic-based web tool. In: Leung, H., Li, F., Lau, R., Li, Q. (eds.) ICWL 2007. LNCS, vol. 4823, pp. 312–319. Springer, Heidelberg (2008). doi:10.1007/978-3-540-78139-4_28 CrossRefGoogle Scholar
  6. 6.
    Gent, I.P., Jefferson, C., Linton, S., Miguel, I., Nightingale, P.: Generating custom propagators for arbitrary constraints. Artif. Intell. 211, 1–33 (2014)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Laurière, J.-L.: Constraint propagation or automatic programming. Technical report 19, IBP-Laforia (1996). In French. https://www.lri.fr/~sebag/Slides/Lauriere/Rabbit.pdf
  8. 8.
    Ligozat, G.: Towards a general characterization of conceptual neighborhoods in temporal and spatial reasoning. In: AAAI 1994 Workshop on Spatial and Temporal Reasoning (1994)Google Scholar
  9. 9.
    Monette, J.-N., Flener, P., Pearson, J.: Towards solver-independent propagators. In: Milano, M. (ed.) CP 2012. LNCS, pp. 544–560. Springer, Heidelberg (2012). doi:10.1007/978-3-642-33558-7_40 CrossRefGoogle Scholar
  10. 10.
    Roy, P., Perez, G., Régin, J.-C., Papadopoulos, A., Pachet, F., Marchini, M.: Enforcing structure on temporal sequences: the allen constraint. In: Rueher, M. (ed.) CP 2016. LNCS, vol. 9892, pp. 786–801. Springer, Cham (2016). doi:10.1007/978-3-319-44953-1_49 CrossRefGoogle Scholar
  11. 11.
    van Beek, P., Manchak, D.W.: The design and experimental analysis of algorithms for temporal reasoning. J. Artif. Intell. Res. (JAIR) 4, 1–18 (1996)MATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.TASC (LS2N-CNRS)IMT AtlantiqueNantesFrance
  2. 2.RISE SICSKistaSweden
  3. 3.Data61CSIROCanberraAustralia
  4. 4.University of MelbourneMelbourneAustralia
  5. 5.Lab-STICC UMR 6285 – CNRSUniversité de Bretagne-SudLorientFrance

Personalised recommendations