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:
“The method of authority will always govern the mass of mankind; and those who wield the various forms of organized force in the state will never be convinced that dangerous reasoning ought not to be suppressed in some way.”
—Charles Sanders Peirce (18391914)
“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 (18381918)