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:

    Now, what I want is, Facts. Teach these boys and girls nothing but Facts. Facts alone are wanted in life. Plant nothing else, and root out everything else. You can only form the minds of reasoning animals upon Facts: nothing else will ever be of any service to them. This is the principle on which I bring up my own children, and this is the principle on which I bring up these children. Stick to Facts, sir!
    Charles Dickens (1812–1870)

    Think of the tools in a tool-box: there is a hammer, pliers, a saw, a screwdriver, a rule, a glue-pot, nails and screws.—The function of words are as diverse as the functions of these objects.
    Ludwig Wittgenstein (1889–1951)