Planning based on view updating in deductive databases

  • Dolors Costal
  • Antoni Olivé
Communications Session 4B Intelligent Information Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1325)


This paper describes an approach to planning based on viewing the planning problem description as a deductive database and on extending techniques for the view update problem in deductive databases to solve planning problems. We provide a formal and expressive model to represent a planning problem and a sound and complete plan generation method to solve it. From this work it becomes clear that a planning problem and a view update problem have strong similarities.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [ABW88]
    K.R.Apt, H.A.Blair, A.Walker, ‘Towards a Theory of Declarative Knowledge', Foundations of Deductive Databases and Logic Programming (J. Minker Ed.), 89–148, Morgan-Kaufman, 1988.Google Scholar
  2. [AIK83]
    J.F.Allen, J.A.Koomen, ‘Planning Using a Temporal World Model', Proc. IJCAI'83, 741–747, 1983.Google Scholar
  3. [BaR86]
    F.Bancilhon, R.Ramakrishnan, ‘An Amateur's Introduction to Recursive Query Processing', Proc. ACM SIGMOD, 16–52,1986.Google Scholar
  4. [BCW93]
    M.Baudinet, J.Chomicki, P.Wolper, “Temporal deductive databases”, in [TCG93], 294–320, 1993.Google Scholar
  5. [Cos95]
    D. Costal, Un mètode de planificació basat en l'actualització de vistes en bases de dades deductives, PhD Thesis, Dept. of LSI, Universitat Politècnica de Catalunya, Barcelona, 1995.Google Scholar
  6. [Co092]
    D.Costal, A.Olivé, ‘A method for reasoning about Deductive Conceptual Models', Proc. of the CAiSE-92, 612–631, 1992.Google Scholar
  7. [CTU+96]
    D.Costal, E.Teniente, T.Urpí, C.Farré, ‘Handling Conceptual Model Validation by Planning', Proc. of the CAiSE-96, 255–271, 1996.Google Scholar
  8. [Der82]
    D. McDermott, ‘A Temporal Logic for Reasoning About Processes and Plans', Cognitive Science, 6, 101–105, 1982.Google Scholar
  9. [DMM92]
    M.Denecker, L. Missiaen, M.Bruynooghe, ‘Temporal reasoning with Abductive Event Calculus', Proc. 10th ECAI, 384–388, 1992.Google Scholar
  10. [DMM+91]
    M.Decker, G.Moerkotte, H.Müller, J.Possega, ‘Consistency Driven Planning', Proc. 5th EPIA, 195–209, 1991.Google Scholar
  11. [FiN71]
    R.E.Fikes, N.J. Nilsson, ‘STRIPS: A new approach to the application of theorem proving to problem solving', Artificial Intelligence, 2, 189–208, 1971.Google Scholar
  12. [Gre69]
    C.Green, ‘Application of theorem proving to problem solving', Proc. IJCAI-69, 741–747, 1969.Google Scholar
  13. [KaM90]
    A.Kakas, P.Mancarella, ‘Database Updates through Abduction', Proc. 16th VLDB, 1990.Google Scholar
  14. [Lan87]
    A.Lansky, ‘A Representation of Parallel Activity based on Events, Structure and Causality', Reasoning about Actions and Plans: Proc. of the 1986 Workshop, 123–159, Morgan Kaufmann, 1987.Google Scholar
  15. [Llo87]
    J.W.Lloyd, Foundations of Logic Programming, 2nd edn., Springer, 1987.Google Scholar
  16. [LIT84]
    J.W.Lloyd, R.W.Topor, ‘Making Prolog more expressive', J. Logic Programming, 3, 225–240, 1984.Google Scholar
  17. [Ped91]
    E.P.D.Pednault, ‘Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects', Proc. IJCAI'91, 240–245, 1991.Google Scholar
  18. [Rei92]
    R. Reiter, ‘Formalizing database evolution in the situation calculus', Proc. Fifth Generation Computer Systems, 600–609, 1992.Google Scholar
  19. [TCG+93]
    A.U.Tansel, J.Clifford, S.Gadia, S.Jajodia, A.Segev, R.Snodgrass, Temporal databases. Theory, Design and Implementation, The Benjamin/Cummings Publishing Company, 1993.Google Scholar
  20. [Te095]
    E.Teniente, A.Olivé, ‘Updating Knowledge Bases while Maintaining their Consistency', The VLDB Journal, 4, 1995.Google Scholar
  21. [We194]
    D.Weld, ‘An Introduction to Least Commitment Planning', AI Magazine, 15, 26–61 1994.Google Scholar
  22. [Wil84]
    D.E.Wilkins,'Domain-independent Planning: Representation and Plan Generation', Artificial Intelligence, 22, 269–301, 1984. *** DIRECT SUPPORT *** A0008166 00008Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Dolors Costal
    • 1
  • Antoni Olivé
    • 1
  1. 1.Departament LSIUniversitat Politècnica de CatalunyaBarcelonaCatalonia

Personalised recommendations