Skip to main content
SpringerLink
Log in

Ten requirements for a theory of change

  • Special Issue
  • Published:
New Generation Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Allen, J. F., “Towards a General Theory of Action and Time,”Artificial Intelligence, Vol. 23, No. 2, pp. 123–154, 1984.

    Article  MATH  Google Scholar 

  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.

    Article  MATH  Google Scholar 

  3. Forbus, K. D., “Qualitative Process Theory,”Ph. D. Thesis, Artificial Intelligence Laboratory, M. I. T., 1984.

  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.

  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.

  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.

  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. McDermott, D. V., “A Temporal Logic for Reasoning about Processes and Plans,”Cognitive Science, 6, pp. 101–155, 1982.

    Article  Google Scholar 

  9. Shoham, Y. and Dean, T., “Temporal Notation and Causal Terminology,”Proceedings Seventh Annual Conference, Cognitive Science Society, 1985.

  10. Shoham, Y., “Naive Kinenatics: One Aspect of Shape,”Proceedings IJCAI-85, Los Angeles, 1985.

  11. Shoham, Y., “Time and Causation from the Standpoint of Artificial Intelligence,”Ph. D. Thesis, Yale University, Computer Science Department, 1986 (to appear).

  12. Waldinger, R., “Achieving Several Goals Simultaneously”Technical Report, 107, AI Center, SRI International, July, 1975.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Yale University, Yale Station, P. O. Box 2158, 06520, New Haven, Connecticut, USA

    Yoav Shoham

Authors
  1. Yoav Shoham
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Shoham, Y. Ten requirements for a theory of change. NGCO 3, 467–477 (1985). https://doi.org/10.1007/BF03037081

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037081

Keywords

Search

Navigation