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 information links are like nerves that pervade and help to animate the human organism. The sensors and monitors are analogous to the human senses that put us in touch with the world. Data bases correspond to memory; the information processors perform the function of human reasoning and comprehension. Once the postmodern infrastructure is reasonably integrated, it will greatly exceed human intelligence in reach, acuity, capacity, and precision.”
—Albert Borgman, U.S. educator, author. Crossing the Postmodern Divide, ch. 4, University of Chicago Press (1992)
“There is a great satisfaction in building good tools for other people to use.”
—Freeman Dyson (b. 1923)