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:
“As long as fathers rule but do not nurture, as long as mothers nurture but do not rule, the conditions favoring the development of father-daughter incest will prevail.”
—Judith Lewis Herman (b. 1942)
“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)