Ex4pmEngine.Cognition.Temporal (ex4pm v26.9.9)

Copy Markdown View Source

Allen's 13 interval temporal algebra and Linear Temporal Logic (LTL) trace monitor. Computes relational consistency across event intervals and validates temporal process constraints.

Summary

Types

allen_relation()

Functions

check_ltl(trace, formula)

Evaluates an LTL temporal formula against an execution trace (list of activity labels). Formulas

relate(arg1, arg2)

Computes the exact Allen relation between two time intervals [start_a, end_a] and [start_b, end_b].

Types

allen_relation()

@type allen_relation() ::
  :before
  | :after
  | :meets
  | :met_by
  | :overlaps
  | :overlapped_by
  | :starts
  | :started_by
  | :during
  | :contains
  | :finishes
  | :finished_by
  | :equals

Functions

check_ltl(trace, formula)

Evaluates an LTL temporal formula against an execution trace (list of activity labels). Formulas:

  • {:globally, p}: p holds at every state
  • {:eventually, p}: p holds at some state in the trace
  • {:next, p}: p holds at next state
  • {:response, p, q}: whenever p occurs, q eventually occurs after p
  • {:precedence, p, q}: q can only occur if p occurred before q

relate(arg1, arg2)

Computes the exact Allen relation between two time intervals [start_a, end_a] and [start_b, end_b].