New Generation Computing

, Volume 3, Issue 4, pp 467–477 | Cite as

Ten requirements for a theory of change

  • Yoav Shoham
Special Issue
Received:
Revised:

Abstract

In order to focus the discussion on temporal reasoning in Artificial Intelligence, we propose a list of requirements that a rigorous theory of time and change must meet. These requirements refer to the desired expressiveness of the formalism (such as representing continuous change) and to potential pitfalls (such as theinter- andintra-frame problems) that should be avoided. We “benchmark” some of the better known temporal formalisms that have been proposed in Artificial Intelligence by stating which of the requirements are met, in our opinion, by each formalism.

Keywords

Time Change Causation Frame Problems Benchmarks 
This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1).
    Allen, J. F., “Towards a General Theory of Action and Time,”Artificial Intelligence, Vol. 23, No. 2, pp. 123–154, 1984.MATHCrossRefGoogle Scholar
  2. 2).
    Fikes, R. and Nilsson, N. J., “STRIPS: A New Approach to Application of Theorem Proving to Problem Solving,”Artificial Intelligence, 2, pp. 189–208, 1971.MATHCrossRefGoogle Scholar
  3. 3).
    Forbus, K. D., “Qualitative Process Theory,”Ph. D. Thesis, Artificial Intelligence Laboratory, M. I. T., 1984.Google Scholar
  4. 4).
    Halpern, J. Y. and Moses, Y., “A guide to the Modal Logics of Knowledge and Belief: Preliminary Draft,”Proceedings IJCAI-85, Los Angeles, pp. 480–490, 1985.Google Scholar
  5. 5).
    Hayes, P. J., “Naive Physics 1 — Ontology for Liquids,” inFormal Theories of the Commonsense World (Hobbs, J. R and Moore, R. C., eds.), Ablex, 1984.Google Scholar
  6. 6).
    Manna, Z. and Pnueli, A., “Verification of Concurrent Programs: Temporal Proof Principles,”Technical Report, Department of Applied Mathematics, Weizmann Institute of Science, September, 1981.Google Scholar
  7. 7).
    McCarthy, J. M. and Hayes, P. J., “Some Philosophical Problems from the Standpoint of Artificial Intelligence,”Readings in Artificial Intelligence, Tioga Publishing Co., Palo Alto, CA, pp. 431–450, 1981.Google Scholar
  8. 8).
    McDermott, D. V., “A Temporal Logic for Reasoning about Processes and Plans,”Cognitive Science, 6, pp. 101–155, 1982.CrossRefGoogle Scholar
  9. 9).
    Shoham, Y. and Dean, T., “Temporal Notation and Causal Terminology,”Proceedings Seventh Annual Conference, Cognitive Science Society, 1985.Google Scholar
  10. 10).
    Shoham, Y., “Naive Kinenatics: One Aspect of Shape,”Proceedings IJCAI-85, Los Angeles, 1985.Google Scholar
  11. 11).
    Shoham, Y., “Time and Causation from the Standpoint of Artificial Intelligence,”Ph. D. Thesis, Yale University, Computer Science Department, 1986 (to appear).Google Scholar
  12. 12).
    Waldinger, R., “Achieving Several Goals Simultaneously”Technical Report, 107, AI Center, SRI International, July, 1975.Google Scholar

Copyright information

© Ohmsha, Ltd. and Springer 1985

Authors and Affiliations

  • Yoav Shoham
    • 1
  1. 1.Department of Computer ScienceYale UniversityNew HavenUSA

Personalised recommendations