Towards a general theory of action and time

https://doi.org/10.1016/0004-3702(84)90008-0Get rights and content

Abstract

A formalism for reasoning about actions is proposed that is based on a temporal logic. It allows a much wider range of actions to be described than with previous approaches such as the situation calculus. This formalism is then used to characterize the different types of events, processes, actions, and properties that can be described in simple English sentences. In addressing this problem, we consider actions that involve non-activity as well as actions that can only be defined in terms of the beliefs and intentions of the actors. Finally, a framework for planning in a dynamic world with external events and multiple agents is suggested.

References (30)

  • E. Charniak

    A common representation for problem-solving and language-comprehension information

    Artificial Intelligence

    (1981)
  • J.F. Allen et al.

    Analyzing intention in utterances

    Artificial Intelligence

    (1980)
  • C.J. Fillmore

    The case for case

  • J. McCarthy et al.

    Some philosophical problems from the standpoint of artificial intelligence

  • D. McDermott

    A temporal logic for reasoning about processes and plans

    Cognitive Sci.

    (1982)
  • A.P.D. Mourelatos

    Events, processes, and states

    Linguistics and Philosophy

    (1978)
  • R. Jackendoff

    Toward an explanatory semantic representation

    Linguistic Inquiry

    (1976)
  • A. Goldman
  • D. Davidson

    The logical form of action sentences

  • J.F. Allen

    Maintaining knowledge about temporal intervals

    Comm. ACM

    (1983)
  • E. Mays

    A modal temporal logic for reasoning about change

  • R.C. Schank
  • P.J. Hayes

    Naive physics I: Ontology for liquids

  • R. Taylor
  • Cited by (0)

    View full text