Abstract
This is a table (first used in the NOAH planner) relating patterns (representing facts) to nodes in a plan where they are asserted or denied. It is used by nonlinear planners <154> to detect quickly interferences between actions on parallel branches. However, it can also be used to recognise beneficial side effects which may allow other goals to be satisfied without introducing new actions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Sacerdoti, E.D. A Structure for plans and behaviour. Elsevier North-Holland, New York, 1977.
Barr, A. and Feigenbaum, E.A. (editors). The Handbook of Artificial Intelligence, Volume 1. W. Kaufmann, Los Altos, California, 1981.
Galton, A. Temporal Logics and their applications. Academic Press, London, 1987.
Turner, R. Logics for Artificial Intelligence. Wiley, New York, 1984.
Siekmann, J. and Wrightson, G. (editors). Automation of Reasoning. Springer-Verlag, Berlin, 1983. Published in 2 volumes.
Allen, J.F. and Koomen, J.A. Planning using a temporal world model. In Proceedings of IJCAI-83, pages 741–747, International Joint Conference on Artificial Intelligence, 1983.
Tsang, P.K. Plan generation in a temporal frame. In Proceedings ECAI-86, pages 479–493, European Conference on Artificial Intelligence, 1986.
Winograd, T. Language as a cognitive process. Addison-Wesley, Reading, Mass. and London, 1983.
Ayache, N. and Lustman, F. Fast and reliable passive trinocular stereovision. First International Conference on Computer Vision, pages 422–427, 1987.
Doyle, J. Truth Maintenance Systems for Problem Solving. Technical Report 419, MIT AI Lab, Cambridge, Mass., September 1978.
McAllester, D. An Outlook on Truth Maintenance. Technical Report 551, MIT AI Lab, Cambridge, Mass., August 1980.
Cardelli, L. and Wegner, P. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471–522, 1985.
Davies, D.J.M. POPLER 1.5 Reference Manual. Technical Report, Department of Aritificial Intelligence, Edinburgh University, 1973.
Tate, A. Generating project networks. In Proceedings IJCAI-77, pages 888–893. International Joint Conference on Artificial Intelligence, 1977.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A. (1990). T. In: Bundy, A. (eds) Catalogue of Artificial Intelligence Techniques. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-97276-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-97276-8_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-97278-2
Online ISBN: 978-3-642-97276-8
eBook Packages: Springer Book Archive