Skip to main content
SpringerLink
Log in
Book cover

GWAI-84 pp 238–264Cite as

Temporal Logic in Artificial Intelligence

  • Conference paper

Part of the book series: Informatik Fachberichte ((2252,volume 103))

Abstract

The real world problems which are raised by the formalization of time within the context of artificial intelligence systems are extremely difficult and have been swept under the carpet by many AI researchers for many years. Only over the last few years has there been an increasing interest for time related problems and really hard problems have been attacked.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Allen J.F. -Maintaining Knowledge about Temporal Intervals. In: CACM, vol. 26, n° 11, (1983)

    Google Scholar 

  • Allen J.F. -Towards a General Theory of Action and Time. In: AI, vol. 23, n° 2, (1984)

    Google Scholar 

  • Bolour A et al. -The Role of Time in Information Processing: A Survery In: SIGART Newsletter ≠ 80, (1982)

    Google Scholar 

  • Bertram C. Bruce -A Model for Temporal References and its application in a Question Answering Program. Artificial Intelligence 2, (1971).

    Google Scholar 

  • Cavalli A.R., Farinas del Cerro L. -Resolution for Linear Temporal Logic, LITP, Université Paris VII, October 82

    Google Scholar 

  • Cavalli A.R., Farinas del Cerro L. -A decision method for linear temporal logic, LITP, Université Paris VII, September 83, 83–38, submitted to publication.

    Google Scholar 

  • Cocchiarella N. -Modality within Tense Logic. In: The Journal of Symbolic Logic, vol. 31, pp.690–691, (1966).

    Google Scholar 

  • Cocchiarella N. -A Completeness Theorem for Tense Logic. In: The Journal of Symbolic Logic, vol. 31, pp. 689–690 (1966)

    Google Scholar 

  • Cocchiarella N. -A Logic of Actual and Possible Objects. In: The Journal of Symbolic Logic, vol. 31, pp.688–691, (1966)

    Google Scholar 

  • Gentzen G. -Untersuchungen über das logische Schliessen. Mathematische Zeitschrift. 39, 176–210, 405–431 (1935).

    Article  MathSciNet  Google Scholar 

  • Günther S. -Zur Repräsentation temporaler Beziehungen in SRL. KIT-Projekt Berlin, (1983).

    Google Scholar 

  • Günther S., Habel Ch., Rollinger C.-R. Ereignisnetze: Zeitnetze und Referenzielle Netze. In: Linguistische Berichte 88/83.

    Google Scholar 

  • Hayes P. -A Logic of Actions. Machine Intelligence 6. pp. 495–520. Editors Bernard Meltzer and Donald Michie. Edinburgh University Press, (1971).

    Google Scholar 

  • Hayes P. -Naive Physics I: Ontology for Liquids. Institut pour les Etudes Sémantiques et Cognitives. Université de Genève. Working Paper n° 35, (1978).

    Google Scholar 

  • Hayes P. — The Naive Physics Manifesto. D. Michie (ed.): Expert Systems in the Microelectronic Age. Edinburgh University Press, Edinburgh, (1979).

    Google Scholar 

  • Kripke S.A. -Semantical Analysis of Modal Logic I, normal propositional calculi. In: Zeitschr. f. math. Logik u. Grundl. d. Math. 9, pp. 67–96, (1963 a).

    Google Scholar 

  • Kripke S.A. -Semantical considerations on Modal Logic. In: Acta Philosophica Fennica, pp. 83–94, (1963 b).

    Google Scholar 

  • McDermott D. -A Temporal Logic for Reasoning about Processes and Plans. Cognitive Science 6(2), (1982).

    Google Scholar 

  • Mourelatos A.P.D. -Events, processes, and states. In: Linguistics and Philosophy 2, (1978), pp. 415–434.

    Google Scholar 

  • Prior A.N. -Past, Present, Future. Oxford University Press, (1967).

    Book  Google Scholar 

  • Rescher N., Urquhart A. -Temporal Logic. Berlin, Heidelberg, New York, Wien: Springer, (1971).

    Book  MATH  Google Scholar 

  • Schwind C.B. -Representing Actions by State Logic. In: Proceedings of the AISB/GI Conference on Artificial Intelligence, pp. 304–308, Hamburg, (1978 a).

    Google Scholar 

  • Schwind C.B. -A Formalism for the Description of Question Answering Systems. In: L. Bolc (ed.): Natural Language Communication with Computers. Berlin, Heidelberg, New York: Springer, (1978 b).

    Google Scholar 

  • Schwind C.B. -A Completeness Proof for a Logic of Actions. Report LISH/172bis, (1983).

    Google Scholar 

  • Schwind C.B. -A PROLOG Theorem Prover for Temporal and Modal Logic. LISH/386/1984.

    Google Scholar 

  • Smullyan R.M. -First Order Logic. Berlin, Heidelberg, New York: Springer, (1968).

    MATH  Google Scholar 

  • Wrightson G. -A Proof Procedure for Higher Order Modal Logic. 4th International Workshop on Automated Deduction, Austin, (1979).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Groupe Représentation et Traitement des Connaissances, Centre National de la Recherche Scientifique, 31, chemin Joseph Aiguier, 13402, Marseille Cedex 9, France

    Camilla B. Schwind

Authors
  1. Camilla B. Schwind
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Universität Stuttgart, Herdweg 51, D-7000, Stuttgart 1, Germany

    Joachim Laubsch

Rights and permissions

Reprints and permissions

Copyright information

© 1985 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Schwind, C.B. (1985). Temporal Logic in Artificial Intelligence. In: Laubsch, J. (eds) GWAI-84. Informatik Fachberichte, vol 103. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-46546-8_19

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-46546-8_19

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-15669-7

  • Online ISBN: 978-3-642-46546-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation