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:
“Education is a necessity, it helps to understand life. Like that compagnero in Cuba who talked about politics, back when they were on strike. He knew many things, that hijo de puta, and he unraveled the most confusing situations in a marvelous way. You could see each point in front of you on the line of his reasoning like rinsed laundry set up to dry; he explained things to you so clearly that you could grasp it like a good hunk of bread with your hand.”
—Jacques Roumain (1907–1945)
“Man is a tool-using animal.... Without tools he is nothing, with tools he is all.”
—Thomas Carlyle (1795–1881)