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:
“Listen to me, imbecile. If the Treasury is important, then human life is not. This is clear. All those who think like you ought to admit this reasoning and count their lives for nothing because they hold money for everything.”
—Albert Camus (1913–1960)
“The besetting sin of able men is impatience of contradiction and of criticism. Even those who do their best to resist the temptation, yield to it almost unconsciously and become the tools of toadies and flatterers. “Authorities,” “disciples,” and “schools” are the curse of science and do more to interfere with the work of the scientific spirit than all its enemies.”
—Thomas Henry Huxley (1825–95)