Skip to main content
SpringerLink
Log in

Integrating Logic and Constraint Reasoning in a Timeline-Based Planner

  • Conference paper
  • First Online:
AI*IA 2015 Advances in Artificial Intelligence (AI*IA 2015)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 9336))

Included in the following conference series:

Abstract

This paper introduces the ongoing work for a novel domain-independent planning system which takes inspiration from both Constraint Programming (CP) and Logic Programming (LP), flavouring it all with Object Oriented features. We will see a specific customization of our environment to the particular kind of automated planning referred to as timeline-based. By allowing for the interesting ability of solving both planning and scheduling problems in a uniform schema, the resulting system is particularly suitable for complex domains arising from real dynamic scenarios. The paper proposes a resolution algorithm and enhances it with some (static and dynamic) heuristics to help the solving process. The system is tested on different benchmark problems from classical planning domains like the Blocks World to more challenging temporally expressive problems like the Temporal Machine Shop and the Cooking Carbonara problems demonstrating how the new planner, named iLoC, compares with respect to other state-of-the-art planners.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Apt, K.R., Wallace, M.G.: Constraint Logic Programming Using ECL\(^i\)PS\(^e\). Cambridge University Press, New York (2007)

    Google Scholar 

  2. Benton, J., Coles, A., Coles, A.: Temporal planning with preferences and time-dependent continuous costs. In: Twenty-Second International Conference on Automated Planning and Scheduling (ICAPS) (2012)

    Google Scholar 

  3. Bernardini, S., Smith, D.: Developing domain-independent search control for europa2. In: Proceedings of the Workshop on Heuristics for Domain-independent Planning at ICAPS 2007 (2007)

    Google Scholar 

  4. Blum, A., Furst, M.L.: Fast planning through planning graph analysis. In: IJCAI, pp. 1636–1642. Morgan Kaufmann (1995)

    Google Scholar 

  5. Bonet, B., Geffner, H.: Planning as Heuristic Search. Artificial Intelligence 129(1–2), 5–33 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  6. Cashmore, M., Fox, M., Larkworthy, T., Long, D., Magazzeni, D.: AUV mission control via temporal planning. In: 2014 IEEE International Conference on Robotics and Automation (ICRA) (2014)

    Google Scholar 

  7. Cesta, A., Cortellessa, G., De Benedictis, R.: Training for Crisis Decision Making - An Approach Based on Plan Adaptation. Knowledge-Based Systems 58, 98–112 (2014)

    Article  Google Scholar 

  8. Cesta, A., Cortellessa, G., Fratini, S., Oddi, A.: Developing an end-to-end planning application from a timeline representation framework. In: Proceedings of the 21st Innovative Applications of Artificial Intelligence Conference (IAAI) (2009)

    Google Scholar 

  9. Cesta, A., Oddi, A., Smith, S.F.: A Constraint-based Method for Project Scheduling with Time Windows. Journal of Heuristics 8(1), 109–136 (2002)

    Article  MATH  Google Scholar 

  10. Chien, S., Tran, D., Rabideau, G., Schaffer, S., Mandl, D., Frye, S.: Timeline-based space operations scheduling with external constraints. In: Proc. of the 20th Int. Conf. on Automated Planning and Scheduling (ICAPS) (2010)

    Google Scholar 

  11. Coles, A.J., Coles, A.I., Fox, M., Long, D.: COLIN: Planning with Continuous Linear Numeric Change. Journal of Artificial Intelligence Research 44, 1–96 (2012)

    MATH  Google Scholar 

  12. Cushing, W., Kambhampati, S., Mausam, Weld, D.S.: When is temporal planning really temporal? In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI) (2007)

    Google Scholar 

  13. Cushing, W., Weld, D.S., Kambhampati, S., Mausam, Talamadupula, K.: Evaluating temporal planning domains. In: Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS) (2007)

    Google Scholar 

  14. De Benedictis, R., Cesta, A.: Timeline planning in the J-TRE environment. In: Filipe, J., Fred, A. (eds.) ICAART 2012. CCIS, vol. 358, pp. 218–233. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  15. de Moura, L., Bjørner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  16. Fox, M., Long, D.: PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains. Journal of Artificial Intelligence Research 20, 61–124 (2003)

    MATH  Google Scholar 

  17. Frank, J., Jónsson, A.K.: Constraint-Based Attribute and Interval Planning. Constraints 8(4), 339–364 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  18. Ghallab, M., Laruelle, H.: Representation and control in IxTeT, a temporal planner. In: Proceedings of the 2nd Int. Conf. on AI Planning and Scheduling (AIPS) (1994)

    Google Scholar 

  19. Hoffmann, J.: FF: The Fast-Forward Planning System. AI Magazine 22(3), 57–62 (2001)

    Google Scholar 

  20. Jonsson, A., Morris, P., Muscettola, N., Rajan, K., Smith, B.: Planning in interplanetary space: theory and practice. In: Proceedings of the Fifth Int. Conf. on AI Planning and Scheduling (AIPS) (2000)

    Google Scholar 

  21. Laborie, P.: Algorithms for propagating resource constraints in AI planning and scheduling: existing approaches and new results. Artificial Intelligence 143, 151–188 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  22. Maris, F., Régnier, P.: Planification temporellement expressive. TLP-GP, un planificateur pour la résolution de problèmes temporellement expressifs. Revue d’Intelligence Artificielle 24(4), 445–464 (2010)

    Article  Google Scholar 

  23. Muscettola, N.: HSTS: Integrating planning and scheduling. In: Zweben, M. and Fox, M.S. (ed.) Intelligent Scheduling. Morgan Kauffmann (1994)

    Google Scholar 

  24. Py, F., Rajan, K., McGann, C.: A systematic agent framework for situated autonomous systems. In: 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS) (2010)

    Google Scholar 

  25. Rankooh, M.F., Mahjoob, A., Ghassem-Sani, G.: Using satisfiability for non-optimal temporal planning. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds.) JELIA 2012. LNCS, vol. 7519, pp. 176–188. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  26. Robinson, J.A.: A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association for Computing Machinery 12(1), 23–41 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  27. Sebastiani, R.: Lazy Satisfiability Modulo Theories. JSAT 3, 141–224 (2007)

    MathSciNet  MATH  Google Scholar 

  28. Simmons, R.G., Younes, H.L.S.: VHPOP: Versatile Heuristic Partial Order Planner. J. Artif. Intell. Res. 20, 405–430 (2003)

    MATH  Google Scholar 

  29. Weld, D.S.: An Introduction to Least Commitment Planning. AI Magazine 15(4), 27–61 (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CNR, Italian National Research Council, ISTC, Rome, Italy

    Riccardo De Benedictis & Amedeo Cesta

Authors
  1. Riccardo De Benedictis
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Amedeo Cesta
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Riccardo De Benedictis .

Editor information

Editors and Affiliations

  1. Dipartimento di Ingegneria,, Università di Ferrara,, Ferrara, Italy

    Marco Gavanelli

  2. Dipartimento di Ingegneria, Università di Ferrara, Ferrara, Italy

    Evelina Lamma

  3. Dep di Matem e Informatica, Universita di Ferrara, Ferrara, Italy

    Fabrizio Riguzzi

Rights and permissions

Reprints and permissions

Copyright information

© 2015 Springer International Publishing Switzerland

About this paper

Cite this paper

De Benedictis, R., Cesta, A. (2015). Integrating Logic and Constraint Reasoning in a Timeline-Based Planner. In: Gavanelli, M., Lamma, E., Riguzzi, F. (eds) AI*IA 2015 Advances in Artificial Intelligence. AI*IA 2015. Lecture Notes in Computer Science(), vol 9336. Springer, Cham. https://doi.org/10.1007/978-3-319-24309-2_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-24309-2_32

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-24308-5

  • Online ISBN: 978-3-319-24309-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation