Real Time Reasoning

The ability to reason in real-time is the ability to sense environment and create the adequate response to it. It is important in dynamic, imperfect sensor information.

A common approach is to use dedicated reactive modules (e.g. Atlantis), or to use a reasoning mechanism whose thought is quantized in small enough pieces as to be (almost) any-time interruptable (e.g. SOAR).

The less time there is to reason, the worst the results. Given that, systems that can somehow react to a dynamic environment are listed below.


Examples of architectures can reason in real-time are:

  • Atlantis by E. Gat.
  • Behavior-Based Programming by R. Brooks.
  • Dynamic Control Architecture by B. Hayes-Roth.
  • ERE by Drummond et al.
  • Homer by Vere & Bickmore.
  • Icarus by Langley.
  • MAX by D. Kuokka.
  • RALPH by Ogasawara and Russell.
  • SOAR by A. Newell et al.
  • Subsumption Architecture by R. Brooks.
  • Teton by VanLehn & Ball.
  • Theo by T. Mitchell et al. Theo-Agent uses S-R rules.

  • Examples of architectures cannot reason in real-time are:

  • Prodigy by Carbonell et al.
  • Other Properties.

    Back to the Title Page.