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:
“A right rule for a club would be, Admit no man whose presence excludes any one topic. It requires people who are not surprised and shocked, who do and let do, and let be, who sink trifles, and know solid values, and who take a great deal for granted.”
—Ralph Waldo Emerson (1803–1882)
“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)