Skip to main content
Springer Nature Link
Log in

A formal domain description language for a temporal planner

  • Conference paper
  • First Online:
Topics in Artificial Intelligence (AI*IA 1995)

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

Included in the following conference series:

  • 127 Accesses

Abstract

The Domain Description Language (DDL) is the basic knowledge representation service in any problem solving architecture. This paper introduces DDL.1 a DDL for a planning and schednling architecture that adopts basic features from control theory and extends them to the specification of constraints. A general overview of the language is given, its syntax and semantics described. Finally, the problem of temporal planning by using such a language is briefly addressed.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Allen, J.F., Temporal Reasoning and Planning. In: Allen, J.F., Kautz, H.A., Pelavin, R.N., Tenenberg, J.D., Reasoning about Plans. Morgan Kaufmann Pub.Inc., 1991.

    Google Scholar 

  2. Cesta, A., Oddi, A., Using a Formal Domain Description Language in a Partial Order Temporal Planner, unpublished document, 1995.

    Google Scholar 

  3. Chapman, D., Planning for Conjunctive Goals. Artificial Intelligence, 32, 1987.

    Google Scholar 

  4. Currie, K., Tate, A., O-Plan: the open planning architecture. Artificial Intelligence, 52, 1991.

    Google Scholar 

  5. Kalman, R.E., Falb, P.L., Arbib, M.A., Topics in Mathematical System Theory, McGraw-Hill, New York, 1969.

    Google Scholar 

  6. Muscettola, N., Smith, S.F., Cesta, A., D'Aloisi, D., Coordinating Space Telescope Operations in an Integrated Planning and Scheduling Architecture, IEEE Control Systems, Vol.12, N.1, February 1992.

    Google Scholar 

  7. Muscettola, N., HSTS: Integrating Planning and Scheduling, in M.Zweben, M.S.Fox (Eds), Intelligent Scheduling, Morgan Kaufmann, 1994.

    Google Scholar 

  8. Pednault, E.P.D., ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus. Proceedings of the 1st Conference on Principles of Knowledge Representation and Reasoning, 1989.

    Google Scholar 

  9. Valente, A., Knowledge-Level Analysis of Planning Systems, Sigart Bullettin, Special Section on Planning Agents, Vol.6, N.1, 1995.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IP-CNR, National Research Council of Italy, Viale Marx 15, I-00137, Rome, Italy

    Amedeo Cesta

  2. Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza”, Via Salaria 113, 00198, Rome, Italy

    Angelo Oddi

Authors
  1. Amedeo Cesta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Angelo Oddi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marco Gori Giovanni Soda

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cesta, A., Oddi, A. (1995). A formal domain description language for a temporal planner. In: Gori, M., Soda, G. (eds) Topics in Artificial Intelligence. AI*IA 1995. Lecture Notes in Computer Science, vol 992. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60437-5_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-60437-5_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60437-2

  • Online ISBN: 978-3-540-47468-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation