Skip to main content
Glite Dictionary
🧠 A logical thinker 💻 A logic program
reasoner

reasoner

1 7.9
A computer program that uses rules to find new facts and check for mistakes in stored knowledge
  • noun
  • /ˈriːzənər/
  • Specialized
translation icon : razonador
  • In semantic web applications, a reasoner checks the consistency of complex information to ensure accuracy.

Examples

  • One alternative to building a single large knowledge base and then adding a reasoner is to integrate several different decision aids, perhaps even using different reasoning methods, into one flexible resource, such as the EXPLORER system built at Harvard.

    Academic text (1991)

  • The programs that build the patient model and search the knowledge base comprise a "reasoner," which reconciles the clinical features of a patient logically or mathematically with the knowledge in the system to produce inferences.

    Academic text (1991)

  • A reasoner in artificial intelligence can automatically derive new facts from a knowledge base.

  • The software acts as a reasoner, using logical rules to determine relationships between different data sets.

Synonyms

prover
vsreasoner
  • Specialized
7.5

A person or program that checks math and logic arguments

is a software component that infers new facts or checks ontology consistency

How Powerful

predicate calculus
  • Specialized
9.9
system of logic
  • Specialized
7.0
reasoner
  • Specialized
1 7.9
prover
  • Specialized
7.5
checking program
  • Specialized
4.2

Surface Forms

reasoner singular
reasoners plural

Morphology

reasoner = reason (transparent) = reason + er

Same agentive formation as the human sense; here the agentive sense is extended metaphorically to software but the morphological composition is clear.

Etymology

In computing, reasoner is named the same way: reason + -er, with reason from Latin ratio meaning 'calculation' or 'thought'. So a computing reasoner is 'one who reasons' in code, a program that finds new facts or checks if the data makes sense.