Examples of reasoner

reasoner isn’t in the Cambridge Dictionary yet. You can help!
From our initial tests, it is clear that there are limits to using a description logic reasoner for our task.
Among the meta-interpreters that are analysed correctly are a proof trees constructing meta-interpreter, different kinds of tracers and reasoners.
The time to compute our comparable simple reasoning problems is dominated by the communication overhead caused by the reasoner interface.
Solving a target incident consists of a sequential activation of the rule-based, case-based and model-based reasoners.
Unfortunately it soon became clear that the same type of coping strategies would not translate directly over to case-based reasoners.
This work suggests a number of requirements for future research in the development of ontologies, reasoners, languages and interfaces.
An argument is 'warranted' when the reasoner reaches a stage where for any new stage of reasoning the argument remains undefeated.
Once the user enters the problem specifications and provides a case base, the reasoner analyzes the problem and returns an answer to the user automatically.
The problem stems from the fact that many case-based reasoners are not simply using case knowledge as a form of speed-up knowledge.
This principle is important, he says, when reasoners could draw several conclusions from the same premises.
His proposal included allowing a defeasible reasoner to draw conclusions tentatively, sometimes retracting them later, and perhaps reinstating them still later and so on.
However, in theory the reasoner can be stopped at any time and asked for the current justified conclusions, which would be an 'approximate' answer.
Aspirations toward the ideal of a demon reasoner may consequently be adaptive for direct competition with such agents.
This information is provided to the probabilistic reasoner.
Within the rule-based reasoner, the solutions of the most frequent incidents are synthesized into rules which can be either manually supplied or automatically generated.
What does make reasoners' performance moderately consistent in the two conditions?
And more in general, what does make reasoners differ enormously in their syllogistic ability.

随便看

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。