reasoner's Usage Examples:

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.

Smullyan defines the following types of reasoners: Accurate reasoner: An accurate reasoner never believes any false proposition.

proving"; also known as circular logic) is a logical fallacy in which the reasoner begins with what they are trying to end with.

framework has various internal reasoners and the Pellet reasoner (an open source Java OWL-DL reasoner) can be set up to work in Jena.

A Savora (Hebrew: [savoˈʁa]; Aramaic: סבורא, "a reasoner", plural Savora'im, Sabora'im [savoʁaˈ(ʔ)im], סבוראים) is a term used in Jewish law and history.

CEL is an open source LISP-based reasoner (Apache 2.

Cerebra Engine was a commercial C++-based reasoner, acquired in 2006 by webMethods.

guillotine is the thesis that, if a reasoner only has access to non-moral and non-evaluative factual premises, the reasoner cannot logically infer the truth.

Synonyms:

thinker; casuist; analogist; ratiocinator; sophist;