Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
J.F.Allen, J.A.Koomen, ‘Planning Using a Temporal World Model', Proc. IJCAI'83, 741–747, 1983.
F.Bancilhon, R.Ramakrishnan, ‘An Amateur's Introduction to Recursive Query Processing', Proc. ACM SIGMOD, 16–52,1986.
M.Baudinet, J.Chomicki, P.Wolper, “Temporal deductive databases”, in [TCG93], 294–320, 1993.
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.
D.Costal, A.Olivé, ‘A method for reasoning about Deductive Conceptual Models', Proc. of the CAiSE-92, 612–631, 1992.
D.Costal, E.Teniente, T.Urpí, C.Farré, ‘Handling Conceptual Model Validation by Planning', Proc. of the CAiSE-96, 255–271, 1996.
D. McDermott, ‘A Temporal Logic for Reasoning About Processes and Plans', Cognitive Science, 6, 101–105, 1982.
M.Denecker, L. Missiaen, M.Bruynooghe, ‘Temporal reasoning with Abductive Event Calculus', Proc. 10th ECAI, 384–388, 1992.
M.Decker, G.Moerkotte, H.Müller, J.Possega, ‘Consistency Driven Planning', Proc. 5th EPIA, 195–209, 1991.
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.
C.Green, ‘Application of theorem proving to problem solving', Proc. IJCAI-69, 741–747, 1969.
A.Kakas, P.Mancarella, ‘Database Updates through Abduction', Proc. 16th VLDB, 1990.
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.
J.W.Lloyd, Foundations of Logic Programming, 2nd edn., Springer, 1987.
J.W.Lloyd, R.W.Topor, ‘Making Prolog more expressive', J. Logic Programming, 3, 225–240, 1984.
E.P.D.Pednault, ‘Generalizing Nonlinear Planning to Handle Complex Goals and Actions with Context-Dependent Effects', Proc. IJCAI'91, 240–245, 1991.
R. Reiter, ‘Formalizing database evolution in the situation calculus', Proc. Fifth Generation Computer Systems, 600–609, 1992.
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.
E.Teniente, A.Olivé, ‘Updating Knowledge Bases while Maintaining their Consistency', The VLDB Journal, 4, 1995.
D.Weld, ‘An Introduction to Least Commitment Planning', AI Magazine, 15, 26–61 1994.
D.E.Wilkins,'Domain-independent Planning: Representation and Plan Generation', Artificial Intelligence, 22, 269–301, 1984. *** DIRECT SUPPORT *** A0008166 00008
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Costal, D., Olivé, A. (1997). Planning based on view updating in deductive databases. In: Raś, Z.W., Skowron, A. (eds) Foundations of Intelligent Systems. ISMIS 1997. Lecture Notes in Computer Science, vol 1325. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63614-5_34
Download citation
DOI: https://doi.org/10.1007/3-540-63614-5_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63614-4
Online ISBN: 978-3-540-69612-4
eBook Packages: Springer Book Archive