Conditional Planning with External Functions

  • Davy Van Nieuwenborgh
  • Thomas Eiter
  • Dirk Vermeir
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4483)

Abstract

We introduce the logic-based planning language \({\mathcal{K}^c}\) as an extension of \(\mathcal{K}\)[5]. \(\mathcal{K}^c\) has two advantages upon \(\mathcal{K}\). First, the introduction of external function calls in the rules of a planning description allows the knowledge engineer to describe certain planning domains, e.g. involving complex action effects, in a more intuitive fashion then is possible in \(\mathcal{K}\). Secondly, in contrast to the conformant planning framework \(\mathcal{K}\), \(\mathcal{K}^c\) is formalized as a conditional planning system, which enables \(\mathcal{K}^c\) to solve planning problems that are impossible to express in \(\mathcal{K}\), e.g. involving sensing actions. A prototype implementation of conditional planning with \(\mathcal{K}^c\) is build on top of the \(\textsc{DLV}^\mathcal{K}\) system, and we illustrate its use by some small examples.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Private Communications with Gerhard Friedrich, University of Klagenfurt, Austria.Google Scholar
  2. 2.
    Ws-diamond: Web-service diagnosability, monitoring & diagnosis (ist-516933). Project website at http://wsdiamond.di.unito.it
  3. 3.
    Special issue on reasoning about action and change. Journal of Logic Prog. 31(1-3) (1997)Google Scholar
  4. 4.
    Eiter, T., et al.: Planning under incomplete knowledge. In: Palamidessi, C., et al. (eds.) CL 2000. LNCS (LNAI), vol. 1861, pp. 807–821. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  5. 5.
    Eiter, T., et al.: A logic programming approach to knowledge-state planning: Semantics and complexity. Transactions on Computational Logic 5(2), 206–263 (2004)CrossRefMathSciNetGoogle Scholar
  6. 6.
    Eiter, T., et al.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pp. 90–96 (2005)Google Scholar
  7. 7.
    Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9(3-4), 365–386 (1991)CrossRefGoogle Scholar
  8. 8.
    Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17(2-4), 301–321 (1993)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Giunchiglia, E., Kartha, G.N., Lifschitz, V.: Representing action: Indeterminacy and ramifications. Artificial Intelligence 95(2), 409–438 (1997)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Golden, K., Weld, D.: Representing sensing actions: The middle ground revisited. In: Proc. of the 5th Intl. Conf. on Principles of KR and Reasoning, pp. 174–185 (1996)Google Scholar
  11. 11.
    Iocchi, L., Nardi, D., Rosati, R.: Planning with sensing, concurrency, and exogenous events: logical framework and implementation. In: Proc. of the 7th Intl. Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pp. 678–689 (2000)Google Scholar
  12. 12.
    Levesque, H.J.: What is planning in the presence of sensing? In: AAAI/IAAI, vol. 2, pp. 1139–1146 (1996)Google Scholar
  13. 13.
    Lifschitz, V.: The Logic Programming Paradigm - A 25-Year Perspective. Springer, Heidelberg (1999)Google Scholar
  14. 14.
    Lobo, J., Taylor, S., Mendez, G.: Adding knowledge to the action description language A. In: Proc. of the 14th National Conf. on AI (AAAI’97), pp. 454–459. AAAI Press, Menlo Park (1997)Google Scholar
  15. 15.
    Son, T.C., Baral, C.: Formalizing sensing actions a transition function based approach. Artificial Intelligence 125(1-2), 19–91 (2001)MATHCrossRefMathSciNetGoogle Scholar
  16. 16.
    Son, T.C., Tu, P.H., Baral, C.: Planning with sensing actions and incomplete information using logic programming. In: Lifschitz, V., Niemelä, I. (eds.) LPNMR 2004. LNCS (LNAI), vol. 2923, pp. 261–274. Springer, Heidelberg (2003)Google Scholar
  17. 17.
    Van Nieuwenborgh, D., Eiter, T., Vermeir, D.: Conditional planning with external functions. Technical report (2007), http://tinf2.vub.ac.be/~dvnieuwe/lpnmr2007technical.ps

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Davy Van Nieuwenborgh
    • 1
  • Thomas Eiter
    • 2
  • Dirk Vermeir
    • 1
  1. 1.Vrije Universiteit Brussel, VUB, Dept. of Computer Science, Pleinlaan 2, B-1050 BrusselsBelgium
  2. 2.Institute of Information Systems, Vienna University of TechnologyAustria

Personalised recommendations