Event Calculus - Reasoning Tools

Reasoning Tools

In addition to Prolog and its variants, several other tools for reasoning using the event calculus are also available:

  • Abductive Event Calculus Planners
  • Discrete Event Calculus Reasoner
  • Event Calculus Answer Set Programming

Read more about this topic:  Event Calculus

Famous quotes containing the words reasoning and/or tools:

    “As if reasoning were any kind of writing or talking which tends to convince people that some doctrine or measure is true and right.”
    —Catherine E. Beecher (1800–1878)

    “At the utmost, the active-minded young man should ask of his teacher only mastery of his tools. The young man himself, the subject of education, is a certain form of energy; the object to be gained is economy of his force; the training is partly the clearing away of obstacles, partly the direct application of effort. Once acquired, the tools and models may be thrown away.”
    —Henry Brooks Adams (1838–1918)