Abstract
This paper focuses on reasoning with action and time. A framework for representation of activities and time in the form of a dependency network is discussed. While in earlier works an RMS framework has been used for representing actions, our framework captures temporal knowledge also in the network in terms of relations between intervals. This framework thus enables integration of temporal reasoning along with causal reasoning among activities. An algorithm for truth propagation in such a network has been applied to a specific domain and an example illustrating its use in temporal and causal reasoning is provided. Abstraction of activities and states has been done by defining abstract temporal intervals and thus layering the knowledge into various levels. Some relational abstractions which are useful in describing the temporal relationships among activities and facts have also been defined.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
James F. Allen, Maintaining Knowledge about Temporal Intervals, Communications of the ACM, Vol. 26, pp. 832–843, 1983.
James F. Allen, Towards a General Theory of Action and Time, Artificial Intelligence, Vol. 23, pp. 123–154, 1984.
Beetz M. and Lefkowitz S. L., Reasoning about Justified Events: A Unified Treatment of Temporal Projection, Planning Rationale and Domain Constraints (An Extended Abstract), MEMO-P-89-21, TA TRIUMPH-ADLER AG, Germany, 1989.
de Kleer J., An Assumption-based Truth Maintenance System, Artificial Intelligence 28, pp. 127–162, 1986.
Hitesh N. Dholakia, V. Sundararajan and N. Parameswaran, Truth Propagation in Activity Knowledge-base, Proc. of the Third KBCS Conference, Pune, India, 1990.
Doyle J., A Truth Maintenance System, Artificial Intelligence, Vol. 12, pp. 231–272, 1979.
Jaidev, Tadepalli K. and Parameswaran N., A RMS Based Plan Representation, Proc. of the Third UNB Artificial Intelligence Workshop, Canada, 1990.
Johannes A. G. M. Koomen, Reasoning about Recurrence, Doctoral Thesis, 1989.
Kulkarni D. and Parameswaran N., Action Representation for Planning using Truth Maintenance System, Proceedings of TENCON-89, The 4th IEEE region 10 International Conference, Bombay, pp. 995–998.
Morris P. H. and Nado R. A., Representing Actions with an Assumption-Based Truth Maintenance System, Proc. AAAI-86, 1986.
Arvind Sathi, Mark S. Fox and Michael Greenberg, Representation of Activity Knowledge for Project Management, IEEE Transactions on Pattern Analysis and Machine Intelligence, Vol. PAMI-7, No. 5, Sep. 1985.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sundararajan, V., Dholakia, H.N., Parameswaran, N. (1991). An RMS for temporal reasoning with abstraction. In: Dehne, F., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '91. ICCI 1991. Lecture Notes in Computer Science, vol 497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54029-6_222
Download citation
DOI: https://doi.org/10.1007/3-540-54029-6_222
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54029-8
Online ISBN: 978-3-540-47359-6
eBook Packages: Springer Book Archive