Towards a General Theory of Action and Time

@inproceedings{Allen1984TowardsAG,
  title={Towards a General Theory of Action and Time},
  author={James F. Allen},
  booktitle={Artif. Intell.},
  year={1984}
}

Figures from this paper

Actions and Events in Interval Temporal Logic
We present a representation of events and action based on interval temporal logic that is significantly more expressive and more natural than most previous AI approaches. The representation is
A formal logic of plans in temporally rich domains
TLDR
A temporal logic extended with two modalities that can be used to support planning in temporally rich domains that can represent planning environments that have assertions about future possibilities in addition to the present state, and plans that contain concurrent actions.
Reasoning About Action I: A Possible Worlds Approach
Toward a Model Theory of Actions: How Agents do it in Branching Time
TLDR
This work develops a branching‐time framework that allows great flexibility in how time and action are modeled and motivates and formalizes several coherence constraints on the models, which capture some nice intuitions and validate some useful inferences relating actions with time.
A Model for Concurrent Actions Having Temporal Extent
TLDR
A semantic model is presented that is used to interpret a logic that represents concurrent actions having temporal extent and provides a basis for describing the interaction between actions, both concurrent and sequential, and for composing simple actions to form complex ones.
Towards a Modal Logic of Durative Actions
  • S. Kent
  • Philosophy
    Theory and Formal Methods
  • 1993
TLDR
This paper proposes an extension of modal action logics, which typically make the assumption that an action is atomic, to include durative actions, and encodes this by assuming that anaction occurs over a sequence of atomic transitions, or interval, rather than a single transition.
A Logic of Time, Chance, and Action for Representing Plans
  • P. Haddawy
  • Philosophy, Computer Science
    Artif. Intell.
  • 1996
A Formalism for Representing and Reasoning with Temporal Information, Event and Change
  • Nadim Obeid
  • Computer Science, Philosophy
    Applied Intelligence
  • 2005
TLDR
A three-valued based Temporal First-Order Nonmonotonic Logic (TFONL) that employs an explicit representation of time and events and can avoid the Divided Instant Problem.
Representing and Computing Temporally Scoped Beliefs
TLDR
This paper provides a representation and calculus for computing an agent's strength of belief in a proposition at a point in time, based on (possibly imperfect) observations about that proposition and information about the tendency of the proposition to persist over time.
Time, chance and action
TLDR
This paper presents a propositional temporal probability logic for representing and reasoning about actions that can represent the probability that facts hold and events occur at various times.
...
...

References

SHOWING 1-10 OF 25 REFERENCES
A Temporal Logic for Reasoning About Processes and Plans
TLDR
A common disclaimer by an AI author is that he has neglected temporal considerations to avoid complication; the implication is nearly made that adding a temporal dimension to the research would be a familiar but tedious exercise that would obscure the new material presented by the author.
Planning Using a Temporal World Model
TLDR
A world model based on a temporal logic allows the problem solver to gather constraints on the ordering of actions without having to commit to an ordering when a conflict is detected, and allows more general descriptions of actions that may occur simultaneously or overlap.
A First-Order Formalization of Knowledge and Action for a Multiagent Planning System.
TLDR
An alternative formalism for reasoning about knowledge, belief, and action is developed and it is shown how this formalism can be used to deal with several well-known problems, and then described how it could be used by a plan constructing system.
Reasoning About Knowledge and Action
The Nonlinear Nature of Plans
TLDR
A new information structure is described, called the procedural net, that represents a plan as a partial ordering of actions with respec to time, so that a problem-solving system using this representation can deal easily and directly with problems that are otherwise very difficult to solve.
Analyzing Intention in Utterances
SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE
The Intentionality of Intention and Action
TLDR
A sketch of a theory of action is presented to locate the relation of intention to action within a general theory of Intentionality, and it is suggested that both prior intentions and intentions in action are causally selfreferential.
Planning in Time: Windows and Durations for Activities and Goals
  • S. Vere
  • Computer Science
    IEEE Transactions on Pattern Analysis and Machine Intelligence
  • 1983
A general purpose automated planner/scheduler is described which generates parallel plans to achieve goals with imposed time con-straints. Both durations and start time windows may be specified for
A Modal Temporal Logic for Reasoning about Change
TLDR
A modal temporal logic is developed for query systems that become possible with the ability to represent and reason about change in data bases: queries about possible futures, queries about alternative histories, and offers of monitors as responses to queries.
...
...