Rule Engines
A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including Pei Wang's non-axiomatic reasoning system, Novamente's probabilistic logic network, and Pronto - probabilistic description logic reasoner.
Read more about Rule Engines: Reasoner Comparison, See Also, External Links
Famous quotes containing the words rule and/or engines:
“The first rule of education for me was discipline. Discipline is the keynote to learning. Discipline has been the great factor in my life. I discipline myself to do everything—getting up in the morning, walking, dancing, exercise. If you won’t have discipline, you won’t have a nation. We can’t have permissiveness. When someone comes in and says, “Oh, your room is so quiet,” I know I’ve been successful.”
—Rose Hoffman, U.S. public school third-grade teacher. As quoted in Working, book 8, by Studs Terkel (1973)
“America is like one of those old-fashioned six-cylinder truck engines that can be missing two sparkplugs and have a broken flywheel and have a crankshaft that’s 5000 millimeters off fitting properly, and two bad ball-bearings, and still runs. We’re in that kind of situation. We can have substantial parts of the population committing suicide, and still run and look fairly good.”
—Thomas McGuane (b. 1939)